Implementing Logic Programming (btmc.substack.com)

39 points by sirwhinesalot 2h ago 7 comments

Self-Adapting Language Models (arxiv.org)

76 points by archon1410 4h ago 22 comments

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

632 points by sdoering 15h ago 210 comments

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

245 points by lairv 9h ago 71 comments

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

411 points by AndrewDucker 5h ago 359 comments

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

13 points by zdw 2d ago 1 comments

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

41 points by zafka 2d ago 25 comments

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

378 points by RyanShook 10h ago 393 comments

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

42 points by walterbell 1h ago 19 comments

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

57 points by surprisetalk 6h ago 3 comments

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

145 points by tombh 9h ago 42 comments

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

10 points by shmval 1h ago 2 comments

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

71 points by todsacerdoti 8h ago 4 comments

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

4 points by fork-bomber 3d ago 0 comments

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

10 points by matt_d 3d ago 0 comments

The Claude Bliss Attractor (astralcodexten.com)

46 points by lukeplato 21h ago 34 comments

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

87 points by Bogdanp 9h ago 84 comments

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

134 points by lightningcable 4h ago 149 comments

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

64 points by munificent 7h ago 46 comments

MUMPS (en.wikipedia.org)

56 points by surprisetalk 2h ago 53 comments

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

19 points by cempaka 44m ago 7 comments

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

26 points by PaulHoule 3d ago 0 comments

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

274 points by jupiterglimpse 10h ago 160 comments

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

81 points by delifue 6d ago 40 comments

Simulink (Matlab) Copilot (github.com)

25 points by kaamuli 4h ago 4 comments

A receipt printer cured my procrastination (laurieherault.com)

1124 points by laurieherault 1d ago 564 comments

Rendering Crispy Text on the GPU (osor.io)

384 points by ibobev 21h ago 121 comments

Thiings (thiings.co)

140 points by pentagrama 3d ago 64 comments

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

1 points by asontha 11h ago 0 comments

Geometry from Quantum Temporal Correlations (arxiv.org)

43 points by ljosifov 10h ago 20 comments

Luxe Game Engine (luxeengine.com)

138 points by garrypettet 8h ago 49 comments

Jemalloc Postmortem (jasone.github.io)

697 points by jasone 22h ago 212 comments

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

1132 points by ingve 1d ago 477 comments

Subtype Inference by Example (blog.polybdenum.com)

18 points by azhenley 3d ago 4 comments

iPhone 11 emulation done in QEMU (github.com)

363 points by 71bw 1d ago 30 comments

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

221 points by todsacerdoti 1d ago 113 comments

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

50 points by geox 5h ago 20 comments

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

293 points by piker 1d ago 164 comments

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

59 points by techwolf12 10h ago 35 comments

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

9 points by PaulHoule 2h ago 3 comments

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

95 points by mrholme 18h ago 33 comments

Introducing Sulka, the Hardened Yocto Distro (ejaaskel.dev)

7 points by FrankSansC 2h ago 1 comments

Maximizing Battery Storage Profits via High-Frequency Intraday Trading (arxiv.org)

278 points by doener 1d ago 262 comments

Rust compiler performance (kobzol.github.io)

269 points by mellosouls 3d ago 238 comments

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

70 points by buibuibui 11h ago 33 comments

How I program with agents (crawshaw.io)

525 points by bumbledraven 4d ago 288 comments

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

134 points by londons_explore 1d ago 129 comments

The crisis of zombie social science (forkingpaths.co)

10 points by fanf2 3h ago 0 comments

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

64 points by tiwarinitish86 18h ago 22 comments

Wing and Walmart are bringing drone delivery to 100 new stores (theverge.com)

11 points by gmays 3h ago 15 comments

A Study of the Winston Red: The Smithsonian's New Fancy Red Diamond

3 bookofjoe 0 6/13/2025, 10:13:14 PM gia.edu ↗

Comments (0)

No comments yet