Rust is tier-1 language at Microsoft

https://rustfoundation.org/wp-content/uploads/2025/01/rf-logo-white-2.svg
Microsoft has invested heavily in Rust, making it a Tier-1 language for internal development alongside C++, C#, and TypeScript. The company's MSVC backend, now connected to Rust via rustc_codegen_utc, enables seamless interoperability between the two languages.

Cognition launches new SWE-2 model, Rivaling Fable 5.1 and GPT-Astra

https://cognition.com/images/swe-2/cover.jpg
The new coding model SWE-2 achieves 50.0% on FrontierCode 1.1 Main, within one point of Fable 5.1, while being 64% cheaper than its predecessor SWE-1.7 and outperforming GPT-6 Astra at a quarter of the cost.

I have a theory that software drives people insane

https://bear-images.sfo2.cdn.digitaloceanspaces.com/graybearding/roxy.svg
Software can turn ordinary people into b-tier Bond villains due to its unique combination of speed, money, complexity, abstraction, and freedom to change. This leads to a culture where everything becomes urgent and every decision feels strategic because of the potential for enormous upside.

More questions about whether researchers can trust OpenAI with unpublished math

Tristan Buckmaster questioned OpenAI's transparency about using his conversations with ChatGPT for training data. He felt misled by their response, which he perceived as dishonest and lacking explanation or evidence.

NASA Color Trick Was Meant for Mars. Now It's Unveiling Rock Art on Earth

Shopify moves back to Native from React Native

https://cdn.shopify.com/b/shopify-brochure2-assets/74f109ae9b0c3034a78a3b63294ae2e6.png?originalWidth=1848&originalHeight=782
Shopify is moving from React Native to Swift and Kotlin due to advancements in coding models, allowing for faster development without sacrificing performance. This change will enable Shopify's teams to build mobile apps more efficiently with the help of artificial intelligence.

Neki

https://planetscale.com/assets/introducing-neki-social-O6Jxs-bC.png
Neki is a sharded Postgres database built from lessons learned running large MySQL clusters, addressing common issues like table size and backup times. It offers an online operations model with features like schema changes, version upgrades, and resharding through a single psql connection.

Forgejo <=16.0.3 Critical RCE

This git endpoint is seeing a high influx of requests for this repository, to preserve the availability of Codeberg your search request will not be processed. Sorry for the inconvenience and please try again later.

Douglas Hofstadter: Analogy as the Core of Cognition [video]

Music Theory for the 21st-Century Classroom

https://runestone.academy/runestone/static/images/RAIcon_cropped.png
Skip to main content

Silicon Valley Is Transforming the Military-Industrial Complex

https://costsofwar.watson.brown.edu/sites/default/files/2025-08/How%20Big%20Tech%20and%20Silicon%20Valley%20are%20Transforming%20the%20Military-Industrial%20Complex.png
Anthropologist Roberto González examines the US military-industrial complex's expansion to Silicon Valley, where big tech companies receive multi-billion dollar Defense contracts. This has led to a lack of transparency and substantial spending on ineffective, unpredictable, and unsafe defense products funded by American taxpayers.

Hitachi launches CO2 heat pump water heaters with solar-friendly tariff controls

https://www.pv-magazine.com/wp-content/uploads/2024/05/Emiliano-Bellini-500x500-1.png
Hitachi introduces Y-series EcoCute CO2 heat pump water heaters in Japan with 370-liter and 460-liter models launching in November 2026. The new range supports daytime electricity tariffs and PV-linked energy management with a five-year manufacturer warranty.

>10x More Efficient Pretraining

https://magic.dev/_next/image?url=%2Fblog%2Fpretraining%2Fhero.jpg&w=3840&q=75
The authors have developed a highly efficient pretraining recipe for large language models, achieving over 10x better compute efficiency than leading open-weight base models. This allows them to train trillion-parameter models with significantly less computational resources.

Neki is sharded Postgres by PlanetScale

https://neki.dev/neki-ogimage.png
Neki scales Postgres horizontally to handle hundreds of millions of QPS and petabytes of data by splitting hot shards, rebalancing capacity, and moving traffic through topology changes. Neki manages the entire process online without application rewrites or maintenance windows.

DeepSeek v4.1 Flash

https://pbs.twimg.com/media/HR1UyHiaAAAtpqw?format=webp&name=medium
🚀 Introducing DeepSeek-V4.1-Flash: smarter, faster, more efficient. 🔹 Introducing the smallest model in our new architecture family, with native visual understanding. 🔹 Designed for greater capability, faster inference, higher throughput, and scaling to larger models. 1/6

Cognition's SWE-2 achieves 92.8 on Terminal-Bench 2.1

https://tokenstead.ai/images/models/swe-2/efficiency.svg
Cognition's SWE-2 model achieves 50.0 on FrontierCode, beating SWE-1.7 by 15 points and outperforming Claude Fable 5.1 by one point, at a claimed 64% lower cost than Fable. The model excels in Terminal-Bench 2.1 with the highest score of 92.8, but lags behind GPT-6 Astra in this benchmark by a significant margin.

