Homotopies in multiway (nondeterministic) rewriting systems as n-fold categories (arxiv.org)
6 points by pizza 9 hours ago | 0 comments
121Ask HN: What product should the new Commodore release?
3 points by amichail 9 hours ago | 5 comments
122DiffuCoder-7B-CpGRPO: A code generation LLM developed by Apple (huggingface.co)
13 points by maxloh 9 hours ago | 0 comments
123Show HN: Tinykv – Minimal file-backed key-value store for Rust (crates.io)
18 points by hasanyildiz 9 hours ago | 2 comments
124The Knot Atlas (katlas.org)
4 points by gone35 9 hours ago | 0 comments
125Ask HN: Worth leaving position over push to adopt vibe coding?
46 points by NotAnOtter 9 hours ago | 60 comments
126Why is grid-wide battery storage capacity measured in power instead of energy? (physics.stackexchange.com)
3 points by azeemba 9 hours ago | 0 comments
127'Elon has woken up': Musk battles to save Tesla from Trump (ft.com)
13 points by bookofjoe 9 hours ago | 20 comments
128Btrfs read-write on FreeBSD: It is possible and works well (2024) (treefort.piusbird.space)
6 points by networked 9 hours ago | 0 comments
129Show HN: Go-nagini fluent wrapper for Cobra (github.com)
3 points by grubinator 9 hours ago | 0 comments
130Nvidia is full of shit (blog.sebin-nyshkim.net)
579 points by todsacerdoti 9 hours ago | 301 comments
131Original Text of North Korea's Act on Rejecting Reactionary Ideology and Culture (nktimes.kr)
3 points by austinallegro 9 hours ago | 0 comments
132Show HN: Code Cause – Online community building solutions for the greater good (codecause.dev)
2 points by Brysonbw 9 hours ago | 0 comments
133Show HN: I Turned PG's "How to Get Startup Ideas" into an Interactive Course (mythosgym.com)
3 points by hedayet 9 hours ago | 0 comments
134Why Juggle 3 Platforms for Your Event? Meet Demfati
1 points by demfati 9 hours ago | 0 comments
135I Left Quantum Computing Research [video] (youtube.com)
2 points by doener 10 hours ago | 0 comments
136The messy reality of SIMD (vector) functions (johnnysswlab.com)
2 points by ingve 10 hours ago | 0 comments
137Tesla's Cybertruck flop is historic. The brand collapse is even worse (dailykos.com)
61 points by 01-_- 10 hours ago | 40 comments
138AmigaLive: Front-end for FS-UAE emulator (amigalive.com)
2 points by doener 10 hours ago | 0 comments
139The new digital banking startup from Anduril CEO Palmer Luckey, and its value (businessinsider.com)
2 points by 01-_- 10 hours ago | 0 comments
140Prompting LLMs is not engineering (dmitriid.com)
86 points by Bluestein 10 hours ago | 70 comments
141The Tech Layoff Tracker (trueup.io)
3 points by skadamat 10 hours ago | 0 comments
142Unmute: Speak with a text LLM in real time (github.com)
2 points by cranium 10 hours ago | 1 comment
143Built: A tool to score kids' movies scene-by-scene using subtitles and LLMs (tinyviewers.vercel.app)
4 points by kpolevoy 10 hours ago | 3 comments
144Aardvark'd: 12 Weeks With Geeks [video] (youtube.com)
2 points by jstanley 10 hours ago | 0 comments
145Ex-Tesla and Google Engineers Raise $4M for AI-Text Detection Startup Pangram (reuters.com)
5 points by liquid99 10 hours ago | 0 comments
146Memstop: Use LD_PRELOAD to delay process execution when low on memory (github.com)
3 points by ingve 10 hours ago | 6 comments
147Invent provides an easy way to explore and use different AI assistants together (agnamihira.medium.com)
2 points by agnamihira 10 hours ago | 0 comments
148The Agentic Software Engineer (dolthub.com)
3 points by ghuntley 10 hours ago | 0 comments
149300k-year-old wooden tools from southwest China (science.org)
3 points by geox 10 hours ago | 0 comments
150