A Couple Million Lines of Haskell: Production Engineering at Mercury

162 unignorant 2026-05-03 00:15:55 UTC blog.haskell.org Llama Share 60

Ian Duncan, a Mercury engineer, discusses how Haskell helps maintain a large and complex codebase by encoding operational knowledge into types, making the safe path easy and the wrong thing difficult. He shares lessons learned from Mercury's experience with Haskell, including the importance of containing mutation, encoding incantations in types, and using durable execution frameworks like ...

This Month in Ladybird - April 2026

264 richardboegli 2026-05-02 21:15:55 UTC ladybird.org Llama Share 46

Ladybird browser made significant improvements in April, including faster JS-to-JS calls, improved HTML parsing, and enhanced UI features. The browser also fixed various bugs and added new features, such as a new Linux frontend, improved caching, and better performance on various websites.

The IBM Granite 4.1 family of models

56 wglb 2026-05-03 03:15:55 UTC research.ibm.com Llama Share 6

IBM released Granite 4.1, a collection of AI models for enterprise applications, featuring improved language, vision, and speech capabilities. The models are designed for efficient and reliable performance in real-world enterprise workloads.

Dav2d

437 dabinat 2026-05-02 18:15:55 UTC code.videolan.org Llama Share 121

Anubis is a server protection system using Proof-of-Work to prevent aggressive AI scraping. It requires modern JavaScript features, so disable JShelter or similar plugins for this domain.

Six Years Perfecting Maps on WatchOS

257 valzevul 2026-05-02 21:15:55 UTC david-smith.org Llama Share 59

The author spent six years developing a custom mapping experience for the Apple Watch, culminating in Pedometer++ 8's watchOS mapping support.

San Francisco streets with confusingly similar names

17 SeenNotHeard 2026-05-03 04:15:55 UTC j-nelson.net Llama Share 20

San Francisco's street names are confusing due to its convoluted history and numerous sources of names. The city has many duplicate street names, such as Mason St. and Masonic Ave.

Windows quality update: Progress we've made since March

20 jovial_cavalier 2026-05-03 05:15:55 UTC blogs.windows.com Llama Share 14

The Windows Insider Program is improving with more transparency, control, and fewer disruptions, including changes to the navigation, Feedback Hub, and Windows Update. New features and improvements are being rolled out, such as unified updates, improved pause controls, and reduced AI presence, with a focus on performance, reliability, and user experience.

Neanderthals ran 'fat factories' 125,000 years ago (2025)

162 andsoitis 2026-05-02 21:15:55 UTC universiteitleiden.nl Llama Share 58

Neanderthals in central Germany 125,000 years ago extracted fat from bones by crushing and heating them, indicating complex resource management. This discovery pushes back the timeline for this behavior by tens of thousands of years, showing Neanderthals were adaptable and efficient in their food strategies.

Specsmaxxing – On overcoming AI psychosis, and why I write specs in YAML

3 brendanmc6 2026-05-03 06:34:55 UTC acai.sh Prefix Share 2

Wow. Claude. Mind-blowing. The whole feature works great. But I forgot to mention one very important edge case. Ah, and I just noticed. You used offset pagination for the table UI. Obviously cursor pagination is a better fit here? Also, is that an N+1 query? Fetching for every row in the table? Why not do a single round-trip? This is why I still have a job, right? I’ve watched this scene play ...

Do_not_track

275 RubyGuy 2026-05-02 18:15:55 UTC donottrack.sh Llama Share 92

Users can opt out of telemetry data collection by setting a standard environment variable. This variable should be checked by tools that collect telemetry or make non-essential network requests.

VS Code inserting 'Co-Authored-by Copilot' into commits regardless of usage

1075 indrora 2026-05-02 20:15:55 UTC github.com/microsoft Llama Share 510

User is trying to apply a suggestion to a GitHub conversation but is encountering various errors such as no code changes, deleted lines, and pull request queue. The suggestion cannot be applied at this time due to these restrictions.

Inventions for battery reuse and recycling increase seven-fold in last decade

190 JeanKage 2026-05-02 16:15:55 UTC epo.org Llama Share 11

Global battery demand is surging, with 14 million end-of-life batteries expected by 2040. Europe is positioning itself to lead the circular battery economy with innovation and policy support.

Clojurists Together – Q2 2026 Open Source Funding Announcement

89 dragandj 2026-05-02 22:15:55 UTC clojuriststogether.org Llama Share 9

Clojurists Together is funding 5 projects in Q2 2026, including improvements to Malli, SciNoj, Clojure LLM, Gloat, and PluMCP. These projects aim to enhance performance, usability, and functionality in various areas such as data analysis, AI, and native compilation for Clojure.

Maryland to ban A.I.-driven price increases in grocery stores

128 doener 2026-05-03 02:15:55 UTC nytimes.com Full Share 64

Please enable JS and disable any ad blocker

Kimi K2.6 just beat Claude, GPT-5.5, and Gemini in a coding challenge

222 bazlightyear 2026-05-03 04:15:55 UTC thinkpol.ca Llama Share 101

