Implementing Logic Programming (btmc.substack.com)

62 points by sirwhinesalot 3h ago 15 comments

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

47 points by shmval 3h ago 21 comments

Self-Adapting Language Models (arxiv.org)

89 points by archon1410 6h ago 32 comments

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

663 points by sdoering 16h ago 212 comments

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

253 points by lairv 10h ago 73 comments

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

55 points by zafka 3d ago 32 comments

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

18 points by zdw 2d ago 3 comments

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

440 points by AndrewDucker 7h ago 383 comments

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

8 points by fork-bomber 3d ago 0 comments

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

389 points by RyanShook 12h ago 404 comments

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

60 points by surprisetalk 7h ago 4 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)

148 points by tombh 11h ago 42 comments

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

11 points by surprisetalk 1d ago 0 comments

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

91 points by Bogdanp 10h ago 89 comments

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

151 points by lightningcable 5h ago 168 comments

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

58 points by walterbell 3h ago 31 comments

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

68 points by munificent 8h ago 48 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

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

31 points by PaulHoule 3d ago 1 comments

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

84 points by delifue 6d ago 41 comments

MUMPS (en.wikipedia.org)

65 points by surprisetalk 4h ago 60 comments

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

288 points by jupiterglimpse 11h ago 163 comments

The Claude Bliss Attractor (astralcodexten.com)

63 points by lukeplato 23h ago 56 comments

Simulink (Matlab) Copilot (github.com)

28 points by kaamuli 6h ago 5 comments

Jemalloc Postmortem (jasone.github.io)

702 points by jasone 23h ago 214 comments

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

1135 points by ingve 1d ago 478 comments

Thiings (thiings.co)

149 points by pentagrama 3d ago 67 comments

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

5 points by bookofjoe 3h ago 1 comments

Geometry from Quantum Temporal Correlations (arxiv.org)

44 points by ljosifov 11h ago 20 comments

Luxe Game Engine (luxeengine.com)

143 points by garrypettet 10h ago 49 comments

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

1 points by asontha 13h ago 0 comments

Subtype Inference by Example (blog.polybdenum.com)

18 points by azhenley 4d ago 5 comments

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

224 points by todsacerdoti 1d ago 115 comments

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

12 points by louthy 2h ago 1 comments

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

295 points by piker 1d ago 164 comments

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

56 points by cempaka 2h ago 50 comments

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

10 points by Kye 3h ago 0 comments

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

53 points by geox 6h ago 20 comments

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

60 points by techwolf12 11h ago 36 comments

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

95 points by mrholme 20h ago 33 comments

How I program with agents (crawshaw.io)

528 points by bumbledraven 4d ago 288 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)

1133 points by laurieherault 1d ago 568 comments

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

72 points by buibuibui 13h ago 33 comments

Rendering Crispy Text on the GPU (osor.io)

390 points by ibobev 22h ago 123 comments

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

11 points by PaulHoule 4h ago 4 comments

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

64 points by tiwarinitish86 20h ago 22 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

Show HN: I wrote a BitTorrent Client from scratch (github.com)

185 points by piyushgupta53 20h ago 44 comments

Use-after-free in CAN BCM subsystem leading to information disclosure (CVE-2023

12 todsacerdoti 0 6/12/2025, 6:33:43 PM allelesecurity.com ↗

Comments (0)

No comments yet