1. | | Dependent Types and the Art of HTTP Headers (www.unwoundstack.com) |
| 1 points by todsacerdoti 12 minutes ago | hide | discuss |
|
2. | | RoboCop (2014) – Field Test Scene (www.youtube.com) |
| 1 points by ganzuul 13 minutes ago | hide | discuss |
|
3. | | Orchestrion: Compile-time auto-instrumentation for Go (www.datadoghq.com) |
| 1 points by ingve 14 minutes ago | hide | discuss |
|
4. | | Microsoft says it's built an Xbox game store on Android but can't launch it (www.theverge.com) |
| 1 points by thunderbong 17 minutes ago | hide | discuss |
|
5. | | OpenEUICC-SGP.26: eSIM LPA (Local Profile Assistant) Implementation for Android (gitea.angry.im) |
| 1 points by transpute 19 minutes ago | hide | discuss |
|
6. | | Ask HN: Good CMS for Hierarchical Multi Tenant Apps |
| 1 points by morenatron 20 minutes ago | hide | discuss |
|
7. | | Show HN: Build you own SQL query planner/optimizer guide (github.com) |
| 1 points by tuannh982 23 minutes ago | hide | discuss |
|
8. | | Discussing digital twins (www.youtube.com) |
| 1 points by lr0 23 minutes ago | hide | discuss |
|
9. | | Surprise solar surge in Pakistan shocks experts and grid (www.dw.com) |
| 1 points by vasco 23 minutes ago | hide | discuss |
|
10. | | Some notes on my experiences with Python type hints and Mypy (utcc.utoronto.ca) |
| 1 points by ingve 25 minutes ago | hide | discuss |
|
11. | | Uno Platform 5.5 – Automated App Packaging, .NET 9 RC2, OpenGL, WebView2 (platform.uno) |
| 1 points by peutetre 29 minutes ago | hide | discuss |
|
12. | | Conversational Game Theory (aikiwiki.com) |
| 2 points by hoofish 31 minutes ago | hide | 1 comment |
|
13. | | The great abandonment: what happens to the natural world when people disappear? (www.theguardian.com) |
| 1 points by zeristor 40 minutes ago | hide | discuss |
|
14. | | French university leaders turn to direct action over budget (www.researchprofessionalnews.com) |
| 2 points by p4bl0 40 minutes ago | hide | discuss |
|
15. | | Alibaba releases an 'open' challenger to OpenAI's o1 reasoning model (techcrunch.com) |
| 1 points by cassianoleal 41 minutes ago | hide | discuss |
|
16. | | Cursed Linear Types in Rust (geo-ant.github.io) |
| 1 points by runos 41 minutes ago | hide | discuss |
|
17. | | Salt Typhoon's surge extends far beyond US telcos (www.theregister.com) |
| 2 points by romperstomper 44 minutes ago | hide | discuss |
|
18. | | Presenting QueztcoAPL (medium.com) |
| 1 points by solarbreeze 44 minutes ago | hide | discuss |
|
19. | | RightTyper: Auto-generate Python type hints (github.com) |
| 1 points by cl3misch 49 minutes ago | hide | discuss |
|
20. | | Chinese Ship's Crew Suspected of Deliberately Dragging Anchor to Cut Cables (www.wsj.com) |
| 3 points by _tk_ 50 minutes ago | hide | discuss |
|
21. | | What features would you like to see added my virtual web OS? |
| 2 points by M-Valentino 52 minutes ago | hide | 2 comments |
|
22. | | Which IDEs do software engineers love, and why? (blog.pragmaticengineer.com) |
| 1 points by runos 54 minutes ago | hide | discuss |
|
23. | | Teaching quantum physics in schools: Experts encourage focus on 2 state systems (phys.org) |
| 2 points by westurner 1 hour ago | hide | 1 comment |
|
24. | | Identety - an open-source Identity Provider |
| 1 points by identety 1 hour ago | hide | discuss |
|
25. | | Secure your URLSession network requests using Certificate Pinning (erezhod.com) |
| 2 points by erezhod 1 hour ago | hide | 1 comment |
|
26. | | Operation Choke Point 2.0 Is Underway, and Crypto Is in Its Crosshairs (www.piratewires.com) |
| 2 points by r_singh 1 hour ago | hide | 1 comment |
|
27. | | The AT Protocol (Bluesky) SDK for Python (github.com) |
| 2 points by p4bl0 1 hour ago | hide | discuss |
|
28. | | E.U. Vessels Surround Anchored Chinese Ship After Baltic Sea Cables Are Severed (www.nytimes.com) |
| 4 points by ericzawo 1 hour ago | hide | discuss |
|
29. | | Microsoft faces wide-ranging U.S. antitrust probe (www.cnbc.com) |
| 1 points by taubek 1 hour ago | hide | discuss |
|
30. | | DOOM64: Doom on Contributions Graph (github.com) |
| 1 points by jamesy0ung 1 hour ago | hide | discuss |
|
|
| More |