Super HN

New Show
241. I replaced Windows with Linux and everything's going great
I’ve spent half a week with CachyOS and I’m unstoppable.
242. Redesigning my microkernel from the ground up
243. Verizon Is Down
Verizon is experiencing a major outage across the U.S. today, with hundreds of thousands of customers reporting issues with the network on the website Downdetector. There are also complaints across Reddit and other social media platforms. iPhone users and others with Verizon service are generally unable to make phone calls, send text messages, or use data over 5G or LTE due to the outage. iPhone users may see "SOS" in the status bar, as the device cannot connect to Verizon's network.
244. AVX-512: First Impressions on Performance and Programmability
A simple, whitespace theme for academics. Based on [*folio](https://github.com/bogoli/-folio) design.
245. Good Use of Postgres
246. DHS Deportation Reels Are Getting Copyright Strikes for Unlicensed Music Use
247. Pentagon buys device via undercover operation suspected link to Havana Syndrome
The Defense Department has spent more than a year testing a device purchased in an undercover operation that some investigators think could be the cause of a series of mysterious ailments impacting spies, diplomats and troops that are colloquially known as Havana Syndrome, according to four sources briefed on the matter.
248. Bringing the Predators to Life in MAME
249. Lightpanda migrate DOM implementation to Zig
We replaced LibDOM with a custom Zig implementation for better cohesion across events, Custom Elements, and ShadowDOM. Here's how we built it and what we learned along the way.
250. A Eulogy for Dark Sky, a Data Visualization Masterpiece (2023)
A deep look at how the Dark Sky weather app used simple but highly effective charts to report and contextualize the weather.
251. The <Geolocation> HTML Element
Discover the new way to request user location data.
252. The Case for Blogging in the Ruins
253. Games Workshop bans staff from using AI, management not excited about the tech
Warhammer maker Games Workshop has banned the use of AI in its content production and its design process, insisting that none of its senior managers are currently excited about the technology.
254. Starlink activates free internet in Iran
Elon Musk’s SpaceX is now providing free internet access via its Starlink satellite service to users in Iran as the country’s regime continues its bloody crackdown on anti-government protests, according to a tech expert in touch with Iranian Starlink users.
255. Beebo, a wave simulator written in C
256. Iran Is Hunting Down Starlink Users to Stop Protest Videos from Going Global
257. Show HN: Customizable OSINT dashboard to monitor the situation
Real-time geopolitical monitoring dashboard
258. Using proxies to hide secrets from Claude Code
259. Learning Retro Computer Electronics Fault Finding and Restoration
260. Garbage collection is contrarian
Modeling unrooted handles to garbage collected data using contravariant lifetimes.
261. -Wsign-Compare Is Garbage
The -Wsign-compare warning is bad. It is a waste of time and will only make your code worse and more buggy.
262. Phind.com Is Shutting Down
263. Quake 1 Single-Player Map Design Theories (2001)
TEAMShambler Quake Level Reviews
264. Wine 11.0
The Wine team is proud to announce that the stable release Wine 11.0 is now available. This release represents a year of development effort, around 6,300...
265. Advancing Claude in healthcare and the life sciences
Introducing Claude for Healthcare with HIPAA-ready infrastructure, plus expanded Life Sciences tools for clinical trials and regulatory submissions. New connectors to CMS, Medidata, and ClinicalTrials.gov.
266. C++ std::move doesn't move anything: A deep dive into Value Categories
Why std::move is just a cast, how it kills RVO if used wrong, and the mechanics of ownership transfer.
267. AI solves Erdos problem #728 (Terence Tao mathstodon post)
Recently, the application of AI tools to Erdos problems passed a milestone: an Erdos problem (#728 https://www.erdosproblems.com/728) was solved more or less autonomously by AI (after some feedback from an initial attempt), in the spirit of the problem (as reconstructed by the Erdos problem website community), with the result (to the best of our knowledge) not replicated in existing literature (although similar results proven by similar methods were located). This is a demonstration of the genuine increase in capability of these tools in recent months, and is largely consistent with other recent demonstrations of AI using existing methods to resolve Erdos problems, although in most previous cases a solution to these problems was later located in the literature, as discussed in https://mathstodon.xyz/deck/@tao/115788262274999408 . This particular case was unusual in that the problem as stated by Erdos was misformulated, with a reconstruction of the problem in the intended spirit only obtained in the last few months, which helps explain the lack of prior literature on the problem. However, I would like to talk here about another aspect of the story which I find more interesting than the solution itself, which is the emerging AI-powered capability to rapidly write and rewrite expositions of the solution. (1/5)
268. A Mini-IBM PC Using an Adafruit Fruit Jam
269. More than one hundred years of Film Sizes
ONE HUNDRED YEARS OF DIFFERENT FILM SIZES - history with pictures >
270. Why Stoicism is one of the best mind hacks ever devised
As legions of warriors and prisoners can attest, Stoicism is not grim resolve but a way to wrest happiness from adversity