MAI-Cyber 1

https://microsoft.ai/wp-content/uploads/2026/07/Cyber-1-New-Header.png
Microsoft has announced MAI-Cyber-1-Flash, a compact security model that delivers world-class performance at 50% of the cost of leading models, and Perception, an agentic security system for continuous monitoring and patching. The combined system, MDASH, uses MAI-Cyber-1-Flash to efficiently handle 90% of tasks, enabling the use of more costly models for exceptionally hard tasks, resulting in ...

Kimi-K3 on HuggingFace

https://cdn-avatars.huggingface.co/v1/production/uploads/no-auth/T7ndyLrlZoFuMwXp3J5Sl.png
Kimi K3 is a 2.8T-parameter model with native vision capabilities and a 1-million-token context window, designed for frontier intelligence across long-horizon coding, knowledge work, and reasoning. It is the world's first open 3T-class model, released under the Kimi K3 License for research, deployment, and further innovation.

Glue bonds to nonstick surfaces and wipes clean with ethanol

https://s7d1.scene7.com/is/image/CENODS/News--Powerful-adhesive-binds-to-Teflon--can-be-wiped-clean---534105?$responsive$&qlt=90,0&resMode=sharp2&fmt=webp
Researchers developed a small-molecule glue called CyclicFP-fmoc that bonds strongly to nonstick surfaces and can be easily removed with ethanol. The adhesive combines high strength, ductility, and washability, making it reusable and recyclable.

The computer that helped win World War II

https://spectrum.ieee.org/media-library/black-and-white-image-of-two-women-operating-a-wall-sized-1940s-computer.jpg?id=67520993&width=1200&height=750
In 1941, British codebreakers discovered a new German encryption system called Tunny, which was more advanced than Enigma, and they built a machine called Colossus to break the code. Colossus, the world's first large-scale programmable electronic digital computer, was built by engineer Tommy Flowers and helped the Allies decipher encrypted messages, saving countless lives and shortening World War II.

Show HN: FeyNoBg – Automatic background removal model and training library

https://usefeyn.com/blog/feynobg/showcase/bikes-original.webp
FeyNoBg is a state-of-the-art model for automatic background removal that outperforms or closely matches the best published results on eight benchmarks. It's based on BiRefNet and uses a library called NoBg for training and running the model.

Decathlon Germany adds Wero payment option to decathlon.de website

https://d1f00kj7ad54bu.cloudfront.net/Pictures/1024x536/9/6/4/60964_wero_807274_crop.jpg
Decathlon is the first German retailer to use Wero, a European payment scheme that routes payments directly between bank accounts in real time. Wero aims to reduce processing costs and increase loyalty for retailers like Decathlon, but still lacks in-store point of sale functionality.

Removing React.js from the codebase and adapting Htmx for UI interactivity (2023)

https://misago-project.org/media/conf/logo.3335a6d7.png
Misago's current implementation has issues with duplicated code and complexity. It can be simplified by using a JavaScript framework with server-side rendering like Next.js or Remix.run, and focusing on an API with React.js UI.

Exploiting Volvo/Eicher's fleet platform to gain control over all users/vehicles

https://eaton-works.com/cdn-cgi/imagedelivery/VwwCqBIYNXeyNQwEQ8uyVQ/b7d7e95c-3a3d-48e6-3162-cdd3c5299800/full
A vulnerability was found in My Eicher's APIs, allowing hackers to gain high-level access and account takeover, potentially controlling hundreds of vehicles. The vulnerability was discovered in 2025 and fixed in November 2025, but not before exposing sensitive data of 275k vehicles and 115k customers.

UpCodes (YC S17) is hiring remote AE's to help make buildings cheaper

https://up.codes/img/upcodes-og-twitter-image.png
We’re looking for talented and motivated people who can help us build easy-to-use compliance and product research tools. Learn about our culture and explore open positions.

Show HN: Running PrismML's Bonsai inside DRAM by breaking DDR4 timing rules

Researchers are developing on-device AI models to ensure user privacy and reduce cloud inference costs. A new architecture, CaSA, performs ternary LLM inference directly inside DRAM, bypassing the memory bus and addressing thermal throttling and battery drain issues.

Libsm64: Mario 64 as a library for use in external game engines

https://opengraph.githubassets.com/b2d774116d9ba4597f91028623d2cf5bf5ed24a36733190f2f9a89533b512512/libsm64/libsm64
This project provides a shared library for SM64 movement and rendering code, allowing Mario to be easily integrated into existing game engines or systems. The library loads official SM64 ROMs at runtime for asset extraction and can be built and used with SDL2 and GLEW libraries.

Jensen Huang's first-ever post on X is in defense of open access to AI models

https://images.fie.futurecdn.net/logos/products/3u2dhcwtyarrqlof-15807474309261-250-80.jpg.webp
Nvidia's CEO Jensen Huang argues that the US should not restrict open AI models, citing benefits for growth and safety. He claims open models strengthen safety, accelerate innovation, and enable sovereignty, but acknowledge potential risks.

First Robotic Satellite Servicer Launched

You don't have permission to access "http://www.nrl.navy.mil/Media/News/Article/4551871/robotic-servicing-of-geosynchronous-satellites-launches-into-orbit/" on this server.

How is the Bun Rewrite in Rust going?

