| 1. | LLMs reward expertise(seangoedecke.com) |
| 1383 points by MaxMussio 71 days ago | 564 comments | permalink | |
tl;dr: Domain expertise dramatically improves LLM output quality: Terence Tao's ChatGPT conversation about the Jacobian Conjecture shows how an expert can steer the model into concise, technical mode, push back on wrong answers, and extract insights a novice couldn't. The key skill isn't prompt engineering tricks but actually understanding the subject well enough to identify weird outputs, suggest alternatives, and ask specific questions. This suggests humans remain the bottleneck for many tasks—the knowledge is already in the model, but it takes expertise to pull it out. | |
HN Discussion:
| |
| 2. | Ten advances in mathematics and theoretical computer science(openai.com) |
| 614 points by milkshakes 71 days ago | 913 comments | permalink | |
tl;dr: Summary not available | |
HN Discussion:
| |
| 3. | Devtools must be open source(blog.exe.dev) |
| 706 points by bryanmikaelian 71 days ago | 231 comments | permalink | |
tl;dr: AI agents have dramatically lowered the cost of personalizing software—you can now prompt an agent to modify source code and automatically rebase your changes against upstream releases, making bespoke tooling practical for individuals and small teams. This shifts the value away from plugin systems and configuration APIs toward direct source modification, which means devtools must be open source to remain competitive. Closed-source tools like Claude Code hit a wall here, while open agents like Codex or Pi can be personalized freely. | |
HN Discussion:
| |
| 4. | Prevent cognitive debt by manually retyping LLM-generated code(ankursethi.com) |
| 527 points by mpweiher 72 days ago | 435 comments | permalink | |
tl;dr: To avoid the cognitive debt of AI-generated code while still benefiting from LLMs, the author instructs their coding assistant to only propose changes in chat, then manually retypes every line into their project. This makes them roughly 2x faster instead of 10x, but forces comprehension, catches hallucinations, and builds a mental map of the codebase—mirroring the old advice to type out example code rather than copy-paste it. | |
HN Discussion:
| |
| 5. | Smaller, faster, safer: running Kimi and GLM at scale(blog.cloudflare.com) |
| 262 points by ascorbic 71 days ago | 66 comments | permalink | |
tl;dr: Cloudflare's Workers AI serves large MoE models like Kimi K2.6 and GLM 5.2 more efficiently by quantizing the KV cache to FP8 (doubling context capacity to ~1.37M tokens and boosting peak throughput ~41%) and compressing GLM weights to INT4 (shrinking the checkpoint 40% and speeding decode 16-55%), with negligible accuracy loss. They apply these selectively across disaggregated prefill/decode pools, and added a KV cache integrity check that catches page-mapping errors at under 1% overhead. All work is done on SGLang with patches upstreamed. | |
HN Discussion:
| |
| 6. | Twenty Years of Pandoc(pandoc.org) |
| 389 points by fiddlosopher 71 days ago | 49 comments | permalink | |
tl;dr: Pandoc creator John MacFarlane recounts the 20-year evolution of the document converter from a 3000-line Haskell project (started as an excuse to learn the language) into a tool supporting 51 input and 76 output formats, with contributions from 600+ people. Key milestones include the CommonMark spec, Lua filter support, citation processing, WASM compilation, and the recent split into modular packages. MacFarlane credits Haskell's type system and purity for making long-term maintenance feasible, but speculates that LLMs may eventually reduce the need for deterministic converters like pandoc. | |
HN Discussion:
| |
| 7. | MiniMax H3 Day-0 Support in ComfyUI: Open Weights, Native Audio, and 2K Video(blog.comfy.org) |
| 325 points by vblanco 71 days ago | 93 comments | permalink | |
tl;dr: MiniMax released H3, an open-weights video model with day-zero ComfyUI support that generates up to 2K, 15-second clips with native stereo audio from text, image, video, or audio inputs. It supports text-to-video, image-to-video, first/last-frame control, and reference-to-video (including motion transfer). Through pruning modulation weights into a lookup table, int8 quantization, and custom kernels, ComfyUI shrunk the footprint 66% (123.6GB → 42.5GB), enabling it to run on a RTX 3060. | |
HN Discussion:
| |
| 8. | Andy Pavlo joins ClickHouse to establish ClickHouse Labs(clickhouse.com) |
| 331 points by nikolay_sivko 71 days ago | 74 comments | permalink | |
tl;dr: CMU professor Andy Pavlo is joining ClickHouse to establish ClickHouse Labs, an industry research group modeled after IBM Research and Microsoft Research. The team will work closely with ClickHouse engineers (and the PostgreSQL managed service team) to productionize backlogged optimizations and explore new research directions, including how DBMSs should evolve to support AI agents and how agents can automate DBMS development. | |
HN Discussion:
| |
| 9. | 200 Milliseconds(200ms.thenodebook.com) |
| 321 points by dimitarpanov 73 days ago | 100 comments | permalink | |
tl;dr: Summary not available | |
HN Discussion:
| |
| 10. | Bonsai: Janestreet's UI Library(github.com) |
| 381 points by KolmogorovComp 72 days ago | 151 comments | permalink | |
tl;dr: Bonsai is Jane Street's OCaml-based UI library, inspired by Elm, used to build most of their internal web applications. Unlike React-style frameworks, it decouples state, incrementality, and rendering into composable primitives managed outside the component hierarchy, and leverages OCaml's type system across frontend and backend. It also features a robust testing system for programmatically manipulating UI and inspecting DOM diffs, plus variants for terminal UIs (Bonsai_term) built on a generic incremental state machine core. | |
HN Discussion:
| |
| 11. | Decades-old fish sauce at abandoned factory in Canada finally being removed(defector.com) |
| 263 points by ohjeez 74 days ago | 285 comments | permalink | |
tl;dr: Cleanup has finally begun on 900,000 liters of fermented capelin fish sauce left in 110 vats at an abandoned factory in St. Mary's, Newfoundland, since the Atlantic Seafood Sauce Company shut down in 2001 after regulatory issues. The $2 million project will mix the sludge with peat moss and haul it to a lined landfill over ~200 truckloads, ending decades of unbearable stench for the town of 300. A food scientist interviewed speculates the 20-year-old sauce would likely be dominated by rancid aldehydes and amines, but might contain unexpectedly complex umami compounds worth tasting. | |
HN Discussion:
| |
| 12. | More German than many Germans(mertbulan.com) |
| 631 points by mertbio 72 days ago | 487 comments | permalink | |
tl;dr: A Turkish developer recounts moving to Hamburg in 2017 for an internship, describing how the reality of German culture—trust, flat hierarchies, inclusion, and structured rules—contrasted sharply with the stereotypes he'd grown up hearing. Over eight years he integrated through work rather than deliberate effort, learned German after deciding to stay, and eventually obtained citizenship under the recently shortened five-year eligibility rule. He acknowledges his experience was privileged (English-speaking corporate environment, good salary) and not representative of most immigrants' harder landings. | |
HN Discussion:
| |
| 13. | AirLLM 70B inference with single 4GB GPU(github.com) |
| 228 points by Anon84 71 days ago | 83 comments | permalink | |
tl;dr: AirLLM runs massive LLMs on tiny GPUs by loading only one layer (or one MoE expert) into VRAM at a time, streaming the rest from disk—enabling Llama 70B on 4GB, Llama 3.1 405B on 8GB, DeepSeek-V3 (671B) on ~12GB, and Kimi K3 (2.8T) on under 4GB, without quantization or pruning. It works via a one-line `AutoModel.from_pretrained()` call with most popular open models (Llama, Qwen, DeepSeek, Mistral, Gemma, etc.), with optional 4/8-bit block-wise compression for ~3x speedup. The tradeoff is heavy disk I/O and slow inference throughput. | |
HN Discussion:
| |
| 14. | Qwen3.8-Max: A New Bar for Coding and Cowork(qwen.ai) |
| 1098 points by ai2027 72 days ago | 603 comments | permalink | |
tl;dr: Summary not available | |
HN Discussion:
| |
| 15. | SQLite Critical CVEs or LLM Slop?(research.jfrog.com) |
| 721 points by ymir_e 71 days ago | 370 comments | permalink | |
tl;dr: JFrog researchers found that a GitHub repo (programmervuln/cveadvisory-) published 55 SQLite-related CVEs that appear to be LLM-generated fabrications—citing non-existent functions, wrong line numbers, and fake patches—yet NVD flagged them critical and Red Hat initially scored one 10.0. Only 1 of the 55 advisories contained a real bug. The incident highlights how NIST's paused deep analysis since February 2024, combined with MITRE's lack of identity verification, lets AI-generated "slop" CVEs pollute vulnerability databases and waste security teams' time. | |
HN Discussion:
| |
| 16. | SwiftUI After 7 Years(ykvm.com) |
| 272 points by mpweiher 72 days ago | 310 comments | permalink | |
tl;dr: Summary not available | |
HN Discussion:
| |
| 17. | Norway became a global salmon behemoth. Now it's facing the consequences(abc.net.au) |
| 215 points by CHB0403085482 78 days ago | 149 comments | permalink | |
tl;dr: Norway created the global salmon sushi market through a 1980s government campaign targeting Japan, and now supplies over half the world's Atlantic salmon in an $18 billion industry that's second only to oil. But open-net fjord farms are dumping waste that fuels algal blooms, depleting oxygen, and spreading disease, while the volume of wounded "production fish" has doubled in under a decade. The industry is experimenting with closed submersible pens like Hofseth's "Egg," though these cost 10x more than traditional pens and scientific disputes over environmental damage continue between regulators and industry lobbyists. | |
HN Discussion:
| |
| 18. | Don't be a meat proxy(gruhn.me) |
| 1788 points by ngruhn 72 days ago | 716 comments | permalink | |
tl;dr: Don't paste raw AI output into Slack, PR reviews, or group chats — it wastes recipients' time since they could prompt the AI themselves with better context. If you use AI, read and validate the output, then respond in your own words. Otherwise, in scenarios like code review, you're just acting as a "meat proxy" while the reviewer ends up doing the actual implementation work through their own AI. | |
HN Discussion:
| |
| 19. | How the words we teach English language learners changed(pudding.cool) |
| 249 points by c-oreills 72 days ago | 192 comments | permalink | |
tl;dr: Comparing the 1953 General Service List (2,284 words) to the 2023 New General Service List (2,809 words), the author finds that ~600 words were dropped and ~1,100 added, with concrete words (apple, fork, wheat, bake) giving way to abstract ones (mortgage, analysis, perspective). The shift tracks the move from manual to white-collar life, with vocabulary becoming less tied to physical objects and more oriented toward institutions, systems, and ideas—accompanied by a surge in adverbs that qualify degree, frequency, and certainty. | |
HN Discussion:
| |
| 20. | Karpathy’s Pelican(twitter.com) |
| 613 points by delichon 73 days ago | 432 comments | permalink | |
tl;dr: Karpathy tested Claude Opus 5 by giving it the opening paragraph of Lord of the Rings and a $10/1M-token budget to build a Three.js render, which produced 5,500 lines of procedural code over two hours—janky but functional. He argues this points to a future of hyper-custom, on-demand generated worlds (e.g., an "ephemeral GTA") that no human would bother building manually. However, it also exposed an LLM weakness: they can't natively perceive video or gameplay, so Opus had to iterate awkwardly via screenshots to audit its own output. | |
HN Discussion:
| |