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

132 points by tanelpoder 2h ago 35 comments

Show HN: W++ – A Python-style scripting language for .NET with NuGet support (github.com)

16 points by sinisterMage 30m ago 2 comments

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

27 points by xn 2h ago 13 comments

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

53 points by birriel 3h ago 21 comments

Microsandbox: Virtual Machines that feel and perform like containers (github.com)

36 points by makeboss 2h ago 15 comments

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

314 points by blobcode 11h ago 52 comments

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

64 points by zeristor 6h ago 5 comments

Atomics and Concurrency (redixhumayun.github.io)

70 points by LAC-Tech 2d ago 10 comments

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

44 points by phewlink 6h ago 9 comments

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

13 points by MarcoDewey 2d ago 0 comments

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

45 points by pella 4h ago 7 comments

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

108 points by leeny 1d ago 37 comments

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

664 points by adam_gyroscope 23h ago 125 comments

Sieving pores: stable,fast alloying chemistry of Si -electrodes in Li-ion batt (nature.com)

4 points by bookofjoe 3d ago 0 comments

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

197 points by teleforce 13h ago 59 comments

FLUX.1 Kontext (bfl.ai)

440 points by minimaxir 21h ago 104 comments

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

120 points by ath92 11h ago 48 comments

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

27 points by surprisetalk 2d ago 6 comments

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

99 points by muthuishere 11h ago 26 comments

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

85 points by VladVladikoff 4h ago 57 comments

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

115 points by todsacerdoti 13h ago 124 comments

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

97 points by jordigh 1h ago 38 comments

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

20 points by Tomte 2h ago 2 comments

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

28 points by swatson741 1d ago 7 comments

OpenBao Namespaces (openbao.org)

65 points by gslin 12h ago 23 comments

Smallest Possible Files (github.com)

65 points by yread 3d ago 32 comments

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

386 points by petr25102018 1d ago 103 comments

Take9 Won't Improve Cybersecurity (schneier.com)

25 points by MattSayar 3h ago 6 comments

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

38 points by PaulHoule 2d ago 6 comments

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

60 points by andrewzeno 11h ago 28 comments

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

157 points by mooreds 2d ago 108 comments

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

24 points by msephton 3d ago 10 comments

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

136 points by muragekibicho 3d ago 82 comments

The 'white-collar bloodbath' is all part of the AI hype machine (cnn.com)

82 points by lwo32k 1h ago 98 comments

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

121 points by vinnyglennon 3d ago 83 comments

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

244 points by nswizzle31 15h ago 497 comments

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

550 points by longwave 22h ago 646 comments

Learning C3 (alloc.dev)

241 points by lerno 1d ago 136 comments

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

55 points by brudgers 12h ago 39 comments

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

49 points by axadrn 11h ago 27 comments

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

1 points by dangtony98 22h ago 0 comments

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

162 points by pamelafox 1d ago 38 comments

Notes on Tunisia (mattlakeman.org)

93 points by returningfory2 18h ago 52 comments

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

43 points by surprisetalk 10h ago 8 comments

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

71 points by ibobev 2d ago 12 comments

Open-sourcing circuit tracing tools (anthropic.com)

138 points by jlaneve 22h ago 20 comments

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

111 points by protonbob 23h ago 66 comments

Putting Rigid Bodies to Rest (twitter.com)

119 points by pvg 23h ago 10 comments

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

121 points by viveknathani_ 1d ago 25 comments

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

42 points by surprisetalk 2d ago 42 comments

Made a Little Bitsy Game

2 furkansahin 0 5/28/2025, 9:54:34 PM martymcgui.re ↗

Comments (0)

No comments yet