Past, Present, and Future of Sorbet Type Syntax (blog.jez.io)

32 points by PaulHoule 57m ago 2 comments

ALICE detects the conversion of lead into gold at the LHC (home.cern)

176 points by miiiiiike 2h ago 118 comments

Sofie: open-source web based system for automating live TV news production (nrkno.github.io)

159 points by rjmunro 3h ago 20 comments

Launch HN: Nao Labs (YC X25) – Cursor for Data

15 points by ClaireGz 39m ago 9 comments

Show HN: A backend agnostic Ruby framework for building reactive desktop apps (codeberg.org)

22 points by zero-st4rs 1h ago 8 comments

Rollstack (YC W23) Is Hiring TypeScript Engineers (Remote US/CA) (ycombinator.com)

1 points by yjallouli 6m ago 0 comments

21 GB/s CSV Parsing Using SIMD on AMD 9950X (nietras.com)

120 points by zigzag312 3h ago 45 comments

Show HN: Aberdeen – An elegant approach to reactive UIs (aberdeenjs.org)

127 points by vanviegen 4h ago 62 comments

Itter.sh – Micro-Blogging via Terminal (itter.sh)

83 points by rrr_oh_man 3h ago 28 comments

Show HN: BlenderQ – A TUI for managing multiple Blender renders (github.com)

11 points by TechSquidTV 50m ago 0 comments

Show HN: Oliphaunt – A Native Mastodon Client for macOS (testflight.apple.com)

14 points by anosidium 46m ago 6 comments

Show HN: Hydra (YC W22) – Serverless Analytics on Postgres (hydra.so)

6 points by coatue 1h ago 0 comments

Former Supreme Court justice David Souter has died (npr.org)

25 points by danso 1h ago 9 comments

LegoGPT: Generating Physically Stable and Buildable Lego (avalovelace1.github.io)

463 points by nkko 12h ago 125 comments

Show HN: Hyvector – A fast and modern SVG editor (hyvector.com)

159 points by jansan 6h ago 39 comments

Data manipulations alleged in study that paved way for Microsoft's quantum chip (science.org)

137 points by EvgeniyZh 5h ago 87 comments

The Anarchitecture Group (spatialagency.net)

7 points by jruohonen 38m ago 0 comments

CryptPad: An Alternative to the Google Suite (cryptpad.org)

65 points by ColinWright 5h ago 20 comments

NSF faces shake-up as officials abolish its 37 divisions (science.org)

246 points by magicalist 4h ago 326 comments

The birth of AI poker? Letters from the 1984 WSOP (poker.org)

14 points by indigodaddy 4d ago 0 comments

A Taxonomy for Rendering Engines (c0de517e.com)

24 points by ibobev 2d ago 4 comments

Implementing a Struct of Arrays (brevzin.github.io)

76 points by mpweiher 6h ago 26 comments

Structuring Competency-Based Courses Through Skill Trees (arxiv.org)

30 points by PaulHoule 4d ago 15 comments

The CL1: the first code deployable biological computer (corticallabs.com)

10 points by sprawl_ 2d ago 7 comments

Amazon's Vulcan Robots Now Stow Items Faster Than Humans (spectrum.ieee.org)

137 points by Luc 5h ago 155 comments

The Linux Kernel's PGP Web of Trust (blog.kleine-koenig.org)

49 points by JNRowe 6h ago 8 comments

Dasung Paperlike 13K is a 13.3 inch E Ink color monitor (liliputing.com)

49 points by PaulHoule 3h ago 30 comments

Starlink User Terminal Teardown (darknavy.org)

249 points by walterbell 14h ago 79 comments

Reconstructing illusory camouflage patterns on moth wings using computer vision (royalsocietypublishing.org)

9 points by PaulHoule 3h ago 0 comments

Zombieverter: Open source VCU for reusing salvage EV components (openinverter.org)

61 points by trainsarebetter 3d ago 18 comments

USPTO refuses Tesla Robotaxi trademark as "merely descriptive" (arstechnica.com)

69 points by LorenDB 4h ago 33 comments

WASM 2.0 (w3.org)

254 points by lioeters 9h ago 112 comments

Audiobookshelf: Self-hosted audiobook and podcast server (audiobookshelf.org)

165 points by fjk 14h ago 76 comments

Hollow Core Fiber (HCF) (holightoptic.com)

30 points by giuliomagnifico 3h ago 18 comments

Malaya's Timeless Design (linyangchen.com)

54 points by cenazoic 3d ago 9 comments

Dead Reckoning (damninteresting.com)

146 points by repost_bot 13h ago 50 comments

Usenix ATC Announcement (usenix.org)

105 points by eatbitseveryday 13h ago 10 comments

Void: Open-source Cursor alternative (github.com)

844 points by sharjeelsayed 1d ago 328 comments

Fui: C library for interacting with the framebuffer in a TTY context (github.com)

150 points by Bhulapi 19h ago 58 comments

A flat pricing subscription for Claude Code (support.anthropic.com)

208 points by namukang 19h ago 244 comments

Entire BART system is down due to computer systems failure (bart.gov)

111 points by ksajadi 2h ago 70 comments

Progress toward fusion energy gain as measured against the Lawson criteria (fusionenergybase.com)

223 points by sam 1d ago 124 comments

Robotics meets the culinary arts (actu.epfl.ch)

31 points by gnabgib 4d ago 7 comments

Podfox: First Container-Aware Browser (val.packett.cool)

106 points by pierremenard 18h ago 17 comments

Full Control.xyz Freeform Gcode (fullcontrol.xyz)

30 points by downboots 4d ago 1 comments

From: Steve Jobs. "Great idea, thank you." (blog.hayman.net)

1078 points by mattl 22h ago 274 comments

eBPF Mystery: When is IPv4 not IPv4? When it's pretending to be IPv6 (blog.gripdev.xyz)

84 points by tanelpoder 13h ago 23 comments

A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf] (usenix.org)

135 points by luu 14h ago 86 comments

Reservoir Sampling (samwho.dev)

486 points by chrisdemarco 1d ago 95 comments

Phoenician culture spread mainly through cultural exchange (mpg.de)

81 points by gmays 3d ago 33 comments

How to (actually) prove it – New Frontiers of Mathematics and Computing in Lean

2 gopiandcode 0 5/9/2025, 1:00:53 AM kirancodes.me ↗

Comments (0)

No comments yet