Databricks and Neon (databricks.com)

53 points by davidgomes 1h ago 23 comments

How to Build a Smartwatch: Picking a Chip (ericmigi.com)

85 points by rcarmo 4h ago 44 comments

Writing that changed how I think about programming languages (bernsteinbear.com)

175 points by r4um 7h ago 8 comments

Ash Framework – Model your domain, derive the rest (ash-hq.org)

113 points by lawik 3d ago 38 comments

RPG in a Box (rpginabox.com)

189 points by skibz 4d ago 37 comments

UK's Ancient Tree Inventory (ati.woodlandtrust.org.uk)

11 points by thinkingemote 1h ago 7 comments

$20K Bounty Offered for Optimizing Rust Code in Rav1d AV1 Decoder (memorysafety.org)

27 points by todsacerdoti 3h ago 9 comments

Flattening Rust’s learning curve (corrode.dev)

290 points by birdculture 13h ago 211 comments

The recently lost file upload feature in the Nextcloud app for Android (nextcloud.com)

103 points by morsch 6h ago 18 comments

Type-constrained code generation with language models (arxiv.org)

210 points by tough 13h ago 87 comments

Branch Privilege Injection: Exploiting branch predictor race conditions (comsec.ethz.ch)

385 points by alberto-m 18h ago 162 comments

Bus stops here: Shanghai lets riders design their own routes (sixthtone.com)

256 points by anigbrowl 7h ago 188 comments

The Future Is Too Expensive – A New Theory on Collapsing Birth Rates (medium.com)

11 points by hectorchu 18m ago 4 comments

Google is building its own DeX: First look at Android's Desktop Mode (androidauthority.com)

350 points by logic_node 21h ago 263 comments

Replicube: A puzzle game about writing code to create shapes (store.steampowered.com)

79 points by poetril 9h ago 20 comments

Launch HN: Miyagi (YC W25) turns YouTube videos into online, interactive courses

187 points by bestwillcui 22h ago 101 comments

Show HN: HelixDB – Open-source vector-graph database for AI applications (Rust) (github.com)

182 points by GeorgeCurtis 18h ago 79 comments

Build real-time knowledge graph for documents with LLM (cocoindex.io)

144 points by badmonster 15h ago 25 comments

Failed Soviet Venus lander Kosmos 482 crashes to Earth after 53 years in orbit (space.com)

152 points by taubek 3d ago 114 comments

Multiple security issues in GNU Screen (openwall.com)

386 points by st_goliath 1d ago 234 comments

Mipmap selection in too much detail (pema.dev)

70 points by luu 3d ago 18 comments

EM-LLM: Human-Inspired Episodic Memory for Infinite Context LLMs (github.com)

69 points by jbotz 4d ago 9 comments

PDF to Text, a challenging problem (marginalia.nu)

302 points by ingve 20h ago 168 comments

The Internet 1997 – 2021 (opte.org)

47 points by smusamashah 1d ago 10 comments

Designing Cities for Families (bloomberg.com)

8 points by toomuchtodo 2d ago 5 comments

Airbnb is in midlife crisis mode (wired.com)

171 points by thomasjudge 16h ago 339 comments

It Awaits Your Experiments (rifters.com)

173 points by pavel_lishin 20h ago 60 comments

The world could run on older hardware if software optimization was a priority (twitter.com)

731 points by turrini 1d ago 665 comments

Fingers wrinkle the same way every time they’re in the water too long (binghamton.edu)

139 points by gnabgib 12h ago 55 comments

Using obscure graph theory to solve programming languages problems (reasonablypolymorphic.com)

76 points by matt_d 15h ago 15 comments

The great displacement is already well underway? (shawnfromportland.substack.com)

389 points by JSLegendDev 1d ago 385 comments

Garbage collection of object storage at scale (warpstream.com)

82 points by ko_pivot 3d ago 9 comments

A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)

55 points by jjgreen 4d ago 0 comments

OpenTelemetry protocol with Apache Arrow (opentelemetry.io)

98 points by tanelpoder 17h ago 17 comments

I learned Snobol and then wrote a toy Forth (ratfactor.com)

134 points by ingve 3d ago 37 comments

Binary Formats Are Better Than JSON in Browsers (adamfaulkner.github.io)

40 points by adamkf 13h ago 6 comments

Vircadia, a Bun and PostgreSQL-powered reactivity layer for games (vircadia.com)

7 points by kaliqt 3d ago 6 comments

Membrane: Media Framework for Elixir (membrane.stream)

143 points by lawik 3d ago 38 comments

Insurers launch cover for losses caused by AI chatbot errors (ft.com)

127 points by jmacd 3d ago 50 comments

Odin: A programming language made for me (zylinski.se)

179 points by gingerBill 1d ago 194 comments

Cardiac: A CARDboard Illustrative Aid to Computation [pdf] (cs.drexel.edu)

32 points by throwaway71271 13h ago 14 comments

A visual history of the safety pin (museumofeverydaylife.org)

27 points by andsoitis 2d ago 9 comments

In a high-stress work environment, prioritize relationships (wqtz.bearblog.dev)

316 points by wqtz 22h ago 202 comments

One hundred and one rules of effective living (mitchhorowitz.substack.com)

93 points by mathgenius 1d ago 92 comments

Mozilla Firefox – Official GitHub repo (github.com)

795 points by thefilmore 1d ago 441 comments

Coffee for people who don't like coffee (ostwilkens.se)

68 points by ostwilkens 3d ago 199 comments

Cracking the Dave and Buster's Anomaly (rambo.codes)

46 points by CharlesW 18h ago 2 comments

TheForger's Win32 API Tutorial (winprog.org)

62 points by xeonmc 21h ago 9 comments

Map of Palaeohispanic Coins and Inscriptions (hesperia.ucm.es)

19 points by brendanashworth 11h ago 1 comments

Ask HN: How are you acquiring your first hundred users?

500 points by amanchanda 1d ago 321 comments

New Intel CPU Flaw Bypasses Spectre v2 Defenses to Leak Kernel Memory

5 pierremenard 1 5/13/2025, 10:47:29 PM cyberinsider.com ↗

Comments (1)

gnabgib · 12h ago

Discussion on source (301 points, 7 hours ago, 112 comments) https://news.ycombinator.com/item?id=43974891