• Top stories
  • New stories
  • Ask HN
  • Show HN
  • Jobs 
  • Machine-Generated and Checked Proofs for a Verified Compiler (Experience Report)

    dl.acm.org
    • 1 points
    • 0 comments
    • 1 minute ago
    • by matt_d
  • What my dad taught me about AI coding in the 90s

    askmike.org
    • 1 points
    • 0 comments
    • 2 minutes ago
    • by askmike
  • How Far Can NYC Transit Take You?

    subway.fyi
    • 1 points
    • 0 comments
    • 4 minutes ago
    • by thunderbong
  • Playing whack-a-mole is losing

    dadrian.io
    • 1 points
    • 0 comments
    • 9 minutes ago
    • by tabletcorry
  • Pluralistic: How Canada can help Americans and defeat America

    pluralistic.net
    • 1 points
    • 0 comments
    • 10 minutes ago
    • by A_D_E_P_T
  • Handling 8 thousand mouse refreshes per second in Godot Engine

    godotengine.org
    • 2 points
    • 0 comments
    • 11 minutes ago
    • by jaimex2
  • UK will use Ukraine battlefield data to train AI and use it againsts protesters

    theguardian.com
    • 2 points
    • 0 comments
    • 13 minutes ago
    • by skor
  • FreeToken: Efficient Edge-Native Moe Serving with Bandwidth-Adaptive Execution

    arxiv.org
    • 1 points
    • 0 comments
    • 15 minutes ago
    • by Anon84
  • Iran Is Using Foreign Criminals to Attack Its Critics Overseas

    newyorker.com
    • 1 points
    • 0 comments
    • 19 minutes ago
    • by firefax
  • The cost of today's "smart" devices

    fsf.org
    • 2 points
    • 0 comments
    • 20 minutes ago
    • by smitty1e
  • The Official Ig Nobel Card Game Is Born, Improbably

    improbable.com
    • 2 points
    • 0 comments
    • 24 minutes ago
    • by sohkamyung
  • Bookshelf – Self-hosted eBook library that runs on object storage

    github.com
    • 3 points
    • 0 comments
    • 25 minutes ago
    • by arbayi
  • Tiny, fast Windows Notepad replacement (source available)

    liquidninja.com
    • 2 points
    • 1 comments
    • 25 minutes ago
    • by bananaboy
  • SQLite as a Document Database (2020)

    dgl.cx
    • 2 points
    • 0 comments
    • 25 minutes ago
    • by lioeters
  • The text mode lie: why modern TUIs are a nightmare for accessibility

    osnews.com
    • 4 points
    • 0 comments
    • 28 minutes ago
    • by birdculture
  • Evaluating Shrinking (Experience Report)

    dl.acm.org
    • 2 points
    • 0 comments
    • 29 minutes ago
    • by matt_d
  • From Gradients to ChatGPT

    mister-meeseeks.github.io
    • 2 points
    • 0 comments
    • 30 minutes ago
    • by simonpure
  • Show HN: AiSyncing – Back up your AI coding assistant memories to GitHub

    github.com
    • 1 points
    • 0 comments
    • 33 minutes ago
    • by mastermindxs
  • Directory navigator that doesn't require you to visit a folder first

    github.com
    • 2 points
    • 1 comments
    • 34 minutes ago
    • by rudus
  • War Machines: Netflix Confirms Sequel to Hit Sci-Fi Movie War Machine

    moztako.me
    • 2 points
    • 0 comments
    • 35 minutes ago
    • by cecyev
  • Characterizing the spiral: potential mechanisms in AI-associated delusions

    nature.com
    • 4 points
    • 0 comments
    • 35 minutes ago
    • by jambalaya8
  • Mission impossible? Quantifying military emissions

    thebulletin.org
    • 2 points
    • 0 comments
    • 36 minutes ago
    • by measurablefunc
  • Show HN: Flostep – Diagrams people can actually walkthrough

    flostep.dev
    • 1 points
    • 1 comments
    • 40 minutes ago
    • by pandurang90
  • Lean: Postmortem for the Kernel Soundness Bug Hunt

    leodemoura.github.io
    • 3 points
    • 0 comments
    • 40 minutes ago
    • by matt_d
  • Epigenetic aging biomarker responsiveness to longevity interventions in humans

    nature.com
    • 3 points
    • 0 comments
    • 42 minutes ago
    • by bookofjoe
  • Show HN: Mainly – a self-hosted mail client built for your multiple domains

    mainly.crnst8.com
    • 1 points
    • 0 comments
    • 49 minutes ago
    • by flowerpil
  • Equations explained colorfully with KaTeX and Markdown

    github.com
    • 1 points
    • 1 comments
    • 51 minutes ago
    • by lioeters
  • Codeanywhere Is Sunsetting

    codeanywhere.com
    • 3 points
    • 1 comments
    • 52 minutes ago
    • by jcbhmr
  • Show HN: Stigmergy, a Karpathy-style LLM wiki for a team, not one person

    github.com
    • 1 points
    • 1 comments
    • 52 minutes ago
    • by sturlese
  • OpenDryFire – 10x cheaper laser dry-fire scoring from a webcam and mic

    github.com
    • 1 points
    • 0 comments
    • 53 minutes ago
    • by infinitone
  • Migrating off Heroku to AWS without killing your deploy speed

    qovery.com
    • 1 points
    • 0 comments
    • 56 minutes ago
    • by makaimc
  • PageLens–A Chrome extension that uses AI to summarize your tab

    github.com
    • 1 points
    • 0 comments
    • 1 hour ago
    • by WinstoneH
  • Why AI Detection Fails for Academic Integrity

    arxiv.org
    • 2 points
    • 0 comments
    • 1 hour ago
    • by Anon84
  • Agile Design and Implementation of a Systolic Array-Based CNN Accelerator (2024) [pdf]

    ijerm.com
    • 1 points
    • 1 comments
    • 1 hour ago
    • by peter_d_sherman
  • The computer use verification skill that every agent needs

    twitter.com
    • 1 points
    • 0 comments
    • 1 hour ago
    • by gmays
  • Show HN: Self-hosted tunnels: local directory/port, your domain, HTTPS, passkeys

    github.com
    • 1 points
    • 0 comments
    • 1 hour ago
    • by schappim
  • iCloud+ Hide My Email addresses will remain on icloud.com

    developer.apple.com
    • 107 points
    • 11 comments
    • 1 hour ago
    • by K7PJP
  • Supreme Court Allows Trump Plan to Restrict Mail-In Voting, for Now

    nytimes.com
    • 10 points
    • 4 comments
    • 1 hour ago
    • by mikhael
  • France readies high school phone ban for new term

    lemonde.fr
    • 2 points
    • 0 comments
    • 1 hour ago
    • by geox
  • Life Policies Shouldn't Be Funding the Boss's Trophy Assets

    bloomberg.com
    • 1 points
    • 0 comments
    • 1 hour ago
    • by petethomas
  • Show HN: My friend built a Gleam server – let's try to take it down

    kms.andrewpavlov.org
    • 1 points
    • 0 comments
    • 1 hour ago
    • by harakternik
  • Trump Admin Moves to Impose More Than $100K Fee for H-1B Worker Visas

    sg.news.yahoo.com
    • 3 points
    • 1 comments
    • 1 hour ago
    • by dsmark
  • MetaRoCE: A New RDMA Transport Built for AI-Scale Ethernet

    engineering.fb.com
    • 3 points
    • 0 comments
    • 1 hour ago
    • by sbulaev
  • Moon

    ciechanow.ski
    • 45 points
    • 3 comments
    • 1 hour ago
    • by simonebrunozzi
  • AI text watermarking and quality loss

    blog.keyvan.net
    • 2 points
    • 0 comments
    • 1 hour ago
    • by k1m
  • See what your content is worth to AI agents

    index.parallel.ai
    • 1 points
    • 0 comments
    • 1 hour ago
    • by martialg
  • Vector search in PostgreSQL: deduplicating speakers with pgvector and HNSW

    rvier.fr
    • 2 points
    • 0 comments
    • 1 hour ago
    • by brvier
  • What Codex Sends to the Model

    0xkato.xyz
    • 1 points
    • 0 comments
    • 1 hour ago
    • by gmays
  • Introduction to Variable Fonts on the Web

    eb.dev
    • 3 points
    • 0 comments
    • 1 hour ago
    • by Topfi
  • Show HN: I calculated how much of every Indian price is tax and duty

    thodasa.com
    • 2 points
    • 1 comments
    • 1 hour ago
    • by bhaumiktandan