1. Typechecking is undecideable when 'type' is a type (1989) [pdf] (dspace.mit.edu)
    41 points by birdculture 5 days | 21 comments
  2. Tosijs-schema is a super lightweight schema-first LLM-native JSON schema library (www.npmjs.com)
    schema-firstllm-nativejson schema
    39 points by podperson about 8 hours | 24 comments
  3. NTSB report: Decryption of images from the Titan submersible camera [pdf] (2024) (data.ntsb.gov)
    submarineunderwater explorationdeep sea
    174 points by bmurray7jhu about 21 hours | 85 comments
  4. Ask HN: Good resources to learn financial systems engineering?
    85 points by _1tan about 5 hours | 22 comments
  5. Meta buried 'causal' evidence of social media harm, US court filings allege (www.reuters.com)
    social media harmmeta buried evidence
    593 points by pseudolus about 21 hours | 237 comments
  6. The Boring Part of Bell Labs (elizabethvannostrand.substack.com)
    166 points by AcesoUnderGlass 4 days | 42 comments
  7. Gordon Bell finalist team pushes scale of rocket simulation on El Capitan (www.llnl.gov)
    rocket simulationgordon bell awardshigh-performance computing
    19 points by perihelions about 9 hours | 4 comments
  8. From SQL to Graph: 5 Questions to Ask Before You Get Started (memgraph.com)
    6 points by taubek about 2 hours | discuss
  9. It's Not Always DNS: Exploring How Name Resolution Works (cefboud.com)
    dns resolutionname resolutiondomain name system
    17 points by byt3h3ad about 8 hours | discuss
  10. Ubuntu LTS releases to 15 years with Legacy add-on (canonical.com)
    linux operating systemsubuntu releaseslong term support (lts)
    208 points by taubek 3 days | 152 comments
  11. Are consumers just tech debt to Microsoft? (birchtree.me)
    microsoft consumers technology debt
    196 points by ingve about 5 hours | 158 comments
  12. First kiss dates back 21M years (www.bbc.com)
    44 points by 1659447091 5 days | 22 comments
  13. Why Autoimmune Diseases Rise Sharply After 50 (www.wsj.com)
    autoimmune diseasesmiddle age healthmenopause symptoms
    16 points by ryan_j_naughton about 3 hours | 3 comments
  14. The privacy nightmare of browser fingerprinting (kevinboone.me)
    browser fingerprintingonline privacydigital surveillance
    703 points by ingve 1 day | 400 comments
  15. One year as full-time solo game dev (simondalvai.org)
    5 points by ekrapivin about 1 hour | discuss
  16. Markdown is holding you back (newsletter.bphogan.com)
    htmlwriting toolsproductivity
    199 points by zdw 1 day | 156 comments
  17. Pro-inflammatory food(red meat,processed food) linked to accelerated brain aging (www.psypost.org)
    6 points by donsupreme about 1 hour | discuss
  18. We Induced Smells With Ultrasound (writetobrain.com)
    ultrasoundscentfragrance
    629 points by exr0n 2 days | 173 comments
  19. Darts, Dice, and Coins: Sampling from a Discrete Distribution (2011) (www.keithschwarz.com)
    6 points by davikr 6 days | 2 comments
  20. CERN Council reviews feasibility study for a next-generation collider (home.cern)
    particle acceleratorscollider technologyphysics research
    53 points by elashri 12 days | 15 comments
  21. Bytes before FLOPS: your algorithm is (mostly) fine, your data isn't (www.bitsdraumar.is)
    5 points by bofersen about 6 hours | 2 comments
  22. Asymptotically optimal approximate Hadamard matrices (arxiv.org)
    11 points by mathfan 5 days | 1 comments
  23. X begins rolling out 'About this account' location feature to users' profiles (techcrunch.com)
    location-based featuresuser profilessocial media
    37 points by xqcgrek2 about 6 hours | 15 comments
  24. Pixel Art Tips for Programmers (jslegenddev.substack.com)
    151 points by ibobev 2 days | 33 comments
  25. Antic Magazine Interviews Alan Reeve, the Creator of the Diamond OS (1990) (computeradsfromthepast.substack.com)
    17 points by rbanffy 12 days | 2 comments
  26. Show HN: Build the habit of writing meaningful commit messages (github.com)
    commit message best practicessoftware development habitsversion control discipline
    97 points by Aplikethewatch 1 day | 118 comments
  27. The realities of being a pop star (itscharlibb.substack.com)
    pop culturecelebrity lifefame struggles
    305 points by lovestory 1 day | 215 comments
  28. China reaches energy milestone by "breeding" uranium from thorium (www.scmp.com)
    nuclear energythorium powerchina innovation
    326 points by surprisetalk 1 day | 289 comments
  29. AI trained on bacterial genomes produces never-before-seen proteins (arstechnica.com)
    13 points by ulrischa about 3 hours | 1 comments
  30. Claude Status – Elevated error rates on the API (status.claude.com)
    status update toolsit outage solutionsdowntime recovery strategies
    51 points by throwpoaster about 8 hours | 61 comments
More