• 1.

  Twenty Years of RISC OS Open(riscosopen.org)

  108 pointsby AlexeyBrin24 days ago17 commentsTrend history
• 2.

  F*: A general-purpose proof-oriented programming language(fstar-lang.org)

  Repost6 prior posts94 pointsby ducktective24 days ago31 commentsTrend history
• 3.

  An exam leak in India exposed a Gen Z jobs crisis that goes much deeper(cnbc.com)

  5 pointsby cramer4next24 days ago0 commentsTrend history
• 4.

  The future is for everyone [video](youtube.com)

  1 pointsby firstSpeaker24 days ago0 commentsTrend history
• 5.

  When Verification Explores Too Far: LLM Test Coverage vs. Validity(zenodo.org)

  1 pointsby haitamk24 days ago0 commentsTrend history
• 6.

  Show HN: DesktopAudio, a tool to record what your Mac plays(desktopaudio.app)

  1 pointsby AquiGorka24 days ago0 commentsTrend history
• 7.

  The TEMU-Fication of Software, Digital Goods and Services(xn--gckvb8fzb.com)

  3 pointsby wrxd24 days ago0 commentsTrend history
• 8.

  Show HN: Handoff is await human() for AI agents(github.com)

  1 pointsby LivingGlitcher24 days ago1 commentsTrend history
• 9.

  Transformer Models in Financial Forecasting: Outperforming LSTMs(algo-finance.com)

  1 pointsby anonymoussala24 days ago0 commentsTrend history
• 10.

  Velocity a proof of linear-scaling long context for existing LLMs, no retraining(github.com)

  1 pointsby Veloresearch24 days ago0 commentsTrend history
• 11.

  An AI TikTok Shop Slop Factory That Shills Supplements the FDA Recalled(404media.co)

  3 pointsby Dfol24 days ago0 commentsTrend history
• 12.

  The Simple Elegance of the Integrated Timing Belt Loopback Fastener(danielmangum.com)

  Repost2 prior posts1 pointsby hasheddan24 days ago0 commentsTrend history
• 13.

  Show HN: Type a formula, watch it become Clique, Hamiltonian Cycle, and Knapsack(aidoctrine.github.io)

  1 pointsby AlekseN24 days ago0 commentsTrend history
• 14.

  Don't Take the Black Pill (Text Adaptation)(andrewkelley.me)

  Repost1 prior post2 pointsby Tomte24 days ago0 commentsTrend history
• 15.

  Shadscan – Deterministic UI Audits for Shadcn Apps(github.com)

  1 pointsby javatuts24 days ago0 commentsTrend history
• 16.

  MapLibre GL JavaScript – WebGL library for interactive vector maps(maplibre.org)

  2 pointsby javatuts24 days ago0 commentsTrend history
• 17.

  Will Self-Hosted Local AI Go Mainstream, or Stay a Niche for Nerds?(grigio.org)

  1 pointsby grigio24 days ago3 commentsTrend history
• 18.

  JavaScript Obfuscator(jstools.space)

  1 pointsby javatuts24 days ago0 commentsTrend history
• 19.

  GPUs could explode to multiple TB with new storage-inspired memory tech(theregister.com)

  29 pointsby jacquesm24 days ago7 commentsTrend history
• 20.

  An internal OpenAI Astra model solved 10 major open math and CS problems(twitter.com)

  Repost1 prior post44 pointsby wa5ina24 days ago43 commentsTrend history
• 21.

  I'm (mostly) picking models on speed now, not intelligence(martinalderson.com)

  1 pointsby martinald24 days ago0 commentsTrend history
• 22.

  BroMetal: Typed shaders compiled at build time to WebGPU(brometal.dev)

  2 pointsby davedx24 days ago0 commentsTrend history
• 23.

  Only 8.9% of sites block AI crawlers, but 94.8% are never cited in AI answers(website-auditor.io)

  39 pointsby SpikeyCoder24 days ago59 commentsTrend history
• 24.

  When did 'dupe culture' take over?(news.darden.virginia.edu)

  1 pointsby bookofjoe24 days ago0 commentsTrend history
• 25.

  Show HN: LyricVibe – synced lyrics for YouTube Music, Spotify, SoundCloud(chromewebstore.google.com)

  2 pointsby riteshzz24 days ago0 commentsTrend history
• 26.

  Best way to avoid bloat and AI – selfcontaining OS

  10 pointsby bialamusic24 days ago1 commentsTrend history
• 27.

  Getopt() but Friendlier(unix.dog)

  Repost1 prior post4 pointsby fanf224 days ago0 commentsTrend history
• 28.

  Meshdiff – visually compare two STL versions in the browser, client-side(meshdiff.com)

  134 pointsby projscope24 days ago13 commentsTrend history
• 29.

  Size of Xbox price increase in Europe shocks(notebookcheck.net)

  5 pointsby HelloUsername24 days ago4 commentsTrend history
• 30.

  Pdf-inspector: Rust lib for PDF inspection, classification, and text extraction(github.com)

  Repost1 prior post4 pointsby 7777777phil24 days ago1 commentsTrend history

Operational status: system stale