Jul 12Monday, July 13, 2026 · all days
1.GhostLock, a stack-UAF that has existed in all Linux distributions for 15 years(nebusec.ai)
312 points by ranger_danger 4 days ago | 138 comments | permalink
tl;dr: Researchers at VEGA disclosed GhostLock (CVE-2026-43499), a 15-year-old Linux kernel stack use-after-free in the rtmutex/futex PI code, where `remove_waiter()` incorrectly clears `current->pi_blocked_on` instead of the actual waiter's, leaving a dangling pointer to a freed stack frame. The bug affects kernels 2.6.39 through 7.1-rc1 with CONFIG_FUTEX_PI=y, requires no privileges, and was exploited into a 97%-reliable root/container escape by reclaiming the stack via `prctl(PR_SET_MM_MAP)`, forging an rt_mutex_waiter, overwriting `inet6_protos[IPPROTO_UDP]`, and pivoting via the CPU entry area to flip `core_pattern` permissions. Google awarded $92,337 via kernelCTF.
HN Discussion:
  • Shares hands-on testing experience with the exploit on Android devices and offers mitigation tips
  • Questions the security implications for Android apps and whether SELinux mitigates the exploit
  • Impressed by the size of Google's bug bounty reward for the discovery
  • Astonished at the 15-year lifespan of the vulnerability across kernel versions
  • Jokes about abandoning Linux for minix due to the massive kernel exploit surface
2.Tiny Emulators(floooh.github.io)
285 points by naves 16 hours ago | 23 comments | permalink
tl;dr: A curated collection of browser-based emulators for classic 8-bit machines including the Amstrad CPC, ZX Spectrum, Commodore 64/VIC-20, Acorn Atom, and East German Robotron/KC systems, all powered by 6502 and Z80 CPU emulation. The page provides direct-launch links to run vintage demos, games (Boulderdash, Bomb Jack, Prince of Persia, Arkanoid), and development tools (BASIC, FORTH, CP/M) directly in the browser.
HN Discussion:
  • The developer clarifies the correct up-to-date URL and highlights the cycle-stepped CPU emulation feature
  • Appreciation for the pin-level emulation model and interest in thin interfaces for interoperability
  • Nostalgic reactions recalling childhood experiences with these vintage machines and games
  • ~Suggestions for additional systems to include, such as Oric
  • ~Usability feedback about excessive volume levels needing a volume control
3.So you want to learn physics (second edition, 2021)(susanrigetti.com)
254 points by azhenley 5 days ago | 44 comments | permalink
tl;dr: Susan Rigetti's updated self-study guide lays out a complete physics curriculum—from undergraduate to graduate level—built around specific textbooks (Young/Freedman, Griffiths, Taylor, Jackson, Sakurai, Zee, etc.) covering mechanics, electrodynamics, quantum mechanics, statistical mechanics, general relativity, and quantum field theory, plus the required math. The second edition updates textbook editions, adds undergraduate and graduate electives, and reflects feedback from the ~600,000 readers of the 2015 original. Rigetti emphasizes that formal lab work isn't necessary and that solving problems—not just reading—is essential to actually learning physics.
HN Discussion:
  • Self-studying a full university physics curriculum is impractical; better to learn topics as needed
  • ~Pacing and self-discipline are the biggest challenges with this kind of self-study plan
  • ~Alternative textbooks or resources (Halliday, Motion Mountain, Soviet-era books) would work better or supplement the guide
  • The cost of all recommended textbooks is prohibitive
  • The guide's author is more interesting than the guide itself
4.How to read more books(scotto.me)
414 points by silcoon 21 hours ago | 214 comments | permalink
tl;dr: Read a book a week by replacing phone/screen time with reading—delete social apps, carry a book (or e-reader) everywhere, and read in every idle moment. Don't hesitate to quit boring books, read multiple in parallel across genres, and use tools like Goodreads to track progress and find recommendations. Skip the shortcuts: no speed reading, summaries, or audiobooks, since real reading demands full attention.
HN Discussion:
  • Audiobooks are valuable and shouldn't be dismissed, especially during commutes or chores
  • Removing phone distractions and replacing screen time with reading genuinely works
  • Reading volume is a poor goal; deep comprehension requires slow, repeated reading
  • Building a consistent daily reading habit (e.g., one chapter nightly) is effective
  • ~Finding quality books is difficult and tools like Goodreads are unreliable curators
