Systems Correctness Practices at Amazon Web Services (cacm.acm.org)

72 points by tanelpoder 1h ago 15 comments

Show HN: Git-Add–Interactive with Enhancements (github.com)

10 points by xn 1h ago 2 comments

The radix 2^51 trick (2017) (chosenplaintext.ca)

294 points by blobcode 10h ago 48 comments

Everything We Learned About Lockheed's "QuadStar" Stinger Missile Replacement (twz.com)

22 points by jandrewrogers 1d ago 10 comments

Radio Astronomy Software Defined Radio (Rasdr) (radio-astronomy.org)

48 points by zeristor 4h ago 5 comments

MinIO Removes Web UI Features from Community Version, Pushes Users to Paid Plans (biggo.com)

22 points by jordigh 35m ago 5 comments

Atomics and Concurrency (redixhumayun.github.io)

57 points by LAC-Tech 2d ago 7 comments

Tokenization for language modeling: BPE vs. Unigram Language Modeling (2020) (ndingwall.github.io)

37 points by phewlink 5h ago 6 comments

Bridged Indexes in OrioleDB: architecture, internals and everyday use? (orioledb.com)

41 points by pella 3h ago 7 comments

Show HN: Every problem and solution in Beyond Cracking the Coding Interview

67 points by leeny 1d ago 19 comments

WeatherStar 4000+: Weather Channel Simulator (weatherstar.netbymatt.com)

655 points by adam_gyroscope 22h ago 122 comments

Why do we get earworms? (theneuroscienceofeverydaylife.substack.com)

26 points by lentoutcry 5h ago 35 comments

Practical SDR: Getting started with software-defined radio (nostarch.com)

184 points by teleforce 12h ago 55 comments

Triangle splatting: radiance fields represented by triangles (trianglesplatting.github.io)

115 points by ath92 10h ago 46 comments

FLUX.1 Kontext (bfl.ai)

426 points by minimaxir 20h ago 103 comments

U.S. sanctions cloud provider 'Funnull' as top source of 'pig butchering' scams (krebsonsecurity.com)

96 points by todsacerdoti 12h ago 99 comments

Show HN: MCP Server SDK in Bash (github.com)

90 points by muthuishere 9h ago 24 comments

Ask HN: What is the best LLM for consumer grade hardware?

58 points by VladVladikoff 3h ago 36 comments

Behavioral responses of domestic cats to human odor (journals.plos.org)

12 points by Tomte 1h ago 0 comments

Automated Verification of Monotonic Data Structure Traversals in C (arxiv.org)

3 points by MarcoDewey 2d ago 0 comments

The Darwin Gödel Machine: AI that improves itself by rewriting its own code (sakana.ai)

3 points by birriel 2h ago 1 comments

Printing metal on glass with lasers [video] (youtube.com)

19 points by surprisetalk 2d ago 3 comments

OpenBao Namespaces (openbao.org)

56 points by gslin 10h ago 23 comments

Smallest Possible Files (github.com)

56 points by yread 3d ago 27 comments

Take9 Won't Improve Cybersecurity (schneier.com)

15 points by MattSayar 1h ago 1 comments

Show HN: I wrote a modern Command Line Handbook (commandline.stribny.name)

373 points by petr25102018 23h ago 98 comments

The atmospheric memory that feeds billions of people: Monsoon rainfall mechanism (phys.org)

35 points by PaulHoule 2d ago 6 comments

On eval in dynamic languages generally and in Racket specifically (2011) (blog.racket-lang.org)

20 points by swatson741 1d ago 4 comments

Dr John C. Clark, a scientist who disarmed atomic bombs twice (daxe.substack.com)

117 points by vinnyglennon 3d ago 74 comments

Superauthenticity: Computer Game Aspect Ratios (datadrivengamer.blogspot.com)

24 points by msephton 3d ago 8 comments

Player Piano Rolls (omeka-s.library.illinois.edu)

52 points by brudgers 11h ago 38 comments

Show HN: Donut Browser, a Browser Orchestrator (donutbrowser.com)

56 points by andrewzeno 10h ago 26 comments

Why is everybody knitting chickens? (ironicsans.ghost.io)

154 points by mooreds 2d ago 106 comments

Making C and Python Talk to Each Other (leetarxiv.substack.com)

136 points by muragekibicho 3d ago 82 comments

I'm starting a social club to solve the male loneliness epidemic (wave3.social)

237 points by nswizzle31 14h ago 470 comments

Show HN: templUI – The UI Kit for templ (CLI-based, like shadcn/UI) (templui.io)

49 points by axadrn 10h ago 27 comments

Human coders are still better than LLMs (antirez.com)

546 points by longwave 21h ago 639 comments

Learning C3 (alloc.dev)

241 points by lerno 1d ago 136 comments

Car Physics for Games (2003) (asawicki.info)

71 points by ibobev 2d ago 12 comments

Infisical (YC W23) Is Hiring Full Stack Engineers (TypeScript) in US and Canada (ycombinator.com)

1 points by dangtony98 21h ago 0 comments

A visual exploration of vector embeddings (blog.pamelafox.org)

159 points by pamelafox 1d ago 36 comments

Notes on Tunisia (mattlakeman.org)

89 points by returningfory2 17h ago 51 comments

How to Do Ambitious Research in the Modern Era [video] (youtube.com)

42 points by surprisetalk 9h ago 8 comments

Open-sourcing circuit tracing tools (anthropic.com)

133 points by jlaneve 20h ago 20 comments

Putting Rigid Bodies to Rest (twitter.com)

119 points by pvg 22h ago 10 comments

Turn a Tesla into a mapping vehicle with Mapillary (blog.mapillary.com)

62 points by faebi 1d ago 27 comments

The flip phone web: browsing with the original Opera Mini (spacebar.news)

109 points by protonbob 22h ago 66 comments

I started a little math club in Bangalore (teachyourselfmath.app)

119 points by viveknathani_ 1d ago 24 comments

Flash Back: An “oral” history of Flash (goodinternetmagazine.com)

42 points by surprisetalk 2d ago 41 comments

Invading the Huum Uku WiFi Controller (kaurpalang.com)

29 points by hddherman 3d ago 2 comments

Show HN: I made a free alternative to toby

1 jackiefeng 0 5/28/2025, 2:13:44 PM tabtab.xyz ↗

Comments (0)

No comments yet