AI Summarized Hacker News
Front-page articles summarized hourly.
Zion Leonahenahe Basque introduces Kuna, an experimental, agent-first decompiler for autonomous refinement. Largely written by an LLM, Kuna rivals IDA Pro on C control-flow structuring, with 44.4% perfect structuring versus IDA’s 45.7%. Kuna uses autonomous refinement, learning from cases where it trails IDA and from other decompilers like Ghidra and angr. It reimplements over 20 angr features in a Rust port of Ghidra, testing high-level scientific feedback rather than pure automation. Progress hinges on human-guided research; further work is needed on types, optimizations, recompilability, and variable identification. Thanks to advisors and supporters.
HN Comments
Logic for Programmers is a practical guide to designing, verifying, and reasoning about software using logic and Boolean math. Written for intermediate-to-advanced programmers, it assumes only basic Boolean operators and programming knowledge. The book covers practical topics—from simplifying conditionals and ensuring API changes don’t break clients to finding race conditions and minimizing wall-clock time in distributed tasks—plus more theoretical material, like formal verification, contracts, databases, temporal logic, and Prolog. Appendices, extra topics, GitHub code samples, and an extra-credit repo accompany ~50,000 words (~200 pages). DRM-free PDF/EPUB; print available on Amazon.
HN Comments
NSF launches the UIDP I-PhD pilot to create four-year Ph.D. programs with industry placements, backed by $47 million over five years and commitments from about 30 universities and private partners. The goal is to place 250+ doctoral students in industry research while preserving academic rigor, addressing the mismatch of many STEM PhDs pursuing non-academic careers. Students will be co-advised by university and industry mentors, with industry funding for at least one year of dissertation work. The first cohort starts Fall 2026; the model aims for broader adoption.
HN Comments
This post launches a series on angels in Coptic Magic, outlining how angels function as incorporeal divine messengers whose power could be invoked via prayers and rituals in Late Antique/Early Islamic Egypt. It situates Coptic angel lore within Greco-Egyptian, Jewish, and Christian traditions, noting continuity with established hierarchies (thrones, dominions, powers; cherubim/seraphim; archangels; the Twenty-Four Presbyters; the Four Living Creatures) and local names and secret powers. Some angels have specialized roles (healing, protection, curses, love spells). Texts include Endoxon, Ps-Timothy, and magical liturgies; future posts will detail individual angels and their names and powers.
HN Comments
Kinney Drugs in Vermont rolled out Burt, an AI refill assistant from Synerio. Customers report delays, incorrect dosages, lost accounts, and unclear calls. Privacy concerns grow as PHI could be used by AI tools and Synerio may access health data; consent and HIPAA implications are debated. Vermont’s S.71 privacy law may not fully curb these risks. Some customers switch pharmacies or visit in person, with rural residents hardest hit. Kinney says the tool reduces calls and frees pharmacists, though many users disagree.
HN Comments
Could not summarize article.
HN Comments
Practical tour of recursive filters for streaming data: SMA, EMA/low‑pass, and a tiny 1D Kalman. They use fixed state, O(1) memory, and one-step computation, enabling online updates and tolerance to irregular sampling. Key forms: EMA: s_t = α s_{t−1} + (1−α) x_t; SMA: s_t = (1/k) ∑ last k samples; first‑order low‑pass is the same as EMA. Tiny Kalman (A=H=1): predict x̂^−, P^−; K_t = P^−/(P^−+R); update x̂_t = x̂^− + K_t(z_t−x̂^−); P_t=(1−K_t)P^−. Parameter tips: choose k or α to trade lag vs noise; set Q, R by drift and sensor noise. Useful for embedded/telemetry; practical guidance and examples.
HN Comments
Flume Water Monitor uses a 915 MHz FHSS link from meter to bridge with 2‑FSK at ~200 kbps. The 16‑byte payload is AES‑128‑ECB encrypted, but header data leaks enough bits to reduce the effective key space to about 44 bits, which the author brute‑forced on a GPU in roughly a day. This yields only moderate security: spoofed messages could be crafted if the key and parameters are known, potentially enabling rogue OTA updates. Flume is responsive and plans security/privacy improvements.
HN Comments
In 'The Productivity Mirage,' Alex Kotliarskyi recalls a legendary Facebook engineer named Bob who shipped features using simple tools—vanilla Sublime Text, printf debugging, no live reload—and still proved wildly productive. He later contributed to what became Facebook Marketplace. The lesson: tool choice matters far less than product intuition and focusing on the right problems. The piece notes that people constantly promise new ways of working, but lasting impact comes from solving the real problem, not chasing productivity fads.
HN Comments
Claude Code Merge Queue is a local, zero-cost FIFO merge queue for parallel Claude Code agents. It serializes landings across lanes using Claude worktrees to avoid race conditions and flaky tests, running entirely on your machine (no GitHub Actions minutes). It relies on a single config file (claude-code-merge-queue.config.mjs) and a pre-push hook; supports commands like land, sync, preview, port, prune, and promote, plus an emergency bypass via CLAUDE_CODE_MERGE_QUEUE_EMERGENCY_PUSH. MIT license.
HN Comments
Humorous parody of an early-Geocities clinic offering a fake 'LLM2HUMAN' outpatient procedure to turn language models into real people. It outlines a 5-step process (Intake, Detokenization Bath, Skeleton Scaffolding, Personality Fine-Tune, First Breath) that supposedly grants elbows, taste, memories, and offline life, plus goofy extras (ID, crypto payments, braggy testimonials). The page mocks AI embodiment hype, ethics concerns, and legal disclaimers, labeling itself a parody and noting no real embodiment exists.
HN Comments
Internet Archive catalog page for John G. Kemeny’s 1972 book Man and the Computer. It provides bibliographic metadata (Scribner, 1972; 166 pages) and multiple download formats (PDF, EPUB, DAISY, FULL TEXT, OCR) with Open Library and archive identifiers.
HN Comments
The piece argues GitHub-centric collaboration is the wrong shape for modern software development driven by AI agents. As models produce more code, bottlenecks in CI, code review, and deployments slow velocity and affect many teams. Instead of extending human-centric workflows, we should reframe software delivery as high-throughput infrastructure built from a small set of primitives: Source control, Execution, Artifacts, Caching, Identity, and Policy. The winners will build machine-scale infrastructure for generation, validation, and deployment, not better pull requests.
HN Comments
Staging patches with git add -p lets you interactively review and selectively stage parts (hunks) of a file, enabling fine-grained commits. You can split hunks, stage only the changes you want, and review changes during staging to catch mistakes. This supports organizing related changes into separate commits. The article walks through a sample session (diff view, Stage this hunk?, s to split, y to stage, q to quit) and lists extra options, plus scenarios when not to use it (new files, or when committing an entire directory). Conclusion: adopt git add -p for cleaner, controlled commits.
HN Comments
Could not summarize article.
HN Comments
The Theo-Conjecture automated discovery system, used with a human advisor, tackled a 35-year-old problem about the residue of common-divisor graphs G_n, rooted in Graffiti and Erdős. It confirmed Erdős–Staton’s leading bound R(G_n) ~ (ζ(2)−1) n/log n and, crucially, derived a second term: R(G_n) = c0 n/log n + (c0 − A) n/log^2 n + O(n/log^3 n), with c0 = ζ(2)−1 and A ≈ 0.3201986. In the limit, R(G_n) log n / n → ζ(2)−1, and π(n)/R(G_n) → 1.550546... The result shows degree-only graph data can mirror prime-counting behavior, not proving primes, and demonstrates a productive human–AI memory loop.
HN Comments
SalesPatriot, a YC W25 startup building an AI-native platform to automate aerospace/industrial supply chains, seeks a Forward Deployed Engineer in San Francisco (remote not allowed). The role embeds with customers to map operations, implement automations, and own outcomes across sales/procurement; requires full-stack capability (TypeScript/JavaScript, React/Svelte, Postgres) and relocation to SF. Weekday client deployments in Wisconsin, New York, Miami, and LA; weekends at SF HQ. Compensation: $150k-$220k base, 0.15%-0.20% equity. Process: engineer call, 1h tech test, founder interview, SF fly-out, offer.
HN Comments
Christian Selig explains a practical Vision Pro use: after planning a house, he builds a 3D floor plan using Fusion 360, extruding walls from PDFs to gauge scale. He textures and populates the scene with IKEA furniture and other models via 3D Warehouse, converting assets to OBJ/ USDZ as needed. He AirDrops assets to his Vision Pro and tests them in a custom vibe-coded USDZ viewer, Prospector, adding controller-driven navigation, a skybox, terrain following, a real-life toggle, flight, and speed. The result lets you walk through and adjust layouts before committing, hinting at future design workflows.
HN Comments
Claude status: Elevated errors across all models. Incident identified and under investigation; engineers are working to resolve. Affects claude.ai, Claude API (api.anthropic.com), Claude Code, and Claude Cowork. Updates will be provided as soon as possible.
HN Comments
Aurora DSQL disaggregates a monolithic DB into specialized services—Query Processors (stateless PostgreSQL engines), Storage Nodes (MVCC shards), Adjudicators (safe commit), Journals (durable logs), Crossbars (routing). Major bets include synchronized clocks (reads with no coordination), optimistic concurrency with MVCC and snapshot isolation, linearizability guarantees, hard caps of 3,000-row and 10 MiB transactions, and a Warp-inspired 2PC that avoids multi-log coordination. Reads 0-RTT, commits 1-RTT. Compute, storage, and commit logic scale independently. Tradeoffs: write-write conflicts under hot keys; cross-region aborts detectable at commit. Design reused PostgreSQL and AWS Journal; execution was smooth.
HN Comments
Made by Johno Whitaker using FastHTML