2025-07-07
Conscientious SUV Shopper Just Wants Something That Will Kill Family In Other...
Conscientious SUV Shopper Just Wants Something That Will Kill Family In Other Car In Case Of Accident. 鈥淭he last thing I want is a flimsy sedan that takes out Mommy...
The Base Model Lens
Published on July 7, 2025 12:12 AM GMTMany of the stupid errors that LLMs make are attributable to behaviours they learn in during pre-training, then fail to forget or suppress...
An Introduction to Evaluation Contexts in Programming Semantics
Evaluation contexts allow functional languages like Fun and Core to reduce nested subexpressions effectively, providing a formal and precise approach to operational semantics. However, their elegance comes at the cost...
How Functional Languages Simulate Goto with Labels and 渭-Bindings
This article explores the formal semantics and translation of first-class functions and control operators (like labels and gotos) into a Core functional language. It explains how lambda abstractions and function...
Understanding Algebraic Data and Codata Types in Functional Programming
This section explores algebraic data and codata types in the Fun and Core languages. It contrasts pattern and copattern matching, highlighting how Core鈥檚 design achieves full symmetry between constructors and...
How Let Bindings Improve Code Readability in Functional Programming
The article introduces let-bindings and top-level definitions in the 位渭渭藴-calculus, focusing on how 渭 and 渭藴 abstractions enable call-by-value evaluation, avoid critical pair non-confluence, and eliminate function stacks in recursive...
I Shipped a macOS App Built Entirely by Claude Code
I Shipped a macOS App Built Entirely by Claude Code Indragie Karunaratne has "been building software for the Mac since 2008", but recently decided to try Claude Code to build...
This $20M AI Founder Is Challenging Elon and Sam Altman | Roy Lee, Cluely
His acceptance to Harvard was rescinded, his offer to Amazon was rescinded, he was kicked out of Columbia, and... he went viral. Now his AI startup is at $6M ARR...
2025-07-06
'The transfer of user data by DeepSeek to China is unlawful': Germany calls for Google and Apple to remove the AI app from their stores
Berlin's Commissioner for Data Protection is taking a stand against AI app DeepSeek
Nothing is Absolute: A Beginner鈥檚 Guide to Einsten's Theory of Sepcial Relativity
Einstein鈥檚 special relativity challenged the idea of absolute space and time, showing that measurements of time, distance, and mass depend on motion. It replaced the outdated ether theory with a...
5 Signs Your Startup Actually Has Brand Value
Not every startup has brand value. For a brand to count toward valuation, it must show up in your economics - through retention, pricing power, legal ownership, distinctiveness, and reduced...
My F1 movie review
Three of my main entertainment categories are Formula 1 racing, movies, and Apple, and the new F1 movie happen to fall into all three of those categories, so I'd be...
A simple explanation of incomplete models
Published on July 6, 2025 7:09 PM GMTEpistemic status: This is an informal explanation of incomplete models that I think would have been very useful to me a few years...
Romero Games reportedly met with Microsoft just a day before the publisher pulled funding for the studio, and there was 'no mention' of the decision that put over 100 people out of work
Romero Games is pursuing alternate sources of funding, but for the time being, it sounds like the dream is dead.
macOS still isn't as small as you think
2 years ago I wrote a piece about how the macOS UI isn't as small as you think it is. The point of that piece was to challenge the accepted...
'There are no plans to drop support for SteamOS': The Finals devs commit to Steam Deck and Linux players despite new kernel-level anti-cheat
Embark Studios may be embracing kernel-level anti-cheat, but they're not abandoning their Linux players.
Neuroscientist survey says P(brain preservation works) is substantial
Published on July 6, 2025 6:03 PM GMTx-posted on X312 neuroscientists were surveyed, and they assigned substantial probability to long-term memories only depending on static brain structure preservable by modern...
Phoenix.new
My thanks to Fly.io for sponsoring last week at DF to promote Phoenix.new, their new AI app-builder. Just describe your idea, and Phoenix.new quickly generates a working real-time Phoenix app:...
Think Your Business Messages Are Private? Think Again
Most businesses mistakenly rely on encryption alone, leaving metadata exposed and vulnerable. This article explains why metadata matters, how emerging protocols like MLS offer real protection, and how to implement...
Time Space Breakthrough, Ancient Memory Systems & An I-Ching Inspired Hyper-Stack Scheduler
How a computational time space breakthrough inspired a 64-Cell Hyper-Stack Scheduler (HSS).
Welcome to Postreads
Discover and follow the best content from across the web, all in one place. Create an account to start building your personalized feed today and never miss out on great reads.
Support Postreads
Enjoying the service? Help me keep it running and improve it further by buying me a coffee!
Buy me a coffeeContent Timeline
Trending Now
Top 5 clicked items this week
Freshly added
New feeds to discover
