Formal Reasoning [pdf] (cs.ru.nl)

145 points by Thom2503 2 days ago | 31 comments

151

NextSilicon reveals new processor chip in challenge to Intel, AMD (reuters.com)

154 points by simojo 6 days ago | 51 comments

152

Clojure Land – Discover open-source Clojure libraries and frameworks (clojure.land)

180 points by TheWiggles 3 days ago | 48 comments

153

Making the Electron Microscope (asimov.press)

92 points by mailyk 2 days ago | 9 comments

154

Gambling Is Killing Sports and Consuming America (nytimes.com)

18 points by ChrisArchitect 4 hours ago | 2 comments

155

Was the UFO explosion in the 50s a wave of extraterrestrial surveillance? (scientificamerican.com)

8 points by Marshferm 7 hours ago | 15 comments

156

Microsoft needs to open up more about its OpenAI dealings (wsj.com)

265 points by zerosizedweasle a day ago | 178 comments

157

Node.js 24 is LTS now (nodejs.org)

32 points by philippz 16 hours ago | 0 comments

158

Living Dangerously with Claude (simonwillison.net)

249 points by FromTheArchives 6 days ago | 108 comments

159

Brazil Is Learning Achieving Tech Sovereignty Is Easier Said Than Done (techpolicy.press)

8 points by rbanffy 8 hours ago | 1 comment

160

Ken Thompson recalls Unix's rowdy, lock-picking origins (thenewstack.io)

256 points by dxs 2 days ago | 67 comments

161

Potent New Antibiotic Against Resistant Bacteria (genengnews.com)

3 points by henriquenunez 5 hours ago | 1 comment

162

Poison, Poison Everywhere (loeber.substack.com)

318 points by dividendpayee 2 days ago | 206 comments

163

A bug that taught me more about PyTorch than years of using it (elanapearl.github.io)

454 points by bblcla 5 days ago | 80 comments

164

A worker fell into a nuclear reactor pool (nrc.gov)

680 points by nvahalik 3 days ago | 498 comments

165

Mistakes I see engineers making in their code reviews (seangoedecke.com)

159 points by zdw 4 days ago | 171 comments

166

Precise and scalable analogue matrix equation solving using RRAM chips [pdf] (nature.com)

16 points by iamkneel 3 days ago | 0 comments

167

Are You Ready? (jeffreylminch.substack.com)

7 points by rmason 18 hours ago | 3 comments

168

Are open-table-formats and lakehouses the future of observability? (clickhouse.com)

15 points by dkgs a day ago | 1 comment

169

The Light of “The Brothers Karamazov” (newyorker.com)

26 points by lermontov 5 days ago | 21 comments

170

Why your social.org files can have millions of lines without performance issues (en.andros.dev)

93 points by andros 4 days ago | 8 comments

171

Key IOCs for Pegasus and Predator Spyware Removed with iOS 26 Update (iverify.io)

242 points by transpute 4 days ago | 185 comments

172

GenAI Image Editing Showdown (genai-showdown.specr.net)

196 points by rzk 3 days ago | 50 comments

173

The Linux Boot Process: From Power Button to Kernel (0xkato.xyz)

468 points by 0xkato 3 days ago | 88 comments

174

OpenBSD C/C++ Toolchain in the Browser (openbsd.llvm.moe)

33 points by todsacerdoti 4 days ago | 13 comments

175

Feed the bots (maurycyz.com)

299 points by chmaynard 2 days ago | 200 comments

176

Tamper-Sensing Meshes Using Low-Cost, Embedded Time-Domain Reflectometry (jaseg.de)

35 points by luu 5 days ago | 3 comments

177

Connect to a 1980s Atari BBS through the web (southernamis.com)

70 points by JPolka 2 days ago | 9 comments

178

Sandhill cranes have adopted a Canada gosling (smithsonianmag.com)

154 points by NaOH 6 days ago | 44 comments

179

Pico-Banana-400k (github.com)

390 points by dvrp 3 days ago | 64 comments

180

More...