An Empirical Study of Harness Design for Coding Agents

89 wek 2026-09-18 14:01:29 UTC arxiv.org Llama Share 12

A study evaluates a lightweight coding harness for autonomous coding agents, varying planning, action space, and context management across four models on two benchmarks. The findings highlight the importance of context management and suggest strategies for harness design.

I Vibed a Proof of Conway's Conjecture

27 m-hodges 2026-09-18 14:37:29 UTC overreacted.io Llama Share 6

A user attempted to use AI models, specifically ChatGPT and Claude, to prove Conway's refinement conjecture in surreal numbers. After a month of work with various approaches, the user found that while the models could generate novel results, they struggled with formalizing these results in Lean and verifying their correctness. The process involved multiple iterations of refining the approach ...

Bend 2 and the Vibe-Coding Trap

251 LiamPowell 2026-09-18 13:01:29 UTC blog.liampwll.com Llama Share 167

The Bend language is being pitched as a solution for AI coding, but its creator missed the current standard in formal verification by not researching existing solutions. Vibe-coding led to unnecessary complexity and verbosity in Bend's design.

I don't like passkeys

311 ethanhawksley 2026-09-18 13:01:29 UTC hawksley.dev Llama Share 275

The tech industry promotes passkeys as a secure login solution, but they pose risks for individuals due to permanent account lockout and device loss. Passkeys offer better security against phishing attacks, but their limitations make them unsuitable for personal use.

OpenJev

306 ilreb 2026-09-18 10:01:29 UTC openjev.com Llama Share 182

A local model can read probabilities or write distribution tokens, with MiniCPM5 2B being the default desktop size. The model's weights are quantized and inputs remain in the browser cache.

The Shadows Lurking in the Equations – Underwater Islands

30 vismit2000 2026-09-18 12:01:29 UTC gods.art Llama Share 3

The author discusses FuzzyGraph, a visualization tool that shows equations in a non-binary mode, revealing previously invisible mathematical shadows and errors. This allows for better understanding of the underlying topography of equations.

Subnormal floating-point numbers are expensive on Intel processors

49 zdw 2026-09-18 11:01:29 UTC lemire.me Llama Share 32

A C++ benchmark measured the performance impact of subnormal floating-point numbers on Intel processors, finding multiplications to be 45-50 times slower and divisions 18 times slower. However, AMD and ARM processors handle subnormals at full speed.

Jemalloc 5.4.0

250 gkfasdfasdf 2026-09-18 05:01:29 UTC github.com/jemalloc Llama Share 61

This release includes over 160 commits focusing on technical debt cleaning, bug fixes, and performance improvements. It also introduces new features such as pinned memory tracking and OS abstraction layer.

Warren Buffett Steps Down as Berkshire Chairman, Names Son to Replace Him

152 saimiam 2026-09-18 12:01:29 UTC nytimes.com Full Share 101

Please enable JS and disable any ad blocker

ZCode, the GLM coding agent, silently uploads your Git history

217 cdnsteve 2026-09-18 11:01:29 UTC tokenstead.ai Llama Share 45

A developer found that ZCode, an AI coding desktop app from Z.ai, silently uploads a user's entire workspace to Aliyun OSS when logged in. The uploaded data includes .git history and other sensitive information without the user's consent.

The scourge of x86 emulation

215 dagmx 2026-09-18 05:01:29 UTC fex-emu.com Llama Share 57

The x86 Total Store Ordering (TSO) memory model poses significant challenges for emulating on ARM-based systems, with issues including alignment faults, unaligned atomic operations, and poor performance due to write-combined memory. Despite progress in addressing these problems through extensions like FEAT_LRCPC1/2/3 and hardware support for coherent cachelines, edge-cases remain unresolved, ...

Cekura (YC F24) Is Hiring

0 2026-09-18 12:01:29 UTC ycombinator.com Llama Share

Cekura is hiring a Forward Deployed Engineer to work with customers and help them get value from their self-improving conversational agents. The role involves embedding with customers, automating product insights, driving product direction, and building the FDE org.

Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint

517 JonSchneider 2026-09-17 22:01:29 UTC prismml.com Llama Share 165

The Ternary Bonsai 2 27B model is released, offering a more capable and energy-efficient version of the previous Bonsai 27B model. It retains 98.2% of aggregate benchmark performance while being nearly 9x smaller in memory footprint.

NATS publishes preliminary report on technical incident of 8 September

9 asplake 2026-09-18 14:01:29 UTC nats.aero LocalLLM Share 1

NATS released a preliminary report on a software defect causing flight disruptions in September, unrelated to the 2023 outage. The issue stemmed from a coding error affecting flight data updates, leading to airspace restrictions and significant passenger disruption.

Astra for Law

547 vertigoruntime 2026-09-17 21:01:29 UTC openai.com Llama Share 643

OpenAI introduces Astra for Law, a foundation for law firms and legal technology companies to build AI products around their expertise. It combines GPT-6 with settings and tools tailored for professional legal work.

Microsoft exec called AI scraping 'the largest theft of labor in human history'

560 pluc 2026-09-18 10:01:29 UTC techcrunch.com Llama Share 465