What algorithm did Windows XP use to choose your initial user picture?

https://devblogs.microsoft.com/oldnewthing/wp-content/uploads/sites/38/2019/02/ShowCover.jpg
Windows XP uses a one-pass random selection algorithm to choose the initial profile picture, utilizing RtlRandomEx with GetTickCount() as the seed. This approach is efficient and avoids complications if directory contents change during execution.

List of references on Sony websites to players "owning" their digital games

https://consumerrights.wiki/thumb.php?f=Sony-playstation-digital-ownership-upgrade-already-own.png&width=660
Four California PlayStation buyers sued Sony Interactive Entertainment, alleging they received a limited license rather than ownership for hundreds of dollars spent on digital goods. The complaint claims the store's checkout language violates California's digital-goods transparency law.

Macbeth and His Problems

https://porticoquarterly.com/wp-content/uploads/2026/06/Macbeth_2015-1200x630.jpg
The play Macbeth is notoriously difficult to stage due to its complex magic and supernatural elements, tone, and motivation. The script's ambiguity regarding the nature of these elements can be challenging for audiences.

Casablanca: How an unproduced play marched into movie history

https://cdn.thecollector.com/wp-content/uploads/2025/08/casablanca-unproduced-play-movie-history.jpg?width=480&height=270&quality=70&dpr=1
The 1942 film Casablanca, directed by Michael Curtiz and starring Humphrey Bogart and Ingrid Bergman, is a classic Hollywood movie that explores themes of love, loyalty, and sacrifice during World War II. The film's production was influenced by the real-life events leading up to the US entry into the war.

Python sets and dictionaries can have quadratic-time performance

https://lemire.me/blog/wp-content/uploads/2026/09/quadratic-825x510.webp
The author discusses the limitations of Python's dict data structure, which is often assumed to be O(1) or constant-time. In reality, its performance can degrade due to collisions and memory constraints.

Stockfish 19

https://stockfishchess.org/images/logo/icon_128x128@2x.webp
Stockfish 19 has been released with improved strength and features, offering a stronger play and more accurate analysis. The new release brings an Elo gain of up to 44 points and is available for download at stockfishchess.org/download.

iPhone Duo

https://www.apple.com/v/iphone-duo/a/images/overview/media-hero/hero_startframe__fcol1x2us8i2_large.jpg
The iPhone Duo offers a spacious display, multitasking capabilities, and compact design. It features essential controls on the side for easy access and comes with various accessories like a 100% fiber-based box for packaging.

JEP 544: Ahead-of-Time Code Compilation

The goal is to improve startup and warmup time for Java applications by compiling code to native code in a training run, storing it in an AOT cache for use in subsequent production runs. This approach combines the benefits of static compilation with the agility and portability of dynamic compilation, allowing Java applications to achieve peak performance while adapting to changing workloads.

To write non-fiction, draw the trunk, then the rest of the tree

https://devz.cl/images/owl.jpg
The author shares their struggles with staying awake in class and writing skills, but credits reading and writing for helping them succeed in history despite poor attendance. They offer advice on structuring essays by identifying a central theme, thesis, and supporting arguments to engage readers.

Show HN: DOOM in the kernel, or fibers in eBPF

The BPF Capsule project successfully compiles and runs a game, DOOM, inside the Linux kernel without using a kernel module. The code is compiled to bytecode for a small register machine and loaded with the bpf(2) system call, then attached to a hook. The verifier checks the program's safety before running it in the JIT compiler.

The Four-Color Theorem Gets a Rare New Proof

https://www.quantamagazine.org/wp-content/uploads/2026/09/4C-Theorem-cr.Vico-Santos-Lede-1-scaled.webp
Researchers have found a new computer proof of the four-color theorem, proving that any planar map can be colored with four colors. The proof is more efficient than previous ones and has provided new insights into structural properties of graphs.

Show HN: MultiMatte, a Promptable Image Background Removal Model

https://usefeyn.com/blog/multimatte/dog-the-dog.webp
Researchers introduced MultiMatte, a background removal model that can be aimed with words, improving on SAM 3's image segmentation. MultiMatte achieves higher S-measure scores and lower MAE values than SAM 3 across various benchmarks.

AI 2027 (2025)

https://ai-2027.com/_next/image?url=%2F_next%2Fstatic%2Fmedia%2Fhao2024-nowatermark-inexpandable.664af12c.png&w=3840&q=75
OpenAI predicts superhuman AI will surpass human capabilities by 2027, with a potential impact exceeding the Industrial Revolution. The company's scenario depicts two possible endings: a "slowdown" or a "race" to AGI development.

Show HN: Syq – copy files between machines fast (better than rsync)

The tool allows copying, reorganizing and removing files across machines using rsync protocol. It supports scripting with JSON API or Python SDK, and can be used locally without an SSH server or incoming network port.