Datalog in Rust (github.com)

66 points by brson 2h ago 6 comments

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

13 points by kuberwastaken 1h ago 3 comments

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

5 points by LorenDB 46m ago 0 comments

Ruby on Rails Audit Complete (ostif.org)

75 points by todsacerdoti 3d ago 13 comments

The Art of Lisp and Writing (dreamsongs.com)

81 points by Bogdanp 6h ago 23 comments

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

26 points by tentacleuno 2h ago 8 comments

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

162 points by jxmorris12 12h ago 24 comments

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

70 points by ankit01-oss 4d ago 21 comments

Infinite Grid of Resistors (mathpages.com)

177 points by niklasbuschmann 15h ago 82 comments

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

425 points by yousef_g 23h ago 71 comments

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

15 points by dvrp 3d ago 0 comments

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

12 points by altilunium 4h ago 0 comments

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

10 points by BraverHeart 5h ago 0 comments

Breaking My Security Assignments (akpain.net)

62 points by surprisetalk 2d ago 12 comments

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

396 points by achristmascarl 2d ago 687 comments

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

47 points by ingve 1d ago 6 comments

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

32 points by gone35 7h ago 3 comments

The Talented Ms. Highsmith (yalereview.org)

5 points by Caiero 1d ago 0 comments

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

97 points by rbanffy 16h ago 49 comments

Chicken Eyeglasses (en.wikipedia.org)

122 points by thomassmith65 4d ago 38 comments

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

242 points by sohkamyung 3d ago 28 comments

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

152 points by zdw 21h ago 30 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)

27 points by nill0 1d ago 3 comments

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

202 points by teleforce 1d ago 64 comments

Debunking HDR [video] (yedlin.net)

108 points by plastic3169 3d ago 53 comments

Cray versus Raspberry Pi (aardvark.co.nz)

125 points by flyingkiwi44 4d ago 86 comments

Dance Captcha (dance-captcha.vercel.app)

63 points by edwinarbus 2d ago 20 comments

Endometriosis is an interesting disease (owlposting.com)

370 points by crescit_eundo 1d ago 246 comments

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

40 points by tibbar 13h ago 33 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)

154 points by anarbadalov 6d ago 36 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

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 105 comments

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

301 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

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

41 points by thunderbong 6h ago 23 comments

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

184 points by zafka 4d ago 139 comments

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

94 points by insistent 15h ago 34 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)

75 points by troelsSteegin 2d ago 64 comments

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

1 points by pjfin 1d ago 0 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

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

125 points by todsacerdoti 1d ago 14 comments

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

115 points by surprisetalk 2d ago 25 comments

StarMalloc: Verifying a Modern, Hardened Memory Allocator

2 thunderbong 0 6/14/2025, 3:28:03 PM dl.acm.org ↗

Comments (0)

No comments yet