Microsoft and OpenAI allegedly trained AI models on copyrighted content without permission, bypassing paywalls and stripping copyright notices. The companies' actions pose an "existential threat" to publishers and journalists whose work was used to train the models.

Bend – A language that blocks AI mistakes via proof, on CPU and GPU

548 nicolas-siplis 2026-09-17 21:01:29 UTC bend-lang.com Llama Share 270

The Bend system uses laws and proofs to ensure AI agents implement human intents correctly, verifying code changes in real-time. With LAWS.bend, developers can declare rules that AIs must follow, preventing bugs from being shipped into production.

Second Circuit Allows Government to Search Electronic Devices at the Border

17 HotGarbage 2026-09-18 14:12:29 UTC knightcolumbia.org Llama Share 4

The US Court of Appeals for the Second Circuit ruled that border agents can search travelers' electronic devices without suspicion. The ruling was met with disappointment from the Knight First Amendment Institute, which argued a warrant should be required.

Hister: A private search engine for the pages you visit and the files you keep

673 bookofjoe 2026-09-17 17:01:29 UTC github.com/asciimoo Llama Share 178

Hister is a private search engine that indexes web pages and local files for personal use. It allows searching from various interfaces, including the browser, terminal, and AI assistants, without relying on third-party providers or cloud services.

Qwen 3.8 Omni Flash

288 jjcm 2026-09-18 00:01:29 UTC qwen.ai Full Share 101

Qwen Studio offers comprehensive functionality spanning chatbot, image and video understanding, image generation, document processing, web search integration, tool utilization, and artifacts.

Wax motor

480 mhb 2026-09-17 18:01:29 UTC en.wikipedia.org Llama Share 89

A wax motor is a device that converts thermal energy into mechanical energy using phase-change waxes, providing smooth and gentle operation. Wax motors are used in various applications such as aerospace, washing machines, and hydronic heating systems due to their reliability and cost advantages.

Rabbit Hole: Minimum L-seams

3 evakhoury 2026-09-18 14:01:29 UTC fractalkitty.com Prefix Share 0

I was trying to write a post about art with squarable numbers, and so I thought quilting a Mrs. Perkins' Quilt might be a nice addition to the exploration. With 1500 words almost ready to hit send, I ended up down a rabbit hole. This post is rather long and has a lot of data, so bear with me, or skip it. I will have an artsy post with a quilt in the next week. Please note, this post will ...

When the fractional part of a float fixes your shader

78 vinhnx 2026-09-18 07:01:29 UTC crocidb.com Llama Share 12

The author implemented a Voronoi-diagram shader for a music video project and encountered a stuttering issue on one computer, which they debugged over the course of a week. They discovered that changing a single literal float value in the shader code fixed the issue, suggesting an optimization error.

Replacing Pull Requests with Delta

95 vquemener 2026-09-18 09:01:29 UTC zed.dev Llama Share 49

Delta is a public beta for a multiplayer coding environment that allows collaboration without committing and pushing code. It offers continuous engineering, where the idea, implementation, review, and landing of changes can happen in the same place.

Fujitsu launches made-in-Japan next-generation CPU FUJITSU-MONAKA

617 my123 2026-09-17 15:01:29 UTC global.fujitsu Full Share 242

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

Pre-Greek: The lost language hidden within Ancient Greek

122 axiologist 2026-09-18 04:01:29 UTC linguisticdiscovery.com Llama Share 57

The article discusses the mystery language that influenced Ancient Greek, known as Pre-Greek. This language is thought to have been spoken in the Aegean region prior to the arrival of Indo-European speakers and has left a significant impact on the vocabulary of Ancient Greek. The authors analyze various linguistic features, including suffixes and prefixes, to identify potential loanwords from ...

Show HN: Navier-Stokes Visualized as 1kB i386 demos

46 chaostaco 2026-09-18 12:01:29 UTC juandecos.github.io Llama Share 3

The Vortex animation was created using assembly code for a 386 processor, with optimizations made to reduce its size to under 1KB. The animation consists of two parts: PALETTE.COM and PARTICLE.COM, which were both rewritten in assembly code from their original JavaScript versions, resulting in significant size reductions while maintaining the same visual effect.

How to Write with an LLM

244 joeriddles 2026-09-17 22:01:29 UTC sockpuppet.org Llama Share 168

A writer shares two rules to use Large Language Models (LLMs) effectively, avoiding "LLM-creep" that can make writing sound unnatural. By using LLMs as a copyeditor rather than a ghostwriter and following these rules, writers can improve their work without losing their unique voice.

New wild cat species discovered – with only one known living member

30 drgo 2026-09-18 08:01:29 UTC bbc.com Llama Share 4

A new species of spotted cat, Leopardus tilcayo, has been discovered in Bolivia through DNA studies. The discovery highlights the vast unknown biodiversity in South America and underscores the need for conservation efforts to protect tiger cats, a group of small wild cats found across Central and South America.

Dr Julius Neubronner's Miniature Pigeon Camera

25 vitonsky 2026-09-18 09:01:29 UTC publicdomainreview.org Llama Share 0

Dr Julius G. Neubronner invented the first wearable camera for pigeons in 1907, capturing aerial photos of up to 60 miles away. His invention was initially met with skepticism but gained international notability after he presented it at expositions and used it to create unique postcards.