Implementing Logic Programming (btmc.substack.com)

78 points by sirwhinesalot 5h ago 17 comments

AI Isn't Magic, It's Maths (zerofluff.substack.com)

10 points by squircle 2d ago 2 comments

Self-Adapting Language Models (arxiv.org)

103 points by archon1410 7h ago 33 comments

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

26 points by surprisetalk 1d ago 0 comments

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

263 points by lairv 12h ago 77 comments

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

15 points by fork-bomber 3d ago 1 comments

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

465 points by AndrewDucker 8h ago 409 comments

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

25 points by zdw 2d ago 5 comments

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

404 points by RyanShook 13h ago 419 comments

Endometriosis is an incredibly interesting disease (owlposting.com)

15 points by crescit_eundo 4h ago 0 comments

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

65 points by surprisetalk 9h ago 6 comments

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

79 points by todsacerdoti 11h ago 5 comments

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

97 points by Bogdanp 11h ago 96 comments

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

76 points by munificent 9h ago 54 comments

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

695 points by sdoering 18h ago 212 comments

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

153 points by tombh 12h ago 43 comments

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

172 points by lightningcable 6h ago 194 comments

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

67 points by zafka 3d ago 49 comments

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

36 points by PaulHoule 3d ago 1 comments

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

16 points by bookofjoe 4h ago 1 comments

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

88 points by delifue 6d ago 43 comments

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

66 points by walterbell 4h ago 35 comments

MUMPS (en.wikipedia.org)

75 points by surprisetalk 5h ago 64 comments

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

16 points by matt_d 3d ago 1 comments

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

307 points by jupiterglimpse 13h ago 169 comments

Jemalloc Postmortem (jasone.github.io)

710 points by jasone 1d ago 214 comments

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

1139 points by ingve 1d ago 480 comments

Simulink (Matlab) Copilot (github.com)

31 points by kaamuli 7h ago 6 comments

Thiings (thiings.co)

161 points by pentagrama 3d ago 72 comments

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

1 points by asontha 14h ago 0 comments

Geometry from Quantum Temporal Correlations (arxiv.org)

48 points by ljosifov 13h ago 21 comments

Luxe Game Engine (luxeengine.com)

146 points by garrypettet 11h ago 51 comments

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

225 points by todsacerdoti 1d ago 116 comments

Subtype Inference by Example (blog.polybdenum.com)

18 points by azhenley 4d ago 5 comments

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

17 points by louthy 3h ago 1 comments

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

296 points by piker 1d ago 164 comments

Coming to Apple OSes: A seamless, secure way to import and export passkeys (arstechnica.com)

6 points by miles 2h ago 0 comments

Ask HN: Genuine alternatives to Google and Apple for releasing paid apps

9 points by asjdflakjsdf 2h ago 6 comments

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

56 points by geox 8h ago 20 comments

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

95 points by mrholme 21h ago 35 comments

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

61 points by techwolf12 12h ago 36 comments

How I program with agents (crawshaw.io)

530 points by bumbledraven 4d ago 288 comments

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

10 points by miles 4h ago 1 comments

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

14 points by Kye 4h ago 0 comments

A receipt printer cured my procrastination (laurieherault.com)

1137 points by laurieherault 1d ago 569 comments

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

136 points by londons_explore 1d ago 129 comments

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

33 points by ingve 8h ago 42 comments

Rendering Crispy Text on the GPU (osor.io)

393 points by ibobev 1d ago 124 comments

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

73 points by buibuibui 14h ago 33 comments

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

65 points by tiwarinitish86 21h ago 23 comments

You LLM-loving motherfuckers can pry the em dash from my cold dead hands

7 rednafi 0 6/13/2025, 10:08:41 PM moonbase.lgbt ↗

Comments (0)

No comments yet