Why Writing Correct Software Is Hard

71 AriFordsham 2026-11-12 10:41:50 UTC pron.github.io Llama Share 24

Writing correct programs is hard because it requires understanding and analyzing complex interactions between basic components, which are inherently intractable to fully reason about mathematically. To overcome this limitation, empirical study and ad-hoc techniques can be used to identify useful local properties and simplify assumptions for specific cases, but there is no single solution or ...

Jane Street: Socratic Tutor

333 tosh 2026-11-12 05:41:50 UTC github.com/janestreet Llama Share 77

User requests structured Socratic tutoring on a specific topic, using the maieutic method to teach by asking questions that force reasoning and explanation.

Anthropic IPO

102 josephljohnston 2026-11-12 11:46:50 UTC ipo.anthropic.com Llama Share 103

Anthropic is a public benefit corporation using AI to accelerate scientific innovation and mitigate its risks, with an upcoming IPO. The company's shares will trade on Nasdaq under the ticker symbol "ANT" starting November 19th.

A live tree of systemd jobs on the boot console

149 orhunp_ 2026-11-12 07:41:50 UTC codeberg.org Full Share 55

Access denied, old Chrome version.

Tim Peters has died

1271 ayhanfuat 2026-11-11 16:41:50 UTC discuss.python.org Llama Share 142

The author shares a personal tribute to Tim Peters, a key figure in Python's development and design evolution. He credits Tim with influencing his own programming style and career, citing his positive influence on the language's growth from 2001 to 2014 as Director of the Python Software Foundation.

93% of paint splatters are valid Perl programs (2019)

480 zenincognito 2026-11-11 22:41:50 UTC mcmillen.dev Llama Share 59

Researchers found that 93% of paint splatters can be parsed as valid Perl code, but they also identified seven examples that are not. These invalid programs were created by OCR software and did not follow standard Perl syntax.

Critical RCE Vulnerability in Apache HTTP Server

253 soheilpro 2026-11-12 02:41:50 UTC wiz.io Llama Share 120

A critical synchronization vulnerability (CVE-2026-119618) in Apache HTTP Server's HTTP/2 module allows remote attackers to achieve arbitrary code execution. Vulnerable installations should be updated to version 2.4.71 or later, or temporarily disabled until patched.

AWS emulator

880 super_linear 2026-11-11 18:41:50 UTC github.com/aws Llama Share 243

AWS Emulator is a local emulator of AWS APIs for testing and development without incurring additional service fees. It can be installed on various platforms, including Linux, Windows, and macOS, with optional telemetry data collection enabled by default.

Making a €40 USB-C hub work as a Nintendo Switch 2 dock

39 mkopec 2026-11-12 08:41:50 UTC blog.nozomi.space Llama Share 4

The author created a custom dock for their Nintendo Switch 2 using a generic hub and modified the firmware to work with the console. The dock now supports TV mode, HDR over HDMI, and charging, but lacks VRR support.

A false smoke alarm almost drowned Jane Street's only NYC datacenter

512 mbac32768 2026-11-11 16:41:50 UTC michael.bacarella.com Llama Share 246

The author recounts a false smoke alarm in Jane Street's NYC datacenter, which triggered sprinklers and threatened to destroy servers. He pulled power cords to prevent damage before the temperature rose too high.

Nvidia is preparing to oust Jensen Huang

1101 jbredeche 2026-11-11 22:41:50 UTC wsj.com Full Share 1481

Please enable JS and disable any ad blocker

Gemini Decisions API

460 iamdelirium 2026-11-11 18:41:50 UTC blog.google Llama Share 143

The Gemini Decisions API offers fast, closed-set decisions with a new model called Gemini Decision 1, available through the Google AI Studio. The API provides primitives for bounded choices and scores options in a single forward pass with low latency and no output token charges.

Code Smells of Desperation (2023)

6 sammatilda 2026-11-12 10:41:50 UTC os2museum.com LocalLLM Share 1

The WIN87EM.DLL math exception handler is a convoluted mess of hacks and retries, likely due to desperate attempts to support broken hardware. Its bizarre code includes redundant I/O writes and AX register manipulations with no clear purpose.

I'm Working on a FOSS Linux Pinbal Simulation Engine

65 sysrpl 2026-11-12 06:41:50 UTC getlazarus.org Llama Share 24

You've made significant progress on your Linux pinball simulation engine, adding features like sound systems and physics improvements. You plan to showcase the demo at IAAPA Expo next week to gauge interest in support and collaboration for future development.

United Airlines bans AI agents from booking flights on behalf of travelers

574 herpderperator 2026-11-11 21:41:50 UTC cbsnews.com Llama Share 598

United Airlines is banning AI agents from making flight reservations due to security risks and potential rule violations. The airline aims to retain control over the booking process, avoiding additional expenses associated with AI bot searches.

Lock Your GitHub Actions

273 gslin 2026-11-11 22:41:50 UTC hugovk.dev Llama Share 57

