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

154 points by tanelpoder 3h ago 39 comments

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

29 points by sinisterMage 53m ago 8 comments

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

68 points by birriel 3h ago 33 comments

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

27 points by xn 2h ago 15 comments

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

48 points by makeboss 2h ago 21 comments

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

319 points by blobcode 11h ago 55 comments

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

7 points by bookofjoe 3d ago 0 comments

Atomics and Concurrency (redixhumayun.github.io)

76 points by LAC-Tech 2d ago 10 comments

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

66 points by zeristor 6h ago 5 comments

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

47 points by phewlink 6h ago 10 comments

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

14 points by MarcoDewey 2d ago 0 comments

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

47 points by pella 5h ago 7 comments

Investigating AI Manipulation in Viral Chinese Paraglider Video (blog.hyperknot.com)

12 points by hyperknot 38m ago 6 comments

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

202 points by teleforce 14h ago 60 comments

FLUX.1 Kontext (bfl.ai)

448 points by minimaxir 22h ago 104 comments

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

34 points by swatson741 1d ago 8 comments

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

99 points by VladVladikoff 4h ago 66 comments

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

126 points by ath92 11h ago 51 comments

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

120 points by leeny 1d ago 54 comments

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

101 points by muthuishere 11h ago 27 comments

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

123 points by todsacerdoti 13h ago 142 comments

The Nobel Prize Winner Who Thinks We Have the Universe All Wrong (theatlantic.com)

9 points by samizdis 46m ago 0 comments

OpenBao Namespaces (openbao.org)

67 points by gslin 12h ago 23 comments

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

20 points by Tomte 3h ago 3 comments

Smallest Possible Files (github.com)

67 points by yread 3d ago 33 comments

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

388 points by petr25102018 1d ago 103 comments

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

41 points by PaulHoule 2d ago 6 comments

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

28 points by surprisetalk 2d ago 5 comments

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

105 points by jordigh 2h ago 44 comments

Take9 Won't Improve Cybersecurity (schneier.com)

27 points by MattSayar 3h ago 7 comments

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

64 points by andrewzeno 11h ago 28 comments

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

157 points by mooreds 2d ago 109 comments

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

55 points by brudgers 12h ago 40 comments

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

137 points by muragekibicho 3d ago 82 comments

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

25 points by msephton 3d ago 10 comments

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

121 points by vinnyglennon 3d ago 84 comments

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

555 points by longwave 23h ago 654 comments

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

247 points by nswizzle31 15h ago 510 comments

Learning C3 (alloc.dev)

241 points by lerno 1d ago 136 comments

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

668 points by adam_gyroscope 1d ago 126 comments

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

162 points by pamelafox 1d ago 38 comments

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

1 points by dangtony98 22h ago 0 comments

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

49 points by axadrn 11h ago 27 comments

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

71 points by ibobev 2d ago 12 comments

Open-sourcing circuit tracing tools (anthropic.com)

141 points by jlaneve 22h ago 20 comments

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

45 points by surprisetalk 10h ago 8 comments

Notes on Tunisia (mattlakeman.org)

93 points by returningfory2 18h ago 53 comments

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

112 points by protonbob 1d ago 67 comments

Putting Rigid Bodies to Rest (twitter.com)

119 points by pvg 1d ago 10 comments

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

123 points by viveknathani_ 1d ago 26 comments

New Lens on RAG Systems

1 omarsar 0 5/28/2025, 2:42:39 PM arxiv.org ↗

Comments (0)

No comments yet