1. Why does AI tell you to use Terminal so much? (eclecticlight.co)
    terminalaicommand line
    18 points by ingve 30 minutes | 20 comments
  2. Zig – Type Resolution Redesign and Language Changes (ziglang.org)
    type-resolutionzig-language-changesprogramming-updates
    187 points by Retro_Dev about 7 hours | 57 comments
  3. Create value for others and don’t worry about the returns (geohot.github.io)
    philanthropygiving backaltruism
    268 points by ppew about 3 hours | 112 comments
  4. TADA: Fast, Reliable Speech Generation Through Text-Acoustic Synchronization (www.hume.ai)
    ai-powered speech generationtext-to-speechnatural language processing
    26 points by smusamashah about 3 hours | 2 comments
  5. U+237C ⍼ Is Azimuth (ionathan.ch)
    astronomynavigationmathematics
    278 points by cokernel_hacker about 10 hours | 26 comments
  6. Cloudflare crawl endpoint (developers.cloudflare.com)
    crawl endpointwebsite scrapingweb performance optimization
    280 points by jeffpalmer about 10 hours | 112 comments
  7. Julia Snail – An Emacs Development Environment for Julia Like Clojure's Cider (github.com)
    58 points by TheWiggles 3 days | 7 comments
  8. Tony Hoare has died (blog.computationalcomplexity.org)
    tony hoareturing awardcomputer science
    1755 points by speckx about 18 hours | 225 comments
  9. Yann LeCun raises $1B to build AI that understands the physical world (www.wired.com)
    artificial intelligencemachine learningrobotics
    452 points by helloplanets 1 day | 369 comments
  10. Agents that run while I sleep (www.claudecodecamp.com)
    ai written testsautomated testingtest suite
    320 points by aray07 about 14 hours | 328 comments
  11. RISC-V Is Sloooow (marcin.juszkiewicz.com.pl)
    embedded processorsmicroarchitecture optimizationcpu performance
    227 points by todsacerdoti about 13 hours | 215 comments
  12. AutoKernel: Autoresearch for GPU Kernels (github.com)
    14 points by frozenseven about 1 hour | 1 comments
  13. Writing my own text editor, and daily-driving it (blog.jsbarretto.com)
    text editorprogrammingsoftware development
    92 points by todsacerdoti about 7 hours | 22 comments
  14. SSH Secret Menu (twitter.com)
    secret menusssh commandssystem administration
    186 points by piccirello 1 day | 66 comments
  15. I'm going to build my own OpenClaw, with blackjack and bun (github.com)
    opensourceroboticsdiyroboticsroboticsprojects
    24 points by rcarmo about 1 hour | 17 comments
  16. Launch HN: RunAnywhere (YC W26) – Faster AI Inference on Apple Silicon (github.com)
    ai inferenceapple siliconmachine learning
    209 points by sanchitmonga22 about 16 hours | 128 comments
  17. Debian decides not to decide on AI-generated contributions (lwn.net)
    ai-generated contentdebian communityopen-source development
    323 points by jwilk about 18 hours | 252 comments
  18. Support for Aquantia AQC113 and AQC113C Ethernet Controllers on FreeBSD (github.com)
    7 points by justinclift 4 days | 3 comments
  19. Surpassing vLLM with a Generated Inference Stack (infinity.inc)
    neural networksartificial intelligencenatural language processing
    35 points by lukebechtel about 18 hours | 12 comments
  20. Levels of Agentic Engineering (www.bassimeledath.com)
    engineeringlevelsagentic
    166 points by bombastic311 1 day | 83 comments
  21. Mesh over Bluetooth LE, TCP, or Reticulum (github.com)
    mesh networksbluetooth leiot protocols
    88 points by khimaros about 14 hours | 8 comments
  22. Universal vaccine against respiratory infections and allergens (med.stanford.edu)
    respiratory vaccinesallergen treatmentsimmunotherapy
    230 points by phony-account about 10 hours | 77 comments
  23. Standardizing source maps (bloomberg.github.io)
    source map standardizationmapping errorsdebugging tools
    26 points by Timothee about 4 hours | 3 comments
  24. Roblox is minting teen millionaires (www.bloomberg.com)
    130 points by petethomas 3 days | 135 comments
  25. FFmpeg-over-IP – Connect to remote FFmpeg servers (github.com)
    remote ffmpegffmpeg over ipstreaming media
    180 points by steelbrain about 14 hours | 58 comments
  26. Meta acquires Moltbook (www.axios.com)
    ai-powered identity verificationsocial media regulationdigital identity security
    485 points by mmayberry about 18 hours | 325 comments
  27. Launch HN: Didit (YC W26) – Stripe for Identity Verification
    67 points by rosasalberto about 18 hours | 59 comments
  28. EQT eyes potential $6B sale of Linux pioneer SUSE, sources say (www.reuters.com)
    suse acquisitionlinux companies for saleit mergers and acquisitions
    49 points by shscs911 1 day | 18 comments
  29. Invoker Commands API (developer.mozilla.org)
    83 points by maqnius 3 days | 15 comments
  30. Exploring the ocean with Raspberry Pi–powered marine robots (www.raspberrypi.com)
    86 points by Brajeshwar 4 days | 10 comments
More