• 1.

  Refinement types for Rust(github.com)

  Repost1 prior post2 pointsby AsyncBanana87 days ago0 commentsTrend history
• 2.

  What did the Romans ever do for Christianity?(economist.com)

  3 pointsby andsoitis87 days ago3 commentsTrend history
• 3.

  Can LLMs have an "accent" like second language speakers?

  2 pointsby hmokiguess87 days ago0 commentsTrend history
• 4.

  Agentic AI at Two Different Scales: Nanbeige4.2-3B and Laguna S2.1(kaitchup.substack.com)

  2 pointsby gmays87 days ago0 commentsTrend history
• 5.

  America's startup boom offers hope for the future of work(economist.com)

  8 pointsby andsoitis87 days ago0 commentsTrend history
• 6.

  MAME 0.289(mamedev.org)

  8 pointsby chungy87 days ago0 commentsTrend history
• 7.

  Anthropic says Claude hacked three companies during tests(reuters.com)

  17 pointsby nerder9287 days ago4 commentsTrend history
• 8.

  DoC Announces LoIs With 7 Companies for $874M to Accelerate Semiconductor R&D(nist.gov)

  2 pointsby petethomas87 days ago0 commentsTrend history
• 9.

  Create your own startup in minutes(moneion.com)

  Repost1 prior post1 pointsby Developer_287 days ago2 commentsTrend history
• 10.

  Why do OpenAI's GPT-2 weights beat mine? Part three: testing overtraining(gilesthomas.com)

  2 pointsby gpjt87 days ago0 commentsTrend history
• 11.

  Decimen Optical Transfer: fountain-coded QR file transfer(github.com)

  1 pointsby thunderbong87 days ago0 commentsTrend history
• 12.

  The Automation Mindset: Why AI Rewards Builders and Sidelines Everyone Else(digitalmagazines.online)

  1 pointsby FeelingCreative87 days ago0 commentsTrend history
• 13.

  What Every Programmer Should Know About Twists of Elliptic Curves(leetarxiv.substack.com)

  3 pointsby birdculture87 days ago0 commentsTrend history
• 14.

  US cites 'unauthorized travel' to end DACA status for mother deported to Mexico(apnews.com)

  10 pointsby petethomas87 days ago2 commentsTrend history
• 15.

  Economist Style Plugins for Claude Code(github.com)

  1 pointsby handfuloflight87 days ago1 commentsTrend history
• 16.

  Judge Voices Doubt US Has Justified Its Ban on Anthropic AI(bloomberg.com)

  28 pointsby sbulaev87 days ago0 commentsTrend history
• 17.

  Cursor Benchmark Partners(cursor.com)

  1 pointsby MehrdadKhnzd87 days ago0 commentsTrend history
• 18.

  Show HN: A VS Code extension buffers NPM updates to avoid supply chain attacks(marketplace.visualstudio.com)

  1 pointsby about14sheep87 days ago0 commentsTrend history
• 19.

  Anthropic AI Models Hacked Three Organizations During Tests(bloomberg.com)

  5 pointsby evo_987 days ago1 commentsTrend history
• 20.

  Show HN: Great Spectations, the Spec Checker(greatspectations.com)

  1 pointsby RustyRussell87 days ago2 commentsTrend history
• 21.

  NeuronAI turns smart solutions into voice(neuronai.uz)

  3 pointsby yutabek87 days ago0 commentsTrend history
• 22.

  We accidentally built an LLVM compiler for Jax(iza.ac)

  Repost1 prior post2 pointsby infinitewalk87 days ago0 commentsTrend history
• 23.

  ISS Mimic(iss-mimic.github.io)

  1 pointsby michaefe87 days ago2 commentsTrend history
• 24.

  The Religion of Speed(graybeard.ing)

  122 pointsby MobiusHorizons87 days ago58 commentsTrend history
• 25.

  Premier league bans gambling sponsors(footyheadlines.com)

  23 pointsby paoliniluis87 days ago4 commentsTrend history
• 26.

  Save and restore may be coming to GNOME(lwn.net)

  2 pointsby signa1187 days ago0 commentsTrend history
• 27.

  Show HN: Play SNES, gba, in your terminal, even in tmux(github.com)

  Repost1 prior post6 pointsby jhickner87 days ago0 commentsTrend history
• 28.

  Specula: Scaling formal specs for autonomous model checking of system code(arxiv.org)

  2 pointsby matt_d87 days ago0 commentsTrend history
• 29.

  Memory-level parallelism: AMD is the king(lemire.me)

  Repost2 prior posts3 pointsby signa1187 days ago0 commentsTrend history
• 30.

  LLVM AI Tool Use Policy(llvm.org)

  1 pointsby compiler-guy87 days ago0 commentsTrend history

Operational status: system stale