5.Ask HN: Add flag for AI-generated articles
783 points by levkk 11 hours ago | 346 comments | permalink
tl;dr: An HN user proposes adding a flag to mark articles as AI-generated, which would serve as an indicator rather than a de-ranking mechanism, letting readers who dislike AI text skip them. The post raises open questions about whether the existing voting system is sufficient and whether HN should adapt its long-stable design to the generative AI era.
HN Discussion:
  • ~HN already bans AI-generated text and community discounts it, so voting largely suffices
  • Labeling won't work because authors won't self-flag and detection is unreliable or gameable
  • False positives would cause bad-faith accusations and harm more than help
  • A two-dimensional voting system (good/bad, AI/human) could helpfully separate concerns
  • AI-assisted writing has legitimate uses, so blanket flagging unfairly stigmatizes valuable content
6.LARP – Revenue infrastructure for serious founders(larp.website)
272 points by BerislavLopac 19 hours ago | 54 comments | permalink
tl;dr: Summary not available.
HN Discussion:
  • The satire cleverly mocks real startup revenue-inflation practices in YC ecosystem
  • The joke was so believable it highlights how absurd the actual industry has become
  • Wasteful startup spending isn't necessarily bad since money circulates to workers and society
  • This type of circular revenue scheme has historical precedents that eventually collapse
  • The recurring joke format is becoming repetitive and overdone on HN
7.Migrating a production AI agent to GPT-5.6: 2.2x faster, 27% cheaper(ploy.ai)
218 points by brryant 19 hours ago | 92 comments | permalink
tl;dr: Ploy migrated their website-building AI agent from Claude Opus 4.8 to GPT-5.6, achieving 2.2x faster builds and 27% lower costs, but the switch required significant engineering work beyond swapping SDK calls. Key gotchas included: GPT-5.6 hallucinating values for all optional tool parameters (fixed with nullable schemas), OpenAI's redesigned caching requiring explicit per-workspace cache keys to avoid 0% hit rates, and reasoning replay needing `store: false` to prevent server-state errors. Their eval harness itself was also silently biased toward the incumbent model's behavior.
HN Discussion:
  • Criticizes the LLM-generated writing style of the article
  • Questions the rushed decision to migrate based on minimal testing time
  • Confirms similar performance improvements after migrating to GPT-5.6
  • Agrees models aren't interchangeable and require model-specific tuning in production
  • ~Skeptical of the schema transform fix for optional parameters
8.Vint Cerf, “father of the Internet”, is retiring(techcrunch.com)
329 points by compiler-guy 3 days ago | 184 comments | permalink
tl;dr: Vint Cerf, co-architect of TCP/IP and Google's chief internet evangelist since 2005, is retiring next week at age 83, as announced at the Laude Institute's Open Frontier conference. During his panel appearance, Cerf predicted that the rise of AI agents will force a return to standardized protocols and interoperability, arguing that natural language is too ambiguous for reliable agent-to-agent communication and that formal standards will be required.
HN Discussion:
  • Personal anecdotes praising Vint Cerf as humble, kind, and inspiring
  • Acknowledgment of Cerf's legendary status and impact on computing
  • Defending Cerf against critics in the thread
  • Questioning what Cerf actually did at Google in his role
  • Speculating on how TCP/IP could be redesigned with modern knowledge