https://lockwood.dev/assets/img/rust_rewrite/slop.png
The author questions the value of Anthropic's acquisition of Bun and the company's large valuation, citing a lack of release tags and increasing open pull requests. The author suspects that the cost of the rewrite is higher than claimed, with potential off-the-books expenses and ongoing Anthropic employee involvement.

VLC for Unity now supported on Linux

https://code.videolan.org/.within.website/x/cmd/anubis/static/img/pensive.webp?cacheBuster=1.25.0
The website uses Anubis to protect against aggressive AI scraping, which adds a Proof-of-Work load to make scraping more expensive. Users with plugins like JShelter need to disable them for this domain to access resources.

Should you wash your solar panels?

https://img.incoherency.co.uk/6637/thumb
The user cleaned their 16-panel solar farm and saw a 2-5% increase in power output, worth £60-150 per year. They plan to upgrade the solar farm but are hesitant due to a change in feed-in tariff rules that would reduce their benefits.

Show HN: Infrawrench – a tool to manage cloud and svcs with workflows and chat

https://infrawrench.com/screenshots/overview-accounts.png
Connect to 25+ cloud providers and manage hundreds of resource types from a single unified interface. Infrawrench discovers your infrastructure automatically and keeps it in sync every 30 seconds. Launch full SSH terminals to any server directly from Infrawrench. No external client needed. On desktop, connections run locally. In the cloud web app, sessions are proxied securely through our ...

Kimi-K3 Technical Report [pdf]

You have triggered an abuse detection mechanism. Please wait a few minutes before you try again; in some cases this may take up to an hour.

If Scrubs Hurt, Your ZFS Design Is Broken

https://klarasystems.com/wp-content/uploads/2026/07/Article-Cover-If-Scrubs-Hurt.png
Every ZFS operator has had this conversation. The regularly scheduled monthly ZFS scrub is running and application latency doubles for the next two days. Workloads slow, monitoring alerts, users complain. You move the scrub to a quarterly schedule, then to “before the audit,” then to never. Twelve months later a disk fails, the resilver crawls for a week, and a latent checksum error on a ...

Modern email can be built from borrowed parts

https://en.andros.dev/static/img/footer/org-social.svg
The user proposes a new mail system called HMTP (Hypertext Mail Transfer Protocol) that uses HTTP and replaces SMTP's design flaws, focusing on discovery, verification, delivery, and encryption over HTTP. HMTP uses standardized technologies like WebFinger, ActivityPub, Webmention, Ed25519, and HPKE to provide a secure, decentralized, and scalable mail system with features like first-contact ...

Paged Out #9 [pdf]

Paged Out! magazine Issue #9 is now available with over 70 items, articles, and artwork, and the editorial team is working on Issue #10 with a call for papers deadline of September 30, 2026. The magazine is also introducing a Patreon page to support its financial goals and making past issues available for purchase through Lulu.com.

Watching Go's new garbage collector move through the heap

Go 1.26 made Green Tea the default GC. We observe its cache-friendliness with perf, visualize the heap to see how Go allocates, and poke at a sparse-page problem a non-moving collector like Go's struggles with.

Towards a Theory of Bugs: The Ruliology of the Unexpected

https://content.wolfram.com/sites/43/2026/07/sw07152026turingimg6.png
The author explores the concept of bugs in software and their ubiquity, discussing how even simple programs can exhibit computational irreducibility and unpredictability, making it difficult to guarantee bug-free behavior. The author uses examples from Turing machines and cellular automata to illustrate the challenges of predicting program behavior and the importance of computational ...

Shay Locomotives

The Birth of the American 12-string Guitar (2013)

https://www.harpguitars.net/history/grunewald/brown_small.jpg
Carl Brown invented a 10-string "harp-guitar" in 1896, which was later manufactured by the Gordon and Wurlitzer companies, and Rene Grunewald's firm also produced a similar instrument. The 10-string harp-guitar was marketed as a practical and useful instrument for beginners, with a tone resembling a mandolin and guitar, and was considered a radical improvement over the standard guitar.

Exercise works for depression. So why isn't it treated like real medicine?

https://bigthink.com/wp-content/uploads/2026/07/B1-Web-Thomson-1.jpg?quality=85&w=256&h=256&crop=1
Exercise can significantly reduce symptoms of depression by boosting brain neuroplasticity, regulating stress-response systems, and strengthening psychological resilience. However, despite strong evidence, exercise is often underutilized in treating depression due to lack of clinician training and practical guidance.

AI companies spend record sums on Washington lobbying

The following information can help our support team to resolve this issue.

PGSimCity - How PostgreSQL Works

https://nikolays.github.io/PGSimCity/og.png
PGSimCity is an independent, non-commercial educational visualization of PostgreSQL internals. It is not affiliated with, sponsored, endorsed, or approved by Electronic Arts Inc. SimCity is a trademark of Electronic Arts Inc. Early, unreviewed prototype. It almost certainly contains inaccuracies in both the model and explanations. Found one? Open an issue or send a pull request.

Elevated errors on Claude Opus 5

This incident affected: claude.ai, Claude API (api.anthropic.com), Claude Code, and Claude Cowork.

The Proof Machine (2016)

The Incredible Proof Machine is a visual tool for creating proofs in various logics, allowing users to drag and drop blocks and connect them properly to achieve a complete proof. It is free software with plans to save progress on a server in a future version, allowing users to contribute to its development.