Introducing Composer 2.5 · Cursor
Introducing Composer 2.5 Composer 2.5 is now available in Cursor. It's a substantial improvement in intelligence and behavior over Composer 2. It is better at sustained work on long-running tasks, follows complex...
ReadFlow shows previews for discovered articles. Full reading happens at the original publisher unless you save an article to your personal library.
Using algebra and LLMs to verify a flight-plan bug fix in Lean
Formal verification has, until now, been a very laborious process. Therefore it is only considered for critical software, where bugs can cost lives or a lot of money. But LLM coding agents may be tipping the scales;...
Codex-maxxing¶
Codex-maxxing¶ I was already using coding agents a lot before Codex. Mostly, though, I used them through interfaces built for coding work: making diffs, changing repos, and shipping code. Around November, I started...
Microsoft admits faulty drivers were killing Windows 11 battery life for years
In summary: - Microsoft has acknowledged that faulty third-party drivers have been causing significant battery drain and performance issues in Windows 11 and older versions for years. - PCWorld reports that problematic...
Sieve Secret Scanner App - App Store
Sieve Secret Scanner AI Secret Scanner & Vault Only for Mac $9.99 Mac Scan your AI chat history for leaked API keys and tokens. All scanning is local - nothing leaves your Mac. Sieve scans your AI coding assistant...
diamond geezer
This week I went to Kent House station. And I have more questions. Mainly one big one. Why is it called Kent House? It's got to be something to do with the county of Kent and a house, hasn't it? For context, Kent House...
Reqflow — System design you can run
{'text': 'Interactive system design, in your browser'} {'text': "Trace any request through any architecture. Watch the system react to failures. Every component clickable — see why it's there, what breaks, what to use...
“Rigged” War Game Exposed U.S. Vulnerability to Low-Tech Warfare
Washington, D. C., November 1, 2024 - A recently declassified “after-action” report from a 2002 war game “triggered internal warnings that the U. S. military was vulnerable to low-tech warfare,” according to an article...
Microsoft surprises with its first server Linux distribution: Azure Linux 4.0
{'text': 'Joan Cros/NurPhoto via Getty Images'} {'text': 'Joan Cros/NurPhoto via Getty Images'} {'text': 'Joan Cros/NurPhoto via Getty Images'} {'text': 'Follow ZDNET: Add us as a preferred source on Google.'} {'text':...
Bleichenbacher Attacks on Hidden Number Problems
{'text': 'Quick Summary'} {'text': 'We code in the C programming language a Fourier Analysis approach to solving hidden number problems.'} {'text': 'Abstract for the 2014 paper,'} {'text': 'GLV/GLS Decomposition, Power...
Getting Started: A Regular Expression CPU
by Nicholas Carlini 2025-01-05 Over the holidays I decided it's been too long since I did something with entirely no purpose. So without further ado, I present to you... Regex Chess: sequence of 84,688 regular...
When can the C++ compiler devirtualize a call?
When can the C++ compiler devirtualize a call? When can the C++ compiler devirtualize a call? Someone recently asked me about devirtualization optimizations: when do they happen? when can we rely on devirtualization? do...
What political censorship looks like inside an LLM's weights
A mechanistic-interpretability study of Qwen 3.5 Disclaimer. This is a mechanistic-interpretability study of how nation-state-mandated content filtering actually gets built into a deployed LLM's weights. It's not meant...
Samsung meeting transcripts show memory workers offered incredible 607% bonus worth $477,000, while logic chip staff get as little as 50% — union says misbalance 'creates a retention crisis the company cannot afford'
Samsung meeting transcripts show memory workers offered incredible 607% bonus worth $477,000, while logic chip staff get as little as 50% — union says misbalance 'creates a retention crisis the company cannot afford'...
Data centers raise nearby temperatures by up to 4 degrees in Phoenix
Data centers raise nearby temperatures by up to 4 degrees in Phoenix Gaby Clark Scientific Editor Andrew Zinin Lead Editor Waste heat from data centers can boost air temperatures in downwind neighborhoods by as much as...
Coding on Paper
May 16, 2026 About three months ago, I bought the Onyx BOOX 25.3â Mira Pro Color, an e-ink monitor for desktop use. Iâve used it as my primary monitor since, and Iâve had a lot of questions about it. This is my...
Pope Leo XIVâs first encyclical Magnifica humanitas to be published May 25 - Vatican News
Pope Leo XIVâs first encyclical Magnifica humanitas to be published May 25 Vatican News Pope Leo XIVâs first Encyclical Letter Magnifica humanitas, on preserving the human person in the age of artificial intelligence,...
Earth's Radio Bubble: Every Signal We've Ever Sent Into Space
Right now, a sphere of electromagnetic radiation is expanding outward from Earth at the speed of light. It has been growing since the first powerful radio transmissions of the early 1900s. Today that bubble is roughly...
The Floor Doesn't Exist
{'text': 'AI did not invent any new attacks or any new economic vulnerabilities. It did one thing: it dropped the cost and knowledge requirements for attackers by orders of magnitude, and made the execution possible by...
US bill proposes new national EV tax, while some push to slash gas tax to zero
Lawmakers have proposed yet another punitive tax on EVs, attempting to balance road budgets solely on the back of the 2% of vehicles that are responsible for a vanishingly small percentage of road damage. Meanwhile, gas...
Who will buy your services if you fire us all?
Who will buy your services if you fire us all? · 5 min read Silicon Valley executives used to complain about “the Great Resignation” to justify replacing people with machines. Now, they have suddenly changed their tune...
protocols for transactional usage of object storage
{'text': 'This edition of Bits & Pages covers the design patterns that allow systems to use Object Storage correctly for online transactional (OLTP) use cases.'} {'text': 'This blog is motivated by SlateDB’s...
Designing a Scientific Calculator from scratch in FPGA
Designing an FPGA Calculator from scratch Try in Browser This is a scientific BCD calculator that uses binary-coded decimals, the same internal number format HP used in its scientific calculators going back to the...
The tyranny of single page apps
The tyranny of single page apps There is no such thing as front-end engineer anymore. We are all single page app developers. And are you even a single page app developer if you don't know React? As someone who has over...
No More JetBrains Products for Me
After seeing that Zed recently released v1 of their editor, I figured that now was a good of a time as any to give it a try. And while there are some quirks on Linux (specifically a flickering bug on Wayland that was...
PlayStation boss says single-player games wonât come to PC going forward | VGC
{'text': 'PlayStation boss Herman Hulst told staff this week that PlayStation’s single-player games will no longer come to PC, it’s claimed.'} {'text': 'Earlier this year, Bloomberg, citing people familiar with Sony‘s...
Understanding Singleflight in Go: A Solution for Eliminating Redundant Work — Coding Explorations
Understanding Singleflight in Go: A Solution for Eliminating Redundant Work As developers, we often encounter situations where multiple requests are made for the same resource simultaneously. This can lead to redundant...
Shutterstock to Pay $35 Million to Settle FTC Allegations Over Illegal Subscription and Cancellation Practices
Shutterstock Inc. will pay $35 million to settle Federal Trade Commission allegations that the online digital photo and video platform illegally made tens of millions of dollars from a range of unfair and deceptive...
Lisp: Common Lisp, Racket, Clojure, Emacs Lisp
c[a side-by-side reference sheet] grammar and execution variables and expressions arithmetic and logic strings regular expressions dates and time lists fixed-length arrays dictionaries user-defined types functions...
Agora-1: The Multi-Agent World Model
{'text': 'Agora-1: The Multi-Agent World Model'} {'text': 'Agora-1 enables multiple participantsâhuman or AIâto share and interact within the same world simulation in real-time'} {'text': 'Oliver Cameron'} {'text':...
Auto Blur - Chrome Web Store
{'text': '5.0(1 rating)Ratings are updated daily and may not reflect the most recent reviews.'} {'text': 'Hides passwords, API keys, credit cards and emails on any webpage. 100% local — nothing leaves your computer.'}...
Compressed Cognition: The Cost of Faster Coding
{'text': 'My post on Coding Is Dead (... But It Still Smells Funny) touched upon developer flow. One of the big wins with agents is that they let us stay with the higher-level problem for longer. We get less sidetracked...
Inside Anduril and Meta’s quest to make smart glasses for warfare
Inside Anduril and Meta’s quest to make smart glasses for warfare It’s been a year since the duo entered the US Army’s troubled augmented-reality contest. Here’s what it looks like so far. The defense-tech company...
Cutting inference cold starts by 40x with LP, FUSE, C/R, and cuda-checkpoint
Back Cutting inference cold starts by 40x with LP, FUSE, C/R, and cuda-checkpoint Charles Frye@charlesirl Jonathan Belotti@jonobelottiIO Erik Bernhardsson@bernhardsson Akshat Bubna@akshatb We are in the age of...
On mashing up modelling techniques for fun and profit
{'text': 'Many people believe there should be one, and only one, way to model software. I think differently, I like to mix different techniques.'} {'text': 'For instance, I believe there’s a strong synergy between C4...
The 2 Utah women who Kevin O'Leary called out clapped back with a mocking video
Kevin O'Leary said opponents of his Utah data centerare proxies for the Chinese government. - The Utah women, Gabi Finlayson and Jackie Morgan, disputed that claim. - The back-and-forth is emblematic of the backlash to...