The AI Coding Contest's Word Gem Puzzle challenge saw Kimi K2.6 from Moonshot AI win with 22 match points, followed by MiMo V2-Pro from Xiaomi and GPT-5.5. The results showed a significant gap between the top two models and the rest, with Kimi's aggressive sliding strategy proving effective on larger grids.

Show HN: State of the Art of Coding Models, According to Hacker News Commenters

93 yunusabd 2026-05-02 22:15:55 UTC hnup.date Llama Share 46

A daily update captures Hacker News comments on AI-assisted coding models, selecting relevant posts and analyzing sentiment with Gemini. Results are logged to a Google Sheet for auditing and debugging.

A more efficient implementation of Shor's algorithm

65 signa11 2026-05-02 23:15:55 UTC lwn.net Llama Share 12

Researchers at Google, UC Berkeley, and other institutions created a quantum circuit that can factor 256-bit elliptic-curve signatures using fewer qubits and gates than previous methods. They published a zero-knowledge proof that they know the circuit, but not the actual circuit itself.

The agent harness belongs outside the sandbox

93 shad42 2026-05-02 22:15:55 UTC mendral.com Llama Share 71

The agent harness runs outside the sandbox for multi-user agents, allowing shared skills and memories in a database, and uses virtualization to route tool calls to the sandbox or database. This approach keeps the API surface the same as the model was trained on and avoids the need for custom tools like memory_read.

Care homes and hotels in Japan shut as expansion strategy unravels

26 mikhael 2026-05-03 02:15:55 UTC newsonjapan.com Llama Share 2

A hotel in Choshi, Chiba Prefecture, has remained closed since late 2025 due to an investigation into its operator's business model, which allegedly ties visa acquisition for Chinese investors to facility purchases. At least 24 facilities acquired by the operator are now shut or out of business.

Simple and correct snapshot isolation

19 remywang 2026-05-03 02:15:55 UTC remy.wang Llama Share 1

Snapshot isolation (SI) avoids anomalies but does not guarantee serializability. Write-snapshot isolation (WSI) fixes this by checking for stale reads instead of stale writes.

Windows API is Successful Cross-Platform API (2024)

67 phendrenad2 2026-05-03 03:15:55 UTC retrocoding.net Full Share 55

We're verifying your browser Website owner? Click here to fix

A physics engine with incremental rollback for multiplayer games

75 BSTRhino 2026-05-02 20:15:55 UTC easel.games Llama Share 24

Easel's new custom-built physics engine supports large worlds by only snapshotting and rolling back changed objects. This allows for more complex games with thousands of objects.

A network smuggling Starlink tech into Iran to beat internet blackout

154 1659447091 2026-05-03 02:15:55 UTC bbc.com Llama Share 82

Iran has been in a digital blackout for over two months, with the government restricting internet access to prevent surveillance and cyber-attacks. A clandestine network is smuggling Starlink devices into the country to provide internet access to those in need.

How fast is a macOS VM, and how small could it be?

241 moosia 2026-05-02 10:15:55 UTC eclecticlight.co Llama Share 86

A macOS VM on a Mac mini M4 Pro with macOS 26.4.1 runs at 98% of host speed, with GPU performance at 95%. A MacBook Neo can run a usable macOS VM with 2 virtual cores and 4 GB of memory.

When Dawkins met Claude – Could this AI be conscious?

21 pentestercrab 2026-05-03 00:15:55 UTC unherd.com Llama Share 111

The author discusses the Turing Test and its implications for machine consciousness, citing the ability of large language models like ChatGPT to pass the test and raise questions about their potential consciousness. The author argues that if these machines are not conscious, then what is consciousness for.

Open source does not imply open community

132 RohanAdwankar 2026-05-03 03:15:55 UTC blog.feld.me Llama Share 31

Open source software has evolved from simple hosting to complex communities with politics and expectations. To avoid burnout, consider reverting to a simpler approach with a small trusted group or solo development.

Little magazines are back

86 prismatic 2026-05-02 18:15:55 UTC wsjfreeexpression.substack.com Llama Share 32

The WSJ Opinion's Free Expression on Substack highlights the resurgence of print culture, with many magazines and newspapers returning to print after initially going digital-only. A new quarterly magazine, Portico, joins this trend, featuring literary subjects and serious arts and letters.

NetHack 5.0.0

430 rsaarelm 2026-05-02 18:15:55 UTC nethack.org Llama Share 133

NetHack 5.0 is a game update with bug fixes and architectural improvements. It allows cross-compiling and replaces certain compilers with Lua alternatives.

Dabbling in Erlang, part 2: A minimal introduction (2013)

24 pasxizeis 2026-05-03 00:15:55 UTC agis.io Llama Share 3

Erlang is a functional programming language where variables are bound to values and cannot be changed, and pattern matching is used for data extraction and control flow. The language features lists, guards, functions as first-class citizens, and list comprehensions, making it efficient for common operations and allowing for concise and readable code.

The USB Situation

120 herbertl 2026-05-02 11:15:55 UTC randsinrepose.com Llama Share 131

I use a MacBook Pro with a Studio Display, connecting via a braided cable that handles video, power, and other Display connections. The cable's speed is limited by the port type, not the cable itself, so I recommend using a Thunderbolt 5 cable for faster speeds.