Hacker News - Top stories
Page item
  • NaN
    AI will make formal verification go mainstream
    153 comments by evankhoury 4 hours ago
  • NaN
    alpr.watch
    304 comments by theamk 8 hours ago
  • NaN
    No Graphics API
    70 comments by ryandrake 6 hours ago
  • NaN
    Announcing the Beta release of ty
    56 comments by gavide 4 hours ago
  • NaN
    GPT Image 1.5
    160 comments by charlierguo 7 hours ago
  • NaN
    Sei AI (YC W22) Is Hiring
    0 comments by null 15 minutes ago
  • NaN
    I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
    14 comments by pbowyer 2 hours ago
  • NaN
    Midjourney is alemwjsl
    18 comments by aadillpickle 6 days ago
  • NaN
    Pricing Changes for GitHub Actions
    557 comments by kevin-david 8 hours ago
  • NaN
    No AI* Here – A Response to Mozilla's Next Chapter
    39 comments by MrAlex94 3 hours ago
  • NaN
    40 percent of fMRI signals do not correspond to actual brain activity
    169 comments by geox 11 hours ago
  • NaN
    Mozilla appoints new CEO Anthony Enzor-Demeo
    632 comments by recvonline 11 hours ago
  • NaN
    Dafny: Verification-Aware Programming Language
    6 comments by handfuloflight 2 hours ago
  • NaN
    Chat-tails: Throwback terminal chat, built on Tailscale
    10 comments by nulbyte 4 hours ago
  • NaN
    Thin desires are eating life
    124 comments by mitchbob a day ago
  • NaN
    MIT professor shot at his Massachusetts home dies
    70 comments by mosura 3 hours ago
  • NaN
    Can I use HTTPS RRs?
    6 comments by zdw 4 days ago
  • NaN
    Writing a blatant Telegram clone using Qt, QML and Rust. And C++
    48 comments by tempodox 10 hours ago
  • NaN
    Japan to revise romanization rules for first time in 70 years
    88 comments by rgovostes 16 hours ago
  • NaN
    Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents
    0 comments by ThailandJohn 11 hours ago
  • NaN
    The World Happiness Report is beset with methodological problems
    102 comments by thatoneengineer a day ago
  • NaN
    Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
    33 comments by wicket 12 hours ago
  • NaN
    FVWM-95 (2001)
    81 comments by mghackerlady 8 hours ago
  • NaN
    Letta Code
    25 comments by ascorbic 4 hours ago
  • NaN
    Nvidia Nemotron 3 Family of Models
    25 comments by ewt-nv a day ago
  • NaN
    Meta's new A.I. superstars are chafing against the rest of the company
    60 comments by furcyd 6 days ago
  • NaN
    Show HN: Sqlit – A lazygit-style TUI for SQL databases
    15 comments by MaxTeabag a day ago
  • NaN
    WikiFlix shows us what Netflix would have been like 100 years ago
    0 comments by jnord an hour ago
  • NaN
    Rust GCC backend: Why and how
    89 comments by ahlCVA 12 hours ago
  • NaN
    Windows 11 will ask consent before sharing personal files with AI after outrage
    5 comments by jinxmeta an hour ago