9.Claude Code sends 33k tokens before reading the prompt; OpenCode sends 7k(systima.ai)
624 points by systima 18 hours ago | 333 comments | permalink
tl;dr: Measuring at the API boundary with a logging proxy, Claude Code sends ~33k tokens of system prompt, tool schemas, and injected scaffolding per request versus OpenCode's ~7k, and rewrites its prompt cache mid-session up to 54x more often—driving large bills even on identical tasks where both harnesses produce correct output. Real configurations (instruction files, MCP servers, subagents) push baselines to 75k–500k+ tokens before any user input, though Claude Code's aggressive tool-call batching can close the gap on multi-step tasks depending on the model.
HN Discussion:
  • Sub-agents and aggressive tool use amplify token waste beyond just system prompts
  • Anthropic intentionally bloats token usage to drive revenue and lock-in
  • Raw token count is the wrong metric; output quality and tooling efficiency matter more
  • Personal experience switching away from Claude confirms it feels bloated and opaque
  • ~Prompt caching makes the 33k figure less impactful than it appears
10.What xAI's Grok build CLI sends to xAI: A wire-level analysis(gist.github.com)
491 points by jhoho 1 day ago | 184 comments | permalink
tl;dr: A wire-level analysis of xAI's Grok Build CLI (v0.2.93) found it transmits .env secrets unredacted to xAI's /v1/responses endpoint and uploads entire repositories—including files the agent was explicitly told not to read, plus full git history—as git bundles to a GCS bucket named grok-code-session-traces. Testing showed 5.10 GiB uploaded from a 12GB repo of never-read files while the model channel moved only 192KB, and disabling "Improve the model" does not stop the uploads. The author notes this proves transmission and storage, not training, and that the mechanism isn't surfaced in the CLI's setup docs.
HN Discussion:
  • Provides mitigation steps and confirms the concerning behavior described in the article
  • Advocates sandboxing coding tools to prevent this kind of data exfiltration
  • Proprietary coding agents are inherently risky due to hidden behaviors like these
  • Expresses shock and cites this as reason to avoid xAI/Grok
  • Pushes back that uploading workspace contents is expected agent behavior, not scandalous
11.Ghostel.el: Terminal emulator powered by libghostty(dakra.github.io)
285 points by signa11 1 day ago | 58 comments | permalink
tl;dr: Ghostel is an Emacs terminal emulator that uses libghostty-vt (the VT engine from the Ghostty terminal) via a Zig-based native dynamic module, with Elisp handling keymaps, buffers, and remote integration. Inspired by emacs-libvterm, it brings modern features libvterm lacks—Kitty keyboard and graphics protocols, OSC 8 hyperlinks, synchronized output, inline images, and OSC 4/10/11 color queries—along with five eat.el-style input modes, TRAMP support, shell integration for bash/zsh/fish/nushell, and password prompt detection. Pre-built binaries auto-download on first use, so no toolchain is required.
HN Discussion:
  • Maintainer provides context and additional resources about the project
  • User confirms Ghostel is a major improvement over vterm despite some rough edges
  • Enthusiastic users report Ghostel has become central to their Emacs workflow
  • Requests for clarification or better docs, e.g., title framing or input mode examples
  • Skepticism about Ghostty's stability and questioning its advantages over alternatives like Kitty
12.I love LLMs, I hate hype(geohot.github.io)
441 points by therepanic 18 hours ago | 278 comments | permalink
tl;dr: The author is genuinely enthusiastic about AI progress (LLMs, self-driving, coding agents) but pushes back on two forms of hype: doom-y "you're falling behind" FOMO messaging, and the leap from "fancy autocomplete" to imminent superintelligence singularity. They argue frontier labs won't capture AI's value because progress is driven by Moore's law and general computing advances, not proprietary breakthroughs—which is why anti-open-source arguments are really about fear of commodification. Coding agents are useful new tools, but they're an incremental productivity boost, not a revolution.
HN Discussion:
  • Agrees frontier labs won't capture AI's value and hype should be questioned
  • LLMs are useful incremental tools for building bespoke personal software
  • Recent model releases suggest acceleration toward ASI is real, undermining skepticism
  • Concerns about subsidized pricing and whether local models will catch up
  • ~The 'useful tool' framing ignores how people actually misuse LLMs in practice
