1. Set Theory with Types (lawrencecpaulson.github.io)
    category theorytype theoryset theory
    22 points by baruchel 1 day | 10 comments
  2. Europe is scaling back GDPR and relaxing AI laws (www.theverge.com)
    privacy lawsartificial intelligence regulationseuropean data protection
    970 points by ksec 4 days | 1155 comments
  3. FAWK: LLMs can write a language interpreter (martin.janiczek.cz)
    large language modelsnatural language processingprogramming languages
    226 points by todsacerdoti 2 days | 187 comments
  4. Time in C++: Understanding <chrono> and the Concept of Clocks (www.sandordargo.com)
    9 points by jandeboevrie about 17 hours | 1 comments
  5. CBP is monitoring US drivers and detaining those with suspicious travel patterns (apnews.com)
    customs border protectionsurveillance technologytravel restrictions
    826 points by jjwiseman 3 days | 875 comments
  6. FEX-emu – Run x86 applications on ARM64 Linux devices (fex-emu.com)
    297 points by open-paren 11 days | 135 comments
  7. How to stay sane in a world that rewards insanity (www.joanwestenberg.com)
    mental healthsanitystress management
    356 points by enbywithunix 4 days | 258 comments
  8. Infinibay LXD Container (github.com)
    lxd containerslinux containerizationcontainer orchestration
    27 points by angaroshi 1 day | 7 comments
  9. Self-hosting a NAT Gateway (www.awsistoohard.com)
    164 points by veryrealsid 6 days | 122 comments
  10. Gemini 3 (blog.google)
    ai-powered video editinggemini 3 provideo creation tools
    1728 points by preek 5 days | 1054 comments
  11. Mr. Difficult: William Gaddis and the Problem of Hard-to-Read Books (2002) (adilegian.com)
    18 points by ofalkaed 7 days | 8 comments
  12. Show HN: 32V TENS device from built from scratch under $100 (littlemountainman.github.io)
    68 points by autonomydriver 6 days | 25 comments
  13. Verifying your Matrix devices is becoming mandatory (element.io)
    matrixdevice verificationiot security
    209 points by LorenDB 4 days | 242 comments
  14. Open Source and Local Code Mode MCP in Deno Sandboxes (portofcontext.com)
    76 points by pmkelly4444 10 days | 26 comments
  15. Microsoft makes Zork open-source (opensource.microsoft.com)
    zorkopen-sourceretro-gaming
    634 points by tabletcorry 3 days | 239 comments
  16. Launch HN: Poly (YC S22) – Cursor for Files
    64 points by aabhay 3 days | 67 comments
  17. Red Alert 2 in web browser (chronodivide.com)
    real-time strategy gamesonline gamingretro gaming
    493 points by nsoonhui 3 days | 146 comments
  18. Brazil's Bolsonaro detained for trying to break ankle bracelet and flee (www.msn.com)
    brazilian politicsjair bolsonaroankle bracelet
    25 points by CXSHNGCB about 16 hours | 4 comments
  19. Can you take an ox to Oxford? (alexwlchan.net)
    12 points by surprisetalk 1 day | 3 comments
  20. Private Equity's New Venture: Youth Sports (jacobin.com)
    youth sportsprivate equityinvestment
    91 points by wahnfrieden 2 days | 75 comments
  21. It's hard to build an oscillator (lcamtuf.substack.com)
    electronicscircuit designoscillator theory
    232 points by chmaynard 2 days | 88 comments
  22. My Favorite Math Problem (bytesauna.com)
    60 points by mapehe 6 days | 52 comments
  23. Lester: A New Era for Rotoscoping in Indie Animation and Retro Game Development (rtous.github.io)
    indie animation toolsrotoscope softwareretro game development techniques
    22 points by LostMyWords 1 day | 1 comments
  24. RRules (yes handling RSCALE) using only PL/pgSQL (github.com)
    25 points by sirrodgepodge 10 days | 1 comments
  25. Show HN: Vibe Prolog (github.com)
    prologlogic programmingartificial intelligence
    44 points by nl 4 days | 9 comments
  26. What this blog is about (randomascii.wordpress.com)
    13 points by simonebrunozzi 1 day | discuss
  27. Exploring the Fragmentation of Wayland, an xdotool adventure (www.semicomplete.com)
    100 points by viraptor 7 days | 90 comments
  28. Show HN: HN Insights – HN front page summaries (hn-insights.com)
    7 points by mobrienv about 16 hours | discuss
  29. A Non-Obvious Answer to Why the AI Bubble Will Burst (brodzinski.com)
    machine learningartificial intelligencetechnology bubble
    28 points by flail 2 days | 17 comments
  30. Boom, bubble, bust, boom. Why should AI be different? (crazystupidtech.com)
    internet bubbletech maniafinancial crisis
    156 points by speckx 1 day | 203 comments
More