Hacker News - Top stories
Page item
  • NaN
    AI will make formal verification go mainstream
    212 comments by evankhoury 8 hours ago
  • NaN
    alpr.watch
    338 comments by theamk 12 hours ago
  • NaN
    No Graphics API
    90 comments by ryandrake 10 hours ago
  • NaN
    Announcing the Beta release of ty
    80 comments by gavide 8 hours ago
  • NaN
    Midjourney is alemwjsl
    47 comments by aadillpickle 6 days ago
  • NaN
    GPT Image 1.5
    183 comments by charlierguo 11 hours ago
  • NaN
    Introduction to Software Development Tooling (2024)
    4 comments by vismit2000 4 hours ago
  • NaN
    Pricing Changes for GitHub Actions
    627 comments by kevin-david 12 hours ago
  • NaN
    I ported JustHTML from Python to JavaScript with Codex CLI and GPT-5.2 in hours
    57 comments by pbowyer 6 hours ago
  • NaN
    No AI* Here – A Response to Mozilla's Next Chapter
    113 comments by MrAlex94 7 hours ago
  • NaN
    40 percent of fMRI signals do not correspond to actual brain activity
    179 comments by geox 15 hours ago
  • NaN
    Mozilla appoints new CEO Anthony Enzor-Demeo
    714 comments by recvonline 15 hours ago
  • NaN
    Show HN: Titan – JavaScript-first framework that compiles into a Rust server
    6 comments by soham_byte 6 days ago
  • NaN
    Sei AI (YC W22) Is Hiring
    0 comments by null 4 hours ago
  • NaN
    VA Linux: The biggest dotcom IPO
    0 comments by giuliomagnifico 6 days ago
  • NaN
    Thin desires are eating life
    149 comments by mitchbob a day ago
  • NaN
    Tesla Robotaxis in Austin Crash 12.5x More Frequently Than Humans
    51 comments by hjouneau 2 hours ago
  • NaN
    Dafny: Verification-Aware Programming Language
    21 comments by handfuloflight 6 hours ago
  • NaN
    Testing a cheaper laminar flow hood
    6 comments by surprisetalk 4 days ago
  • NaN
    Japan to revise romanization rules for first time in 70 years
    128 comments by rgovostes 20 hours ago
  • NaN
    Show HN: Learn Japanese contextually while browsing
    17 comments by englishcat 4 hours ago
  • NaN
    Sega Channel: VGHF Recovers over 100 Sega Channel ROMs (and More)
    38 comments by wicket 16 hours ago
  • NaN
    The World Happiness Report is beset with methodological problems
    116 comments by thatoneengineer a day ago
  • NaN
    Nvidia Nemotron 3 Family of Models
    30 comments by ewt-nv 2 days ago
  • NaN
    Writing a blatant Telegram clone using Qt, QML and Rust. And C++
    54 comments by tempodox 13 hours ago
  • NaN
    Chat-tails: Throwback terminal chat, built on Tailscale
    12 comments by nulbyte 8 hours ago
  • NaN
    Show HN: TheAuditor v2.0 – A ”Flight Computer“ for AI Coding Agents
    7 comments by ThailandJohn 15 hours ago
  • NaN
    Twin suction turbines and 3-Gs in slow corners? Meet the DRG-Lola
    3 comments by PaulHoule 6 days ago
  • NaN
    Meta's new A.I. superstars are chafing against the rest of the company
    116 comments by furcyd 7 days ago
  • NaN
    Show HN: Sqlit – A lazygit-style TUI for SQL databases
    18 comments by MaxTeabag 2 days ago