Hacker News - Top stories
Page item
  • NaN
    AI will make formal verification go mainstream
    178 comments by evankhoury 5 hours ago
  • NaN
    alpr.watch
    325 comments by theamk 10 hours ago
  • NaN
    No Graphics API
    79 comments by ryandrake 7 hours ago
  • NaN
    Announcing the Beta release of ty
    65 comments by gavide 6 hours ago
  • NaN
    Midjourney is alemwjsl
    33 comments by aadillpickle 6 days ago
  • NaN
    No AI* Here – A Response to Mozilla's Next Chapter
    58 comments by MrAlex94 4 hours ago
  • NaN
    GPT Image 1.5
    170 comments by charlierguo 8 hours ago
  • NaN
    Pricing Changes for GitHub Actions
    574 comments by kevin-david 9 hours ago
  • NaN
    Sei AI (YC W22) Is Hiring
    0 comments by null 2 hours ago
  • NaN
    I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
    41 comments by pbowyer 4 hours ago
  • NaN
    40 percent of fMRI signals do not correspond to actual brain activity
    176 comments by geox 13 hours ago
  • NaN
    Mozilla appoints new CEO Anthony Enzor-Demeo
    658 comments by recvonline 13 hours ago
  • NaN
    CS 4973: Introduction to Software Development Tooling – Northeastern Univ (2024)
    0 comments by vismit2000 an hour ago
  • NaN
    Testing a cheaper laminar flow hood
    1 comments by surprisetalk 4 days ago
  • NaN
    Dafny: Verification-Aware Programming Language
    14 comments by handfuloflight 4 hours ago
  • NaN
    Thin desires are eating life
    133 comments by mitchbob a day ago
  • NaN
    Chat-tails: Throwback terminal chat, built on Tailscale
    11 comments by nulbyte 5 hours ago
  • NaN
    Japan to revise romanization rules for first time in 70 years
    101 comments by rgovostes 18 hours ago
  • NaN
    Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents
    2 comments by ThailandJohn 13 hours ago
  • NaN
    MIT professor shot at his Massachusetts home dies
    89 comments by mosura 5 hours ago
  • NaN
    Writing a blatant Telegram clone using Qt, QML and Rust. And C++
    52 comments by tempodox 11 hours ago
  • NaN
    Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
    34 comments by wicket 13 hours ago
  • NaN
    The World Happiness Report is beset with methodological problems
    110 comments by thatoneengineer a day ago
  • NaN
    Nvidia Nemotron 3 Family of Models
    28 comments by ewt-nv a day ago
  • NaN
    Show HN: Learn Japanese contextually while browsing
    4 comments by englishcat 2 hours ago
  • NaN
    Locked out: How a gift card purchase destroyed an Apple account
    2 comments by nonfamous 29 minutes ago
  • NaN
    Meta's new A.I. superstars are chafing against the rest of the company
    70 comments by furcyd 6 days ago
  • NaN
    More than 100 rally against data centers at Michigan Capitol
    6 comments by rmason 3 hours ago
  • NaN
    Can I use HTTPS RRs?
    6 comments by zdw 4 days ago
  • NaN
    Letta Code
    26 comments by ascorbic 6 hours ago