Hacker News Clone new | comments | show | ask | jobs | submit | github repologin
1.Dependent Types and the Art of HTTP Headers (www.unwoundstack.com)
1 points by todsacerdoti 10 minutes ago | hide | discuss
2.RoboCop (2014) – Field Test Scene (www.youtube.com)
1 points by ganzuul 10 minutes ago | hide | discuss
3.Orchestrion: Compile-time auto-instrumentation for Go (www.datadoghq.com)
1 points by ingve 12 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 14 minutes ago | hide | discuss
5.OpenEUICC-SGP.26: eSIM LPA (Local Profile Assistant) Implementation for Android (gitea.angry.im)
1 points by transpute 16 minutes ago | hide | discuss
6.Ask HN: Good CMS for Hierarchical Multi Tenant Apps
1 points by morenatron 17 minutes ago | hide | discuss
7.Show HN: Build you own SQL query planner/optimizer guide (github.com)
1 points by tuannh982 20 minutes ago | hide | discuss
8.Discussing digital twins (www.youtube.com)
1 points by lr0 21 minutes ago | hide | discuss
9.Surprise solar surge in Pakistan shocks experts and grid (www.dw.com)
1 points by vasco 21 minutes ago | hide | discuss
10.Some notes on my experiences with Python type hints and Mypy (utcc.utoronto.ca)
1 points by ingve 23 minutes ago | hide | discuss
11.Uno Platform 5.5 – Automated App Packaging, .NET 9 RC2, OpenGL, WebView2 (platform.uno)
1 points by peutetre 27 minutes ago | hide | discuss
12.Conversational Game Theory (aikiwiki.com)
2 points by hoofish 29 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 37 minutes ago | hide | discuss
14.French university leaders turn to direct action over budget (www.researchprofessionalnews.com)
2 points by p4bl0 37 minutes ago | hide | discuss
15.Alibaba releases an 'open' challenger to OpenAI's o1 reasoning model (techcrunch.com)
1 points by cassianoleal 38 minutes ago | hide | discuss
16.Cursed Linear Types in Rust (geo-ant.github.io)
1 points by runos 39 minutes ago | hide | discuss
17.Salt Typhoon's surge extends far beyond US telcos (www.theregister.com)
2 points by romperstomper 41 minutes ago | hide | discuss
18.Presenting QueztcoAPL (medium.com)
1 points by solarbreeze 42 minutes ago | hide | discuss
19.RightTyper: Auto-generate Python type hints (github.com)
1 points by cl3misch 47 minutes ago | hide | discuss
20.Chinese Ship's Crew Suspected of Deliberately Dragging Anchor to Cut Cables (www.wsj.com)
3 points by _tk_ 48 minutes ago | hide | discuss
21.What features would you like to see added my virtual web OS?
2 points by M-Valentino 50 minutes ago | hide | 2 comments
22.Which IDEs do software engineers love, and why? (blog.pragmaticengineer.com)
1 points by runos 52 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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: