The Math Is Haunted
A taste of Lean.
The latest blog posts to take off on Hacker News. 80,835 posts.
A taste of Lean.
You are seeing this because the administrator of this website has set up Anubis to protect the server against the scourge of AI companies aggressively scraping websites . This can and does cause downtime for the websites, which makes their resources inaccessible for everyone.
The Context I have been recently roaming. Doing some Zig, doing some Go, some Janet. Some C integration. Should have focused on my project but life threw more at me than I could handle, so I sought… happy distractions. My experience with those technologies taught me new tricks and one day, when I needed some more…
This article offers tips and practical advice to help people maintain their weight loss more effectively over time.
Large publicly traded tech companies seem to no longer consider their customers – that is, people and organizations who actually buy their products or pay for access to their services – their core foc
Rarely in software does anyone ask for “fast.” We ask for features, we ask for volume discounts, we ask for the next data integration. We never think to ask for fast. But software that's fast changes behavior. Developers ship more often when code deploys in seconds (or milliseconds) instead of minutes. AI code…
Print your own 5-bay N5 Mini NAS! Inspired by the Minisforum N5, this 175mm x 175mm design fits most small beds—use any mini PC you prefer.
New discovery underscores security implications of AI-powered development and the rise of Vibe Coding Platforms.
This post was part of an experiment. It was largely generated by AI, and does not reflect my views. Please see the post How I Tricked Hacker News and Made The Front Page with AI Slop for details! The
A struct in C is the best way to organize your data so that you can easily use the data later in your program. However, there are a few caveats to C structures, mainly how their memory works. Note that I’m making a lot of assumptions about type sizes and standards. These can differ between systems and ABI’s, so for…
The Mosquito Bucket of Death is a safe and environmentally sound way to rid your yard of mosquitoes. Here's how you make them.
Raising our Series B round of financing
An intuitive and ground-up introduction to I/Q signals. Learn the foundational concepts through clear geometric analogy perfect for beginners
Build stateful HTMX applications using URL parameters as your state store, creating naturally bookmarkable and shareable interfaces
Despite tighter restrictions on antibiotics used in Canadian beekeeping, honey bee death rates are still rising. A new study led by University of Guelph researchers, published in Nature Sustainability…
For the last month, I’ve been using XMPP (using Snikket) for every call and chat between me and my wife Sandra, at least.
Open Access Publication & ACM
Introducing study mode in ChatGPT, a new learning experience that helps you work through problems step by step, guiding students with questions, scaffolding, and feedback for deeper learning.
From missing real fireflies to learning basic electronics and building my own blinking "fireflies"
To @AndrewHart: “Our app is shit and we know it’s shit”. My life changed forever when a senior exec from one of the world’s largest retailers messaged me on Twitter. This was back in 2017. My outdoor AR navigation demos had just gone viral, and my new open-source project for...
What AI-optimized schools misunderstand about learning
I wrote about the new GLM-4.5 model family yesterday—new open weight (MIT licensed) models from Z.ai in China which their benchmarks claim score highly in coding even against models such …
You log in to a Linux server with a performance issue: what do you check in the first minute?
Wikipedia is the backbone of knowledge on the internet. Learn how the Wikimedia Foundation is safeguarding it under the UK Online Safety Act.
Claude Code joins the AI pricing bait-and-switch
Something fundamental has shifted in how power works, and most of our institutions haven't noticed. We're living through what might be called "leverage arbitrage divergence"—a growing gap between...
If you’re a developer rocking an Apple Silicon Mac and writing in Zig, congratulations - you’ve chosen the scenic route through the desert of profiling tools. It’s just you, your code, and a tumbleweed named Apple Instruments. But don’t worry - we’ll try to find some oases. Okay, it’s not that bad, but we’re far away…
A new Danish study finds no association between aluminum in childhood vaccines and 50 different health conditions, including autism, asthma, and autoimmune diseases. The findings reaffirm the safety of Denmark’s childhood vaccination program.