1. T-Ruby is Ruby with syntax for types (type-ruby.github.io)
    type-safe programmingruby languagestatic typing
    177 points by thunderbong 5 days | 147 comments
  2. PySDR: A Guide to SDR and DSP Using Python (pysdr.org)
    software defined radiodigital signal processingpysdr
    226 points by kklisura 3 days | 13 comments
  3. Experts explore new mushroom which causes fairytale-like hallucinations (nhmu.utah.edu)
    mushroom hallucinationspsychedelic mushroomsfantasy fungi
    492 points by astronads 5 days | 313 comments
  4. Package managers keep using Git as a database, it never works out (nesbitt.io)
    packagemanagerversion control
    778 points by birdculture 5 days | 455 comments
  5. How to complain (2024) (outerproduct.net)
    effective communicationconflict resolutioncustomer service
    76 points by ysangkok 3 days | 17 comments
  6. Conduit (Rust Matrix Server) v0.10.11 another critical vulnerability (conduit.rs)
    5 points by acheong08 about 11 hours | discuss
  7. Mouse: Computer Programming Language (2006) (mouse.davidgsimpson.com)
    29 points by gappy 5 days | 5 comments
  8. Rust errors without dependencies (vincents.dev)
    error handlingrust programmingbest practices
    55 points by vsgherzi 4 days | 88 comments
  9. Two decades of evolution: How Ext4 has changed (llmnativeos.github.io)
    file systemslinux developmentstorage technology
    25 points by Dd_nirvana 2 days | 2 comments
  10. Wayland is flawed at its core and the community needs to talk about it (old.reddit.com)
    waylandlinuxgraphics
    21 points by tannhaeuser about 23 hours | 5 comments
  11. Optimal Classification Cutoffs (finite-sample.github.io)
    11 points by neehao 5 days | discuss
  12. Show HN: Per-instance TSP Solver with No Pre-training (1.66% gap on d1291)
    19 points by jivaprime 2 days | 3 comments
  13. Meta's ads tools started switching out top-performing ads with AI-generated ones (www.businessinsider.com)
    meta advertisingai-generated adsad optimization
    139 points by zdw 2 days | 96 comments
  14. Petition: Restore Free and Open Access to the ACM Digital Library (www.ipetitions.com)
    14 points by underscoreF about 18 hours | 1 comments
  15. Ask HN: What did you read in 2025?
    331 points by kwar13 5 days | 435 comments
  16. AI code analysis is getting good (hachyderm.io)
    14 points by sashk about 16 hours | 1 comments
  17. Inside the proton, the ‘most complicated thing you could possibly imagine’ (2022) (www.quantamagazine.org)
    protonsparticle physicssubatomic particles
    148 points by tzury 5 days | 62 comments
  18. Designing Predictable LLM-Verifier Systems for Formal Method Guarantee (arxiv.org)
    natural language processingformal methodsartificial intelligence
    58 points by PaulHoule 3 days | 12 comments
  19. Janet Jackson had the power to crash laptop computers (2022) (devblogs.microsoft.com)
    microsoft music crashjanet jackson songlaptop bug
    308 points by montalbano 4 days | 124 comments
  20. How we lost communication to entertainment (ploum.net)
    entertainment addictioncommunication skillstechnology overload
    691 points by 8organicbits 4 days | 395 comments
  21. Lead-Free Organic–Inorganic Halobismuthate for Large Piezoelectric Effect (pubs.acs.org)
    lead-free halidespiezoelectric materialsorganic-inorganic composites
    16 points by PaulHoule 1 day | 6 comments
  22. Splice a Fibre (react-networks-lib.rackout.net)
    fibre splicingoptical fiber cablingnetwork maintenance
    99 points by matt-p 4 days | 43 comments
  23. Maybe the default settings are too high (www.raptitude.com)
    anxietyself-regulationemotional intelligence
    929 points by htk 6 days | 320 comments
  24. Hungry Fat Cells Could Someday Starve Cancer (www.ucsf.edu)
    cancer researchfat cell metabolismtumor suppression
    163 points by mrtnmrtn 3 days | 52 comments
  25. Koine (github.com)
    32 points by handfuloflight 5 days | 8 comments
  26. HTTP Strict Transport Security (HSTS) (hstspreload.org)
    web securityhttpsbrowser configuration
    40 points by arunc 2 days | 40 comments
  27. Show HN: Xcc700: Self-hosting mini C compiler for ESP32 (Xtensa) in 700 lines (github.com)
    c compileresp32xtensa
    153 points by isitcontent 5 days | 36 comments
  28. Ask HN: Loneliness at 19, how to cope?
    55 points by yresting 3 days | 100 comments
  29. Gpg.fail (gpg.fail)
    encryptioncybersecurityprivacy
    442 points by todsacerdoti 4 days | 353 comments
  30. MiniMax M2.1: Built for Real-World Complex Tasks, Multi-Language Programming (www.minimaxi.com)
    computer programmingmulti-language supportsoftware development
    225 points by 110 6 days | 81 comments
More