I have reimplemented Stable Diffusion 3.5 from scratch in pure PyTorch (github.com)

160 points by yousef_g 3h ago 21 comments

Inside the Apollo "8-Ball" FDAI (Flight Director / Attitude Indicator) (righto.com)

45 points by zdw 2h ago 13 comments

Unsupervised Elicitation of Language Models (arxiv.org)

86 points by kordlessagain 5h ago 6 comments

Solar Orbiter gets world-first views of the Sun's poles (esa.int)

70 points by sohkamyung 2d ago 6 comments

Peano arithmetic is enough, because Peano arithmetic encodes computation (math.stackexchange.com)

175 points by btilly 1d ago 68 comments

Last fifty years of integer linear programming: Recent practical advances (inria.hal.science)

124 points by teleforce 11h ago 23 comments

The Many Sides of Erik Satie (thereader.mitpress.mit.edu)

94 points by anarbadalov 6d ago 20 comments

SSHTron: A multiplayer lightcycle game that runs through SSH (github.com)

23 points by thunderbong 1h ago 3 comments

SIMD-friendly algorithms for substring searching (2018) (0x80.pl)

161 points by Rendello 14h ago 28 comments

Endometriosis is an interesting disease (owlposting.com)

266 points by crescit_eundo 19h ago 160 comments

Slowing the flow of core-dump-related CVEs (lwn.net)

62 points by jwilk 3d ago 10 comments

"Language and Image Minus Cognition." Leif Weatherby on LLMs (jhiblog.org)

13 points by Traces 3d ago 2 comments

Solidroad (YC W25) Is Hiring (solidroad.com)

1 points by pjfin 5h ago 0 comments

Writing a Truth Oracle in Lisp (lambda-cove.net)

22 points by io12 2d ago 2 comments

Me an' Algernon – grappling with (temporary) cognitive decline (tidyfirst.substack.com)

73 points by KentBeck 4d ago 41 comments

Texting myself the weather every day (bensilverman.co.uk)

21 points by benslv 3d ago 31 comments

TimeGuessr (timeguessr.com)

184 points by stefanpie 4d ago 39 comments

Liquid Glass – WWDC25 [video] (developer.apple.com)

132 points by lnrd 4d ago 238 comments

Filedb: Disk-based key-value store inspired by Bitcask (github.com)

98 points by todsacerdoti 15h ago 9 comments

Peeling the Covers Off Germany's Exascale "Jupiter" Supercomputer (nextplatform.com)

4 points by rbanffy 2d ago 1 comments

Self-Adapting Language Models (arxiv.org)

187 points by archon1410 22h ago 50 comments

Implementing Logic Programming (btmc.substack.com)

166 points by sirwhinesalot 20h ago 52 comments

The Army’s Newest Recruits: Tech Execs From Meta, OpenAI and More (wsj.com)

164 points by aspenmayer 1d ago 156 comments

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

131 points by zafka 3d ago 108 comments

Mollusk shell assemblages as a tool for identifying unaltered seagrass beds (int-res.com)

11 points by PaulHoule 2d ago 0 comments

The international standard for identifying postal items (akpain.net)

84 points by surprisetalk 2d ago 18 comments

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

820 points by sdoering 1d ago 246 comments

Model Once, Represent Everywhere: UDA (Unified Data Architecture) at Netflix (netflixtechblog.com)

109 points by Bogdanp 6h ago 80 comments

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

66 points by zdw 3d ago 8 comments

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

623 points by AndrewDucker 23h ago 480 comments

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

1186 points by ingve 1d ago 492 comments

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

300 points by lightningcable 22h ago 308 comments

Protecting your code from other people's bugs (doi.org)

19 points by MiguelX413 3d ago 4 comments

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

114 points by Bogdanp 1d ago 120 comments

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

106 points by todsacerdoti 1d ago 9 comments

Jemalloc Postmortem (jasone.github.io)

751 points by jasone 1d ago 222 comments

Strace Tips for Better Debugging (rrampage.github.io)

11 points by signa11 10h ago 0 comments

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

109 points by munificent 1d ago 76 comments

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

187 points by tombh 1d ago 63 comments

What Is Open Source? (werd.io)

6 points by benwerd 2h ago 6 comments

GPU-accelerated Llama3.java inference in pure Java using TornadoVM (github.com)

25 points by pjmlp 20h ago 0 comments

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

91 points by surprisetalk 1d ago 20 comments

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

295 points by lairv 1d ago 107 comments

$100 Hamburger (en.wikipedia.org)

114 points by TMWNN 14h ago 44 comments

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

44 points by PaulHoule 3d ago 3 comments

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

364 points by jupiterglimpse 1d ago 187 comments

How I program with agents (crawshaw.io)

550 points by bumbledraven 5d ago 289 comments

Cray versus Raspberry Pi (aardvark.co.nz)

49 points by flyingkiwi44 3d ago 50 comments

Green Tea Garbage Collector (github.com)

91 points by cirwin 13h ago 5 comments

Shaping Light – Volumetric Lighting (blog.maximeheckel.com)

23 points by bj-rn 4d ago 1 comments

Formo – data platform for onchain apps

1 leventhan 0 6/13/2025, 8:47:23 AM formo.so ↗

Comments (0)

No comments yet