GitHub Actions now support lockfiles, which can be used to prevent supply-chain attacks. Lockfiles are updated periodically and should be verified in CI to ensure they're up-to-date and not corrupt.

Show HN: Aircad – Professional drafting and 3D modeling in the browser

46 peetle 2026-11-12 08:41:50 UTC aircad.com Llama Share 21

NewAircad is a 2D drafting and 3D modeling tool with multiplayer editing, AI assistance, and version control. It allows users to create precise designs with command-line precision and snaps, while also sharing files with others in real-time.

Grote Reber and the 'Square Kilometre Array' Near Bothwell, Tasmania (2017)

10 NaOH 2026-11-12 09:41:50 UTC researchgate.net Full Share 0

We've detected unusual activity from your network. Access to this page is temporarily restricted.

Emacs in the Age of Magic

253 ggcr 2026-11-11 20:41:50 UTC commandlinesystems.com Llama Share 116

The author reflects on the impact of AI on Emacs, a popular text editor, and how it has changed the way people interact with software.

I gave an agent a lakehouse and control of my garden

112 jatorre 2026-11-12 05:41:50 UTC jatorre.github.io Llama Share 52

The author built a LakehouseBox system to monitor and control their small vegetable garden, using sensors and cameras to track soil moisture, temperature, wind, rain, solar radiation, leaf wetness and more. The system uses Apache Iceberg tables for data storage and DuckDB for querying.

The Utah Teapot

163 cobbal 2026-11-11 20:41:50 UTC graphics.cs.utah.edu Llama Share 38

The Utah Teapot is a historical computer graphics model created by Martin Newell in 1975, with various versions developed over the years. The latest version, released in 2026, features improved interior design and texture mapping options.

Legocam: My Lego webcam from 2000, working on a modern Mac

27 benkelly 2026-11-12 08:41:50 UTC blog.benjamin.ie Llama Share 25

The user created a custom LEGO camera using the Logitech QuickCam Web and wrote software to make it work with macOS. The code, called legocam, is now available for anyone to use and has been ported to Linux.

Hyper-realistic sand with WebGL2

404 everlier 2026-11-11 13:41:50 UTC av.github.io Full Share 76

Built with WebGL2 and JavaScript. Push grains with your finger, tilt your phone to make them slide, or shake to scatter them. Play in your browser on phones, tablets and desktops.Pour

A general purpose Apple Silicon layer for x86-64 PCs

116 iceboundrock 2026-11-11 23:41:50 UTC github.com/tylertms Llama Share 47

Stela is a general purpose Apple Silicon layer for x86-64 PCs, still in development with low boot chances. It translates arm64e code to x86-64 and supports NVIDIA GPUs, but requires specific hardware and setup.

My AI agents found an unmapped Maya site?

1005 eyvindn 2026-11-11 12:41:50 UTC pietromiotti.com Llama Share 369

A user used AI agents to analyze NASA lidar data and discovered a previously unmapped Maya site in Mexico, which was later found to have been mapped by archaeologists. The discovery took less than 72 hours from initial thought to official reply from the Mexican government.

Did Life Begin in an RNA World?

68 acossta 2026-11-12 01:41:50 UTC quantamagazine.org Llama Share 37

Scientists propose that life began as an RNA world, where RNA molecules acted as both genetic carriers and catalysts. However, recent experiments suggest that self-sustaining RNA evolution may be difficult due to errors in replication.

Faster Retrieval for Better, More Efficient RAG

215 zerop 2026-11-11 17:41:50 UTC machinelearning.apple.com Llama Share 38

Researchers propose Amortizing Maximum Inner Product Search (MIPS) using learned support functions, which trades off accuracy for speed. This approach uses neural networks to mimic the ground-truth support function and can be used for routing queries towards their best match.

Show HN: Yogurt – Free, private, open-source alternative to Granola

257 brownrout 2026-11-11 16:41:50 UTC github.com/frigadehq Llama Share 96

Yogurt is a free, open-source app that records and transcribes calls on Macs with Apple Silicon, PCs with Windows 10, and Linux computers. It uses AI models to generate summaries and answers locally on the computer without requiring an account or internet connection.

Using voltage glitching to unleash the A100 in my mining card

315 lae 2026-11-11 12:41:50 UTC blog.kate.land Llama Share 124

A researcher has discovered a voltage fault injection (VFI) vulnerability in the GA100 die, allowing for arbitrary fuse blowing and unlocking of NVIDIA's CMP 170HX 8GB card to its maximum capability. This unlocks features like NVLink, PCIe Gen4, and more.

Huawei releases MACaQ, its internal quantizer for local inference

118 thefox96 2026-11-11 20:41:50 UTC github.com/huawei-csl Llama Share 26

MACaQ is a model-agnostic calibrated quantization method that can reduce the parameter size of large models by 11 times while maintaining comparable perplexity. It supports various models, including text, image, video, and audio models, and is licensed under the Apache License 2.0.