Mozilla's new CEO Enzor-DeMeo considered blocking ad blockers in Firefox for profit but decided against it due to being off-mission. This decision may disappoint loyal users who value Firefox's commitment to open standards and ad blockers as a security feature.
AI will make formal verification cheaper and more accessible, allowing for widespread adoption in software development. This will be driven by AI-generated code needing formal verification to ensure its correctness and by AI's ability to assist in writing proof scripts.
The author provides a set of heuristic principles for designing distributed systems, emphasizing the importance of abstraction, omission, and declarative specification, as well as the need to check for failures, message reordering, and other edge cases. The principles are based on the author's experience in the field and are intended to help designers think critically about their systems and ...
US municipalities are adopting surveillance technologies with over 80,000 cameras tracking residents' movements and collecting data. A website allows users to track and report on these technologies.
Sebastian Aaltonen, a 30-year graphics code veteran, discusses the evolution of graphics APIs and the need for a simplified API design tailored for modern GPUs. He proposes a new memory management system, combining CUDA's GPU malloc design with CPU-mapped GPU memory, to improve performance and simplify graphics programming.
Astral announces the Beta release of ty, a fast Python type checker and language server written in Rust. ty is designed for live updates and provides accurate feedback, balancing correctness with user experience.
Mozilla's new CEO plans to position the company as a trusted software company with AI at its center, but the author is skeptical about this approach. The author believes that large language models are untrustworthy and should not be integrated into browsers.
The hobby has seen a 'Golden Age' with a record number of manufacturers producing new sets, peaking in 2006 with over 100 new sets. However, the market has since declined due to economic difficulties and oversaturation.
OpenAI introduces GPT-5.2 for professional knowledge work, improving economic value and state-of-the-art performance in tasks like spreadsheets, presentations, and code writing.
GitHub updated its pricing and product models for GitHub Actions, improving reliability and performance. The changes include reduced prices for GitHub-hosted runners and a new $0.002 per-minute Actions cloud platform charge.
Web-based MIDI sequencer with AI-generated fugues
The user ported JustHTML, a Python HTML5 parser, to JavaScript using Codex CLI and GPT-5.2 in 4 hours. The new library, simonw/justjshtml, passes 9,200 tests from the html5lib-tests suite and has a similar API to the original library.
0
2025-12-17 07:41:37 UTC
workatastartup.com
Llama
Subsets is a lifecycle growth platform for consumer subscription teams, automating experimentation and user journeys. It's trusted by businesses like The Atlantic and has raised $6.1m after launching from Y Combinator.
Challenge: Distributed systems are notoriously hard to get right. Programming these systems is challenging because of the need to reason about correctness in the presence of myriad possible interleaving of messages and failures. Unsurprisingly, it is common for service teams to uncover correctness bugs after deployment. Formal methods can play an important role in addressing this challenge! P ...
Researchers led by Valentin Riedl found that brain regions use oxygen more efficiently without increased blood flow during tasks. This challenges the interpretation of fMRI studies on brain disorders and suggests using quantitative measurements for more accurate results.
VA Linux was a successful Linux startup during the dotcom era, with its IPO setting a record in 1999. However, its business model of selling pre-installed Linux PCs was short-lived due to improved Linux hardware support and competition from established computer makers.
We're chasing thin desires that can be easily fulfilled, but leave us empty, while neglecting thick desires that require effort and bring lasting satisfaction. Pursuing the thick life, like baking bread, can be a way to find meaning and fulfillment without trying to change the world.
As Mozilla's new CEO, I will focus on building a trusted software company by giving users agency over their data and AI, and growing through transparent monetization. We will measure progress against a double bottom line, advancing our mission and succeeding in the market over the next three years.
Santa Claus was nursing a beer at an uptown dive bar. The neighborhood was gentrifying, and management seemed eager to accommodate—there was scented soap in the bathroom and twenty-two-dollar lobster rolls. But the place couldn’t outrun the regulars. They drank tumblers of Irish whiskey filled to the brim, illicit pours they secured with ten-dollar tips to a curvy Dominican bartender. ...
This course, CS 4973, is an introduction to software development tooling at Northeastern University, teaching four fundamental categories of tooling: the command line, version control, build systems, and correctness. Students will learn industry-standard tools through hands-on projects and exploration of existing codebases.
October 30, 2025 We ask AI to write emails, generate reports, create content. But that's like using a supercomputer as a typewriter. The real breakthrough happened when I flipped my entire approach. My Obsidian vault contains: → 3 years of daily engineering notes → 500+ meeting reflections → Thousands of fleeting observations about building software → Every book highlight and conference ...
The Japanese government is planning to replace its 70-year-old romanization system with the more widely used Hepburn-style spellings. The changes are expected to be approved and rolled out in textbooks and materials within the current fiscal year.
Titan Planet is a JavaScript-first backend framework that compiles JavaScript routes into a native Rust server. It provides a full backend engine, dev server, and Docker deploy pipeline.
A team has recovered over 100 new Sega Channel ROMs, including system data, exclusive games, and prototypes, and digitized internal paperwork and correspondence that reveals how Sega Channel operated. The recovered data includes nearly 100 unique system ROMs, dozens of previously undumped game variants, and Sega Channel exclusives, and accounts for almost all outstanding Sega Channel games.
NVIDIA announces Nemotron 3, a family of open models with leading accuracy for agentic AI applications. The Nemotron 3 family includes Nano, Super, and Ultra models with varying capabilities and efficiency.
.png)
Ansys Maxwell is used to simulate the magnetization of a specific permanent magnet, the N48SH, using its manufacturer datasheet. The simulation accurately predicts the magnet's operating point, validating the workflow against Maxwell's built-in N48 material.
The World Happiness Report is based on a flawed methodology using a single question about life satisfaction, which doesn't accurately measure happiness.
The CF_LOCALE clipboard format does not affect Unicode text copied to the clipboard, but it can cause mojibake when reading 8-bit ANSI text with a different code page. The activeCodePage feature introduced a problem with the AnsiToOem conversion when programs choose different code pages, leading to unexpected results in test programs.
Dafny is a verification-aware language that empowers developers to write correct code with native support for specifications and a static verifier. It integrates with existing workflows and reduces costly late-stage bugs through rigorous verification.
Generated by create next app