Datalog in Rust (github.com)

72 points by brson 2h ago 7 comments

How to modify Starlink Mini to run without the built-in WiFi router (olegkutkov.me)

18 points by LorenDB 1h ago 3 comments

Show HN: Meow – An Image File Format I made because PNGs and JPEGs suck for AI (github.com)

20 points by kuberwastaken 1h ago 7 comments

Ruby on Rails Audit Complete (ostif.org)

81 points by todsacerdoti 3d ago 21 comments

The Art of Lisp and Writing (dreamsongs.com)

87 points by Bogdanp 6h ago 24 comments

An origin trial for a new HTML <permission> element (developer.chrome.com)

28 points by tentacleuno 2h ago 14 comments

Q-learning is not yet scalable (seohong.me)

164 points by jxmorris12 12h ago 25 comments

1k year old 3 sisters crop farm found in Northern Michigan (smithsonianmag.com)

8 points by CoopaTroopa 3d ago 0 comments

Infinite Grid of Resistors (mathpages.com)

179 points by niklasbuschmann 15h ago 87 comments

CI/CD Observability with OpenTelemetry Step by Step Guide (signoz.io)

71 points by ankit01-oss 4d ago 22 comments

Tiny-diffusion: A minimal implementation of probabilistic diffusion models (github.com)

14 points by BraverHeart 5h ago 0 comments

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

427 points by yousef_g 23h ago 71 comments

Notes on the History of the Map Tile (placing.technology)

13 points by altilunium 4h ago 0 comments

Text-to-LoRA: Hypernetwork that generates task-specific LLM adapters (LoRAs) (github.com)

18 points by dvrp 3d ago 0 comments

Breaking My Security Assignments (akpain.net)

63 points by surprisetalk 2d ago 12 comments

Waymo rides cost more than Uber or Lyft and people are paying anyway (techcrunch.com)

398 points by achristmascarl 2d ago 693 comments

Meta-analysis of three different notions of software complexity (typesanitizer.com)

48 points by ingve 1d ago 6 comments

The Algebra of an Infinite Grid of Resistors (mathpages.com)

33 points by gone35 7h ago 5 comments

AMD's AI Future Is Rack Scale 'Helios' (morethanmoore.substack.com)

97 points by rbanffy 16h ago 50 comments

The Talented Ms. Highsmith (yalereview.org)

6 points by Caiero 1d ago 0 comments

Chicken Eyeglasses (en.wikipedia.org)

123 points by thomassmith65 4d ago 38 comments

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

243 points by sohkamyung 3d ago 28 comments

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

152 points by zdw 22h ago 31 comments

Bioprospectors mine microbial genomes for antibiotic gold (cen.acs.org)

19 points by bryanrasmussen 4d ago 2 comments

How multiplication is defined in Peano arithmetic (devlinsangle.blogspot.com)

28 points by nill0 1d ago 3 comments

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

203 points by teleforce 1d ago 65 comments

Debunking HDR [video] (yedlin.net)

110 points by plastic3169 3d ago 53 comments

Cray versus Raspberry Pi (aardvark.co.nz)

127 points by flyingkiwi44 4d ago 87 comments

Have a damaged painting? Restore it in just hours with an AI-generated “mask” (news.mit.edu)

71 points by WithinReason 2d ago 47 comments

Endometriosis is an interesting disease (owlposting.com)

371 points by crescit_eundo 1d ago 249 comments

Dance Captcha (dance-captcha.vercel.app)

65 points by edwinarbus 2d ago 20 comments

Fixing the mechanics of my bullet chess (jacobbrazeal.wordpress.com)

40 points by tibbar 14h ago 34 comments

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

215 points by Rendello 1d ago 33 comments

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

156 points by anarbadalov 7d ago 36 comments

TimeGuessr (timeguessr.com)

304 points by stefanpie 5d ago 60 comments

Unsupervised Elicitation of Language Models (arxiv.org)

128 points by kordlessagain 1d ago 18 comments

How to Build Conscious Machines (osf.io)

90 points by hardmaru 1d ago 106 comments

"Make in India" Relies on "Made in China" (hinrichfoundation.com)

11 points by Ozarkian 3h ago 0 comments

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

1 points by pjfin 1d ago 0 comments

Seven replies to the viral Apple reasoning paper and why they fall short (garymarcus.substack.com)

302 points by spwestwood 17h ago 228 comments

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

84 points by jwilk 4d ago 16 comments

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

184 points by zafka 4d ago 140 comments

Clinical knowledge in LLMs does not translate to human interactions (arxiv.org)

94 points by insistent 15h ago 34 comments

Root Cause of the June 12, 2025 Google Cloud Outage (twitter.com)

42 points by thunderbong 7h ago 23 comments

Self-Adapting Language Models (arxiv.org)

225 points by archon1410 1d ago 71 comments

We investigated Amsterdam's attempt to build a 'fair' fraud detection model (lighthousereports.com)

76 points by troelsSteegin 2d ago 64 comments

Implementing Logic Programming (btmc.substack.com)

195 points by sirwhinesalot 1d ago 62 comments

How the Final Cartridge III Freezer Works (pagetable.com)

71 points by ingve 20h ago 16 comments

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

874 points by sdoering 2d ago 253 comments

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

228 points by btilly 1d ago 122 comments

Getting Explicit Instruction Right

2 ludicrousdispla 0 6/14/2025, 1:57:11 PM arxiv.org ↗

Comments (0)

No comments yet