Towards a secure peer-to-peer app platform for Clan
While most of the existing Clan framework is dedicated to machine and service management, there’s more on the horizon. Our mission is to make sure peer-to-peer, user-controlled, community software can beat Big Tech solutions. That’s why we’re working on platform fundamentals that would open the way for our FOSS stack to match the usability and […]
Fabrice Bellard Releases MicroQuickJS
mquickjs/README.md at main · bellard/mquickjs · GitHub {{ message }} You can’t perform that action at this time.
Meta is using the Linux scheduler designed for Valve’s Steam Deck on its servers
An interesting anecdote from this month’s Linux Plumbers Conference in Tokyo is that Meta (Facebook) is using the Linux scheduler originally designed for the needs of Valve’s Steam Deck… On Meta Servers. Meta has found that the scheduler can actually adapt and work very well on the hyperscaler’s large servers. SCX-LAVD as the Latency-criticality Aware […]
Stop Slopware
Stop Slopware IF THIS LINK WAS FOR YOU I know sites like these can feel dismissive and passive-aggressive. But this isn’t meant to be an attack, just a shove in the right direction. If someone thinks your project is slopware, don’t despair, you have a chance to fix your work and prove them wrong! SLOPWARE […]
Show HN: Mysti – Claude, Codex, and Gemini debate your code, then synthesize
Your AI Coding team for VSCodeUse Claude Code, Codex, or Gemini — or combine any two in Brainstorm Mode and never hit bottlenecksWisdom of the crowd where the collective intelligence of several agents outperforms a single one. Providers • Brainstorm • Features • Quick Start • Config Install in Seconds From VS Code: Press Ctrl+P […]
Test, Don’t (Just) Verify
AI is making formal verification go mainstream. AI-assisted mechnical proving companies are raising funds on billion dollar valuations, new people are trying proof assistants, overwhelmingly Lean, at unprecedented rates. Models achieve fascinating results in competitions previously considered to contain some of the hardest problems in the world, such as IMO, ICPC, Putnam; as well as […]
Some Junk Theorems in Lean
This is a small collection of formally verified junk theorems provable in Lean 4 + Mathlib that, in my experience, are quite surprising and upsetting to mathematicians who are not familiar with type theory (and in the case of Theorems 13 and 14, also to mathematicians who are familiar with type theory). See the main […]
What Is (AI) Glaze?
Generative AI models have changed the way we create and consume content, particularly images and art. Diffusion models such as MidJourney and Stable Diffusion have been trained on large datasets of scraped images from online, many of which are copyrighted, private, or sensitive in subject matter. Many artists have discovered significant numbers of their art […]
Ryanair fined €256M over ‘abusive strategy’ to limit ticket sales by OTAs
Ryanair has been fined €256m (£223m) by Italy’s competition authority for abusing its dominant market position to limit sales of tickets by online travel agents. The authority said Europe’s largest airline had “implemented an abusive strategy to hinder travel agencies” via an “elaborate strategy” of technical obstacles for agents and passengers to make it difficult […]
What are the best engineering blogs with real-world depth (no fluff)?
I’m looking for examples of high-quality engineering blog posts—especially from tech company blogs, that go beyond surface-level explanations. Specifically interested in posts that: 1. Explain technical concepts clearly and concisely 2. Show real implementation details, trade-offs, and failures 3. Are well-structured and readable 4. Tie engineering decisions back to business or product outcomes Any standout […]