Precision Clock Mk IV (mitxela.com)

150 points by ahlCVA 2h ago 31 comments

A Lean companion to Analysis I (terrytao.wordpress.com)

36 points by jeremyscanvic 52m ago 2 comments

Show HN: PunchCard Key Backup (github.com)

23 points by ciprian_craciun 1h ago 9 comments

Oxfordshire clock still keeping village on time after 500 years (bbc.com)

24 points by 1659447091 2d ago 3 comments

Show HN: AI Peer Reviewer – Multiagent System for Scientific Manuscript Analysis (github.com)

63 points by rjakob 3h ago 42 comments

AtomVM, the Erlang virtual machine for IoT devices (atomvm.net)

104 points by ahamez 3d ago 33 comments

Photos taken inside musical instruments (dpreview.com)

853 points by worik 21h ago 43 comments

Designing Pareto-optimal RAG workflows with syftr (datarobot.com)

20 points by roma_glushko 3d ago 5 comments

Beware of Fast-Math (simonbyrne.github.io)

236 points by blobcode 10h ago 153 comments

Show HN: Fontofweb – Discover Fonts Used on a Website or Websites Using Font(s) (fontofweb.com)

22 points by sim04ful 3h ago 12 comments

The Two Ideals of Fields (susam.net)

26 points by susam 3h ago 12 comments

Acclimation of Osmoregulatory Function in Salmon (unm.edu)

13 points by mooreds 3h ago 3 comments

Using lots of little tools to aggressively reject the bots (lambdacreate.com)

89 points by archargelod 9h ago 45 comments

I Switched to UTC and Never Looked Back (timestripe.com)

11 points by adamci 4h ago 0 comments

Gradients Are the New Intervals (mattkeeter.com)

102 points by surprisetalk 11h ago 30 comments

Webb telescope helps refines Hubble constant, suggesting resolution rate debate (phys.org)

65 points by pseudolus 3d ago 29 comments

Atlas: Learning to Optimally Memorize the Context at Test Time (arxiv.org)

7 points by og_kalu 3h ago 0 comments

Pure vs. Impure Iterators in Go (jub0bs.com)

28 points by ingve 2d ago 8 comments

Using Ed(1) as My Static Site Generator (aartaka.me)

21 points by BoingBoomTschak 3h ago 7 comments

Show HN: I built an AI agent that turns ROS 2's turtlesim into a digital artist (github.com)

19 points by ponta17 7h ago 5 comments

Surprisingly fast AI-generated kernels we didn't mean to publish yet (crfm.stanford.edu)

342 points by mfiguiere 21h ago 135 comments

The Trackers and SDKs in ChatGPT, Claude, Grok and Perplexity (jamesoclaire.com)

48 points by ddxv 9h ago 1 comments

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

535 points by lwo32k 1d ago 947 comments

The Illusion of Causality in Charts (filwd.substack.com)

25 points by skadamat 2d ago 12 comments

Beating Google's kernelCTF PoW using AVX512 (anemato.de)

309 points by anematode 1d ago 91 comments

AccessOwl (YC S22) is hiring an AI TypeScript Engineer to connect 100s of SaaS (ycombinator.com)

1 points by mathiasn 10h ago 0 comments

C++ to Rust Phrasebook (cel.cs.brown.edu)

153 points by wcrichton 19h ago 49 comments

Simpler Backoff (commaok.xyz)

108 points by todsacerdoti 13h ago 40 comments

Revenge of the Chickenized Reverse-Centaurs (pluralistic.net)

148 points by GreenWatermelon 3d ago 76 comments

Show HN: Icepi Zero – The FPGA Raspberry Pi Zero Equivalent (github.com)

209 points by Cyao 3d ago 50 comments

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

343 points by makeboss 1d ago 166 comments

Reverse engineering of Linear's sync engine (github.com)

137 points by flashblaze 2d ago 26 comments

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

348 points by tanelpoder 1d ago 127 comments

The Rise of the Japanese Toilet (nytimes.com)

13 points by Kaibeezy 2h ago 23 comments

Java Virtual Threads Ate My Memory: A Web Crawler's Tale of Speed vs. Memory (dariobalinzo.medium.com)

93 points by dariobalinzo 2d ago 38 comments

Randomness Requirements for Security (2005) (datatracker.ietf.org)

25 points by mooreds 2d ago 3 comments

Ask HN: Anyone making a living from a paid API?

83 points by meander_water 3h ago 48 comments

Cap: Lightweight, modern open-source CAPTCHA alternative using proof-of-work (capjs.js.org)

151 points by tiagorangel 1d ago 113 comments

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

219 points by birriel 1d ago 190 comments

Show HN: MCP Defender – OSS AI Firewall for Protecting MCP in Cursor/Claude etc (mcpdefender.com)

53 points by gsundeep 2d ago 36 comments

Every 5x5 Nonogram (pixelogic.app)

101 points by eieio 17h ago 41 comments

Grammar Index, Syntax Highlighting on GitHub (github.com)

6 points by brianzelip 2d ago 0 comments

Ray Tracing in J (idle.nprescott.com)

80 points by todsacerdoti 3d ago 10 comments

Valkey Turns One: Community fork of Redis (gomomento.com)

233 points by cebert 19h ago 101 comments

'just put it in ChatGPT': the workers who lost their jobs to AI (theguardian.com)

7 points by fallinditch 1h ago 2 comments

Copy Excel to Markdown Table (and vice versa) (thisdavej.com)

98 points by thisdavej 1d ago 14 comments

Silicon Valley finally has a big electronics retailer again: Micro Center opens (microcenter.com)

268 points by modeless 19h ago 138 comments

Implementing a Forth (ratfactor.com)

9 points by todsacerdoti 10h ago 0 comments

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

128 points by zeristor 1d ago 8 comments

Adam Riess and the Hubble tension (theatlantic.com)

88 points by samizdis 1d ago 70 comments

DeepSeek-R1-0528 performance improvements

14 pama 3 5/29/2025, 1:23:59 PM huggingface.co ↗

Comments (3)

jbellis · 2d ago

Adding support for tool calling is expected, and welcome. The old R1 felt smart enough to drive Brokk's Architect and Search agents, but they won't work without tool calling; I'll try out the new one.

wdb · 2d ago

it does not support it yet? Yeah, definitely would be great if it supports tool calling!

pama · 2d ago

https://x.com/deepseek_ai/status/1928061589107900779?s=46