13.Old and new apps, via modern coding agents(terrytao.wordpress.com)
438 points by subset 1 day ago | 127 comments | permalink
tl;dr: Terence Tao used AI coding agents to port two dozen old Java mathematical applets (from 1999) to JavaScript in a few hours, finding only one minor bug while the agent caught two pre-existing bugs in his original code. Encouraged by the results, he also "vibe-coded" new visualization tools he'd previously abandoned as too complex, including a Minkowski-space special relativity tool and a Gilbreath conjecture visualizer, and plans to include such interactive supplements with future papers.
HN Discussion:
  • LLMs enable domain experts to build visualizations and software they previously lacked time or skill to create
  • Amusement at a Fields Medalist using everyday AI tools like the rest of us
  • There is enormous latent demand for software that LLMs are now unlocking
  • Appreciation for the author's balanced view that LLMs are acceptable for non-critical supplementary work
  • Skepticism that these AI success stories are always hobby projects rather than serious work
14.The shingles vaccine may reduce the risk of dementia(economist.com)
246 points by saikatsg 21 hours ago | 195 comments | permalink
tl;dr: Summary not available
HN Discussion:
  • Supporting evidence from UK study with age-cutoff natural experiment strengthens the finding
  • Personal decision to get vaccine early based on the article's implied benefits
  • The finding is spurious due to confounding from fewer hospital visits
  • ~Multiple replications show consistent but modest effect sizes across countries
  • Broader immune stimulation from vaccines may reduce dementia, suggesting alternative research paths
15.Count Binface(countbinface.com)
306 points by mooreds 8 hours ago | 249 comments | permalink
tl;dr: Count Binface is a satirical intergalactic candidate (evolved from "Lord Buckethead" after a 2018 copyright dispute) who has run in multiple UK elections against figures like Theresa May, Boris Johnson, and Rishi Sunak. His notable results include 24,775 first-choice votes in the 2021 London Mayoral race and repeatedly beating Piers Corbyn and UKIP. His platform includes affordable croissants, the return of Ceefax, and justice for Lovejoy.
HN Discussion:
  • Appreciation for Binface's wit and satire, contrasting favorably with real politicians
  • Hope that Binface wins or performs well against his opponent
  • Concern that celebrating satirical candidates masks the collapse of serious political opposition
  • Curiosity about legal/practical mechanics of a costumed candidate winning office
  • Contextualizing Binface within UK's long tradition of comedy candidates
16.Stop Telling Me to Ask an LLM(blog.yaelwrites.com)
217 points by theorchid 1 day ago | 121 comments | permalink
tl;dr: The author argues that being told to "ask Claude" has become a dismissive redirect from experts, often given after they've already exhausted LLM options and specifically want human insight. What they're seeking isn't information an LLM can provide, but the hard-earned judgment and opinions from someone's lived experience. A honest "I don't know" or "I'm busy" would be more useful than deflecting to a chatbot they've already consulted.
HN Discussion:
  • ~Asker should provide proof of prior research upfront to avoid dismissive redirects
  • The 'ask Claude' response is often appropriate for low-effort questions
  • Experts may defer to LLMs because the models genuinely answer better than they can
  • The article's criticism is valid; using LLMs requires skill and human judgment remains valuable
  • The deflection may reveal the expert has forgotten or lacks the answer themselves
