Implementing Logic Programming (btmc.substack.com)

47 points by sirwhinesalot 2h ago 8 comments

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

26 points by shmval 2h ago 11 comments

Self-Adapting Language Models (arxiv.org)

83 points by archon1410 5h ago 27 comments

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

649 points by sdoering 15h ago 211 comments

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

249 points by lairv 10h ago 73 comments

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

425 points by AndrewDucker 6h ago 374 comments

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

48 points by zafka 2d ago 26 comments

The Claude Bliss Attractor (astralcodexten.com)

56 points by lukeplato 22h ago 41 comments

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

384 points by RyanShook 11h ago 398 comments

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

58 points by surprisetalk 7h ago 3 comments

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

39 points by cempaka 1h ago 27 comments

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

13 points by zdw 2d ago 2 comments

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

50 points by walterbell 2h ago 25 comments

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

5 points by fork-bomber 3d ago 0 comments

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

74 points by todsacerdoti 9h ago 4 comments

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

147 points by tombh 10h ago 42 comments

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

12 points by matt_d 3d ago 0 comments

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

88 points by Bogdanp 9h ago 86 comments

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

66 points by munificent 7h ago 46 comments

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

3 points by surprisetalk 1d ago 0 comments

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

138 points by lightningcable 4h ago 158 comments

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

29 points by PaulHoule 3d ago 0 comments

MUMPS (en.wikipedia.org)

60 points by surprisetalk 3h ago 56 comments

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

83 points by delifue 6d ago 42 comments

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

278 points by jupiterglimpse 10h ago 161 comments

Rendering Crispy Text on the GPU (osor.io)

386 points by ibobev 22h ago 121 comments

Simulink (Matlab) Copilot (github.com)

26 points by kaamuli 5h ago 5 comments

Geometry from Quantum Temporal Correlations (arxiv.org)

44 points by ljosifov 11h ago 20 comments

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

1 points by asontha 12h ago 0 comments

Jemalloc Postmortem (jasone.github.io)

699 points by jasone 22h ago 213 comments

Thiings (thiings.co)

144 points by pentagrama 3d ago 65 comments

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

1133 points by ingve 1d ago 478 comments

Luxe Game Engine (luxeengine.com)

141 points by garrypettet 9h ago 49 comments

Subtype Inference by Example (blog.polybdenum.com)

18 points by azhenley 4d ago 5 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)

222 points by todsacerdoti 1d ago 113 comments

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

294 points by piker 1d ago 164 comments

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

52 points by geox 5h ago 20 comments

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

60 points by techwolf12 10h ago 36 comments

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

95 points by mrholme 19h ago 33 comments

Rust compiler performance (kobzol.github.io)

269 points by mellosouls 3d ago 240 comments

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

10 points by PaulHoule 3h ago 4 comments

How I program with agents (crawshaw.io)

526 points by bumbledraven 4d ago 288 comments

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

70 points by buibuibui 12h ago 33 comments

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

6 points by louthy 1h ago 1 comments

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

135 points by londons_explore 1d ago 129 comments

A receipt printer cured my procrastination (laurieherault.com)

1130 points by laurieherault 1d ago 567 comments

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

7 points by FrankSansC 3h ago 1 comments

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

64 points by tiwarinitish86 19h ago 22 comments

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

5 points by Kye 2h ago 0 comments

Who Holds the Control: How Technology Distribution Shapes Markets

1 irwt 0 6/13/2025, 5:22:15 PM blog.opencybernetics.io ↗

Comments (0)

No comments yet