Implementing Logic Programming (btmc.substack.com)

68 points by sirwhinesalot 4h ago 16 comments

Self-Adapting Language Models (arxiv.org)

93 points by archon1410 6h ago 33 comments

If the moon were only 1 pixel: A tediously accurate solar system model (2014) (joshworth.com)

680 points by sdoering 17h ago 212 comments

The International Standard for Identifying Postal Items (akpain.net)

20 points by surprisetalk 1d ago 0 comments

OxCaml - a set of extensions to the OCaml programming language. (oxcaml.org)

257 points by lairv 11h ago 75 comments

Student discovers fungus predicted by Albert Hoffman (wvutoday.wvu.edu)

64 points by zafka 3d ago 41 comments

Whatever Happened to Sandboxfs? (blogsystem5.substack.com)

21 points by zdw 2d ago 5 comments

I convinced HP's board to buy Palm and watched them kill it (philmckinney.substack.com)

451 points by AndrewDucker 7h ago 393 comments

Meta invests $14.3B in Scale AI to kick-start superintelligence lab (nytimes.com)

398 points by RyanShook 12h ago 413 comments

RISC-V in AI and HPC Part 1: Per Aspera Ad Astra? (eetimes.com)

11 points by fork-bomber 3d ago 1 comments

Using computers more freely and safely (2023) (akkartik.name)

64 points by surprisetalk 8h ago 6 comments

The Hat, the Spectre and SAT Solvers (2024) (nhatcher.com)

77 points by todsacerdoti 10h ago 4 comments

Show HN: Tattoy – a text-based terminal compositor (tattoy.sh)

150 points by tombh 11h ago 43 comments

A Study of the Winston Red: The Smithsonian's New Fancy Red Diamond (gia.edu)

11 points by bookofjoe 3h ago 1 comments

100 years of Zermelo's axiom of choice: What was the problem with it? (2006) (research.mietek.io)

95 points by Bogdanp 11h ago 94 comments

Apple's Liquid Glass is prep work for AR interfaces, not just a design refresh (omc345.substack.com)

161 points by lightningcable 6h ago 186 comments

When random people give money to random other people (2017) (quomodocumque.wordpress.com)

69 points by munificent 9h ago 48 comments

High-speed fluorescence light field tomography of whole freely moving organisms (opg.optica.org)

34 points by PaulHoule 3d ago 1 comments

How the Alzheimer's Research Scandal Set Back Treatment 16 Years (2022) (discovermagazine.com)

60 points by walterbell 4h ago 34 comments

The concurrency trap: How an atomic counter stalled a pipeline (conviva.com)

86 points by delifue 6d ago 42 comments

EDAN: Towards Understanding Memory Parallelism and Latency Sensitivity in HPC [pdf] (spcl.inf.ethz.ch)

14 points by matt_d 3d ago 1 comments

MUMPS (en.wikipedia.org)

68 points by surprisetalk 5h ago 61 comments

Ask HN: How do I give back to people helped me when I was young and had nothing?

298 points by jupiterglimpse 12h ago 166 comments

Simulink (Matlab) Copilot (github.com)

29 points by kaamuli 7h ago 5 comments

Jemalloc Postmortem (jasone.github.io)

704 points by jasone 1d ago 214 comments

Thiings (thiings.co)

156 points by pentagrama 3d ago 68 comments

Frequent reauth doesn't make you more secure (tailscale.com)

1137 points by ingve 1d ago 479 comments

Geometry from Quantum Temporal Correlations (arxiv.org)

45 points by ljosifov 12h ago 21 comments

Luxe Game Engine (luxeengine.com)

143 points by garrypettet 10h ago 49 comments

A dark adtech empire fed by fake CAPTCHAs (krebsonsecurity.com)

224 points by todsacerdoti 1d ago 115 comments

Subtype Inference by Example (blog.polybdenum.com)

18 points by azhenley 4d ago 5 comments

Kyber (YC W23) Is Hiring a Technical Account Manager (ycombinator.com)

1 points by asontha 13h ago 0 comments

Show HN: Tritium – The Legal IDE in Rust (tritium.legal)

295 points by piker 1d ago 164 comments

ChatGPT touts conspiracies, attempts to convince one user that they're Neo (tomshardware.com)

9 points by miles 3h ago 0 comments

Beyond Bluesky: The apps building social experiences on the AT Protocol (techcrunch.com)

12 points by Kye 3h ago 0 comments

Radio pulses detected coming from ice in Antarctica (psu.edu)

54 points by geox 7h ago 20 comments

Denmark Wants to Dump Microsoft Software for Linux, LibreOffice (uk.pcmag.com)

12 points by louthy 2h ago 1 comments

Show HN: Qrkey – Offline private key backup on paper (github.com)

60 points by techwolf12 12h ago 36 comments

Slow and steady, this poem will win your heart (nytimes.com)

95 points by mrholme 20h ago 33 comments

The fastest way to detect a vowel in a string (austinhenley.com)

32 points by ingve 7h ago 42 comments

How I program with agents (crawshaw.io)

529 points by bumbledraven 4d ago 288 comments

A receipt printer cured my procrastination (laurieherault.com)

1133 points by laurieherault 1d ago 569 comments

Worldwide power grid with glass insulated HVDC cables (omattos.com)

135 points by londons_explore 1d ago 129 comments

U.S. Army bringing in big tech executives as lieutenant colonels (taskandpurpose.com)

58 points by cempaka 2h ago 51 comments

Rendering Crispy Text on the GPU (osor.io)

390 points by ibobev 23h ago 123 comments

The Missing Manual for Signals: State Management for Python Developers (bui.app)

72 points by buibuibui 14h ago 33 comments

Zero-Shot Forecasting: Our Search for a Time-Series Foundation Model (parseable.com)

64 points by tiwarinitish86 20h ago 22 comments

The Emperor's New LLM (dayafter.substack.com)

80 points by shmval 3h ago 37 comments

We found a germ that 'feeds' on hospital plastic – new study (theconversation.com)

11 points by PaulHoule 4h ago 4 comments

Why does my ripped CD have messed up track names? And why is one track missing? (akpain.net)

159 points by surprisetalk 1d ago 144 comments

Peeling the Covers Off Germany's Exascale "Jupiter" Supercomputer

3 rbanffy 1 6/12/2025, 9:52:10 AM nextplatform.com ↗

Comments (1)

theandrewbailey · 1d ago

Will Jupiter run... Jupyter?

I'll show myself out.