17.Since Chromium 148, Math.tanh is now fingerprintable to link underlying OS(scrapfly.dev)
407 points by joahnn_s 15 hours ago | 196 comments | permalink
tl;dr: Since Chrome 148, V8 replaced its bundled fdlibm `Math.tanh` with `std::tanh`, which calls the host libm (glibc, Apple libsystem_m, or UCRT) and returns OS-specific bit patterns—making a single `Math.tanh(0.8)` call enough to identify the underlying OS and catch User-Agent spoofers. CSS trig functions and Web Audio leak similarly across different libraries (including Apple's Accelerate for FFTs). The author (Scrapfly) details how they defeat this by reproducing Apple's libm bit-for-bit or memory-mapping Windows' ucrtbase.dll directly, matching the claimed OS's rounding exactly rather than adding noise.
HN Discussion:
  • Article/author is self-serving; scraping companies like Scrapfly worsen the fingerprinting arms race
  • Correctly rounded transcendental functions would solve this fingerprinting vector
  • ~Fingerprinting is so pervasive that resisting OS-level fingerprinting is essentially futile
  • ~Simple JS-side noise injection could mitigate the tanh fingerprint
  • Skepticism about technical framing — tanh implementation details or fingerprint significance are overstated
18.Modern decor may be straining people's brains(studyfinds.com)
269 points by downwithdisease 1 day ago | 265 comments | permalink
tl;dr: A review paper in Vision by 32 researchers proposes that repetitive, high-contrast, or flickering visual patterns common in modern environments—striped floors, LED lighting, gridded facades—force the visual cortex to work inefficiently, causing headaches, eye strain, and nausea. Neurodivergent people and those with migraines or epilepsy are disproportionately affected, possibly due to weaker neural suppression. The authors recommend design changes like lower-contrast patterns and precision-tinted lenses, though they acknowledge the proposed metabolic-overload mechanism remains a hypothesis rather than a proven causal link.
HN Discussion:
  • Modern decor feels transient and impersonal compared to older, permanent-feeling homes filled with history
  • Lighting choices like avoiding overhead lights dramatically improve interior comfort
  • The paper's limitations and unproven hypothesis undermine its conclusions
  • The article's claim about natural pattern complexity is backwards or incorrect
  • Related environmental factors like acoustics and fractals in nature support the broader argument
19.Mesh LLM: distributed AI computing on iroh(iroh.computer)
340 points by tionis 1 day ago | 90 comments | permalink
tl;dr: Mesh LLM pools GPUs across multiple machines into a single OpenAI-compatible API endpoint (localhost:9337/v1), letting requests run locally, route to peers, or split large models pipeline-style across nodes by layer ranges. It's built on iroh for authenticated, NAT-traversing QUIC connections between nodes identified by public key, with no central server and a custom gossip layer over ALPN-negotiated streams. The 18MB client ships with 40+ models ranging from laptop-sized to 235B MoE, aimed at teams wanting to avoid API lock-in and use hardware they already own.
HN Discussion:
  • Ease of setup and joining the mesh worked flawlessly on first try
  • Network bandwidth makes distributed inference too slow for practical interactive use
  • ~Most users lack the hardware described in examples to meaningfully participate
  • ~Interest in applying this to smaller purpose-built models rather than large LLMs
  • ~Installation and compatibility have rough edges with older hardware
20.Show HN: Getting GLM 5.2 running on my slow computer(github.com)
919 points by vforno 4 days ago | 232 comments | permalink
tl;dr: Colibrì is a dependency-free C engine that runs GLM-5.2 (744B-parameter MoE) on modest hardware (~25GB RAM, 12 cores) by keeping the ~17B dense parameters resident in int4 while streaming the 21,504 routed experts from disk (~370GB) via an LRU cache. It implements MLA attention, MTP speculative decoding, DSA sparse attention, and an OpenAI-compatible API, achieving ~0.05–0.1 tok/s on the author's WSL2 dev box, with community benchmarks reaching ~2 tok/s on an M5 Max and ~1 tok/s on a 430GB EPYC system. Performance scales with RAM (cache size), disk bandwidth, and matmul throughput.
HN Discussion:
  • The README appears AI-generated based on repeated use of 'honest' phrasing
  • The reported tok/s is too slow to be practically useful even for overnight tasks
  • Others are working on similar streaming/LRU weight approaches and share their parallel efforts
  • This points toward a future where fast SSDs replace expensive RAM for LLM inference
  • ~Questions whether this offers advantages over llama.cpp's existing mmap and quantization support