Leanstral: Open-source agent for trustworthy coding and formal proof engineering

530 Poudlardo 2026-03-16 21:30:47 UTC mistral.ai Llama Share 106

Researchers release Leanstral, an open-source code agent for Lean 4, designed for efficient proof engineering tasks. Leanstral outperforms competitors in benchmarks, offering competitive performance at a fraction of the cost, and can be used for zero-setup vibe coding and proving.

The unlikely story of Teardown Multiplayer

63 lairv 2026-03-17 05:30:47 UTC blog.voxagon.se Llama Share 9

Teardown's multiplayer implementation involved rewriting destruction logic in fixed-point math and using a hybrid approach of determinism and state synchronization. The team overcame numerous challenges, including bandwidth limitations, backwards compatibility, and late joins, to create a functional multiplayer mode.

Meta’s renewed commitment to jemalloc

434 hahahacorn 2026-03-16 18:30:47 UTC engineering.fb.com Llama Share 190

Meta is renewing focus on jemalloc, a high-performance memory allocator, to modernize the codebase and adapt to latest hardware and workloads. The goal is to reduce maintenance needs, remove technical debt, and improve efficiency, reliability, and usability.

The “small web” is bigger than you might think

420 speckx 2026-03-16 17:30:47 UTC kevinboone.me Llama Share 177

The author is exploring the concept of a "small web" for non-commercial, personal use, and has been using the Gemini protocol. They attempted to create a feed aggregator for the small web but found it impractical due to its large size and activity.

The American Healthcare Conundrum

341 rexroad 2026-03-16 17:30:47 UTC github.com/rexrodeo Llama Share 295

The US spends $3 trillion more on healthcare than Japan, with issues like overpriced prescription drugs and hospital procedures contributing to the gap. Policy fixes like step therapy reform, international reference pricing, and capping commercial hospital payments could redirect billions in unnecessary spending.

Every layer of review makes you 10x slower

222 greyface- 2026-03-17 03:30:47 UTC apenwarr.ca Llama Share 109

The author argues that review pipelines and layers of QA slow down development and hide root causes, making it harder to fix problems. To improve quality, teams should adopt a culture of trust, eliminate reviews, and focus on building high-quality components in small teams that can deliver quickly and safely.

Gitana 18: the new flying Ultim trimaran

33 divbzero 2026-03-17 05:30:47 UTC boatnews.com Llama Share 6

Gitana 18 is a 32-meter trimaran with advanced technology for high-speed stability and performance. It features adjustable foils, a central daggerboard, and movable spreaders for optimal sailing conditions.

US SEC preparing to scrap quarterly reporting requirement

572 djoldman 2026-03-17 00:30:47 UTC reuters.com Full Share 311

Please enable JS and disable any ad blocker

Sci-Fi Short Film “There Is No Antimemetics Division” [video]

82 Anon84 2026-03-17 02:30:47 UTC youtube.com Embed Share 17

Pyodide: a Python distribution based on WebAssembly

72 tosh 2026-03-17 01:30:47 UTC github.com/pyodide Llama Share 23

Pyodide allows running Python packages in the browser with micropip, supporting pure Python and many packages with C, C++, and Rust extensions. It comes with a robust Javascript to Python interface for mixing languages with minimal friction.

My Journey to a reliable and enjoyable locally hosted voice assistant (2025)

370 Vaslo 2026-03-16 13:30:47 UTC community.home-assistant.io Llama Share 106

User switched from Google Home to HomeAssistant's local assist backed by Llama.cpp, testing various hardware and models for optimal performance. They customized their setup to achieve reliable voice control and improved functionality.

Monkey Island for Commodore 64 Ground Up

123 aresant 2026-03-17 04:30:47 UTC pixeldust.se Llama Share 39

Joachim Ljunggren is a Swedish designer and motion graphics producer with 15 years of experience. He works with clients like TV4 and MTV, using software like Cinema 4D and After Effects.

Beyond has dropped “meat” from its name and expanded its high-protein drink line

126 rmason 2026-03-16 21:30:47 UTC plantbasednews.org Llama Share 255

Beyond Meat rebranded as Beyond The Plant Protein Company, focusing on plant-based foods with real ingredients. CEO Ethan Brown believes plant-based meat will be a dominant choice in the future, but not currently due to confusion around ultra-processed foods.

Why I love FreeBSD

429 enz 2026-03-16 11:30:47 UTC it-notes.dragas.net Llama Share 207

The author discovered FreeBSD in 2002 and was impressed by its complete and accurate documentation, leading to a long-term relationship with the operating system. They valued FreeBSD's stability, performance, and community-driven approach, which has remained consistent over the past twenty years.

Kagi Translate now supports LinkedIn Speak as an output language

453 smitec 2026-03-17 05:30:47 UTC translate.kagi.com Full Share 109

Kagi Translate uses powerful AI models to instantly and accurately translate any content in any language.

Claude Tips for 3D Work

76 snide 2026-03-17 04:30:47 UTC davesnider.com Llama Share 18

The user uses Claude Code for web projects, but finds it struggles with "visual" tasks like spatial analysis in 3D. They've developed a workflow involving iterative validation loops to help Claude navigate and understand complex tasks.

Show HN: Oxyde – Pydantic-native async ORM with a Rust core

104 mr_Fatalyst 2026-03-16 21:30:47 UTC github.com/mr-fatalyst Llama Share 59

Oxyde ORM is a Rust-based, type-safe, and Pydantic-centric ORM for clarity and speed. It's a young project with a modern developer-friendly workflow and strong typing.

Starlink Mini as a failover

257 jkpe 2026-03-16 12:30:47 UTC jackpearce.co.uk Llama Share 187

You purchased a Starlink Mini for backup internet and found the £4.50 Standby plan reasonable for low-speed data. The device has decent latency and works anywhere with a clear view of the sky, making it a reliable backup solution.

In space, no one can hear you kernel panic (2020)

59 p0u4a 2026-03-16 23:30:47 UTC increment.com Llama Share 9

NASA relies on resilient software and redundant hardware to ensure space missions succeed despite physical defects and uncertainties. The agency's focus on fault-protection layers, autonomy, and software recovery has enabled successful missions despite hardware failures and cosmic radiation.

Show HN: Thermal Receipt Printers – Markdown and Web UI

81 howlett 2026-03-16 22:30:47 UTC github.com/sadreck Llama Share 30

ThermalMarky supports Markdown printing on thermal receipt printers via a basic WebUI. It uses Docker for easy setup and USB permission management.

Fatal Core Dump Game

3 pabs3 2026-03-17 07:30:47 UTC robopenguins.com Prefix Share 0

I decided to make a somewhat educational murder mystery game, with debugging a core dump as the main piece of evidence. !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! THIS ARTICLE HAS SPOILERS! IF YOU’RE INTERESTED, PLAY THE GAME HERE FIRST: https://www.robopenguins.com/fatal_core_dump/ Over the years, I’ve ...

AirPods Max 2

279 ssijak 2026-03-16 13:30:47 UTC apple.com Llama Share 461

AirPods Max 2 features Adaptive EQ, Lossless Audio, and ultra-low latency for a richer listening experience. It also includes Personalized Spatial Audio, Live Translation, and Loud Sound Reduction for a more immersive experience.

Show HN: Droeftoeter, a Terminal Coding Toy

9 whtspc64 2026-03-17 06:30:47 UTC github.com/whtspc Prefix Share 3

It's a toy. Maybe a toddler's first coding agent. A poor man's video generator. An experiment in isolating an LLM in a way that it is fun and harmless. You type what you want to see. A 64x32 character grid comes alive. Each prompt builds on what's already running. The model sees the current code and extends it. /clear to start over. I would love to see someone livecode VJing ...

Polymarket gamblers threaten to kill me over Iran missile story

1484 defly 2026-03-16 12:30:47 UTC timesofisrael.com Llama Share 938

A journalist reported on an Iranian missile attack in Israel, but received death threats and harassment from gamblers on Polymarket who had bet on the outcome, demanding a change to the report to ensure they would win. The journalist refused to comply, and the police are now investigating.

Jepsen: MariaDB Galera Cluster 12.1.2

72 aphyr 2026-03-17 04:30:47 UTC jepsen.io Llama Share 6

MariaDB Galera Cluster loses committed transactions and exhibits consistency anomalies like Lost Update and Stale Reads. Users should set innodb_flush_log_at_trx_commit=1 to reduce write loss, but Galera Cluster still fails to provide Snapshot Isolation or Repeatable Read.

Lies I was told about collaborative editing, Part 2: Why we don't use Yjs

247 antics 2026-03-16 09:30:47 UTC moment.dev Llama Share 113

The author argues that popular collaborative text editing algorithms, including Yjs, are not suitable for live-collab and offline cases due to their complexity and potential for data corruption. A simpler alternative, prosemirror-collab, is recommended for its ease of use and better performance, although it lacks true master-less peer-to-peer editing capabilities.

The bureaucracy blocking the chance at a cure

131 item 2026-03-16 15:30:47 UTC writingruxandrabio.com Llama Share 152

A story about Paul Conyngham, who used AI to create a personalized mRNA vaccine for his dog Rosie's cancer, highlights the bureaucratic red tape that hinders medical innovation, including lengthy and costly clinical trials. To accelerate medical progress, the author proposes reforms such as allowing researchers to choose among accredited IRBs, reducing manufacturing costs, and streamlining ...

AnswerThis (YC F25) Is Hiring

0 2026-03-16 21:30:47 UTC ycombinator.com Llama Share

The company builds an operating system for scientific knowledge, using AI agents to search, synthesize, and draft evidence-based research. It aims to make research a living asset, not a disposable artifact, and has crossed $1M ARR in 8 months.

Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)

111 wek 2026-03-16 17:30:47 UTC arxiv.org Llama Share 62

Researchers studied the impact of a popular AI tool, Cursor, on software development. They found Cursor increased development speed initially but led to quality issues and long-term slowdowns due to increased code complexity.

Language model teams as distributed systems

91 jryio 2026-03-16 17:30:47 UTC arxiv.org Llama Share 39

Researchers propose using distributed systems to create and evaluate LLM teams, drawing from insights in distributed computing. This approach aims to address key questions about LLM team performance and effectiveness.