matmat's Feed · Scour

QNAP Unifies Backup and Object Storage with myQNAPcloud One

storagereview.com·3h

🕸️Mesh Archiving

Michael Tsai - Blog - LLMs and Software Development Roundup

mjtsai.com·1d

📏Code Metrics

Interop 2025: A year of convergence

webkit.org·1d·

Discuss: Hacker News

🔌Interface Evolution

Strong Normalisation for Asynchronous Effects

arxiv.org·1d

✨Effect Handlers

RocqSmith: Can Automatic Optimization Forge Better Proof Agents?

arxiv.org·1d

⚔️Lean Tactics

Handling the Dual-Write Problem in Distributed Systems

auth0.com·2d·

Discuss: Hacker News

📝Database WAL

Digest #200: Kubernetes in Container, Git Shitstorm, $5M Data Centers and SDLC Threat Framework

devopsbulletin.com·1d

Pydantic Performance: 4 Tips on How to Validate Large Amounts of Data Efficiently

towardsdatascience.com·1d

✅Format Verification

theprogrammersparadox.blogspot.com·1d·

Discuss: Hacker News

🕹Emulation Theory

Collaborative real-time Markdown editor backed by Git

perchpad.co·23h·

Discuss: Hacker News

Synthesizing scientific literature with retrieval-augmented language models

nature.com·1d

🔍Information Retrieval

I had two projects solving the same problem. I merged them and published to npm in a day

dev.to·3h·

Discuss: DEV

🔄Language Evolution

microsoft/litebox: A security-focused library OS supporting kernel- and user-mode execution

github.com·1d·

Discuss: Hacker News, r/programming, r/rust

🔌Operating system internals

Formally Verifying PBS Kids with Lean4

shadaj.me·5d·

Discuss: Hacker News

⚔️Lean Tactics

Running Pydantic’s Monty Rust sandboxed Python subset in WebAssembly

simonwillison.net·1d·

Discuss: Hacker News

🕸️WebAssembly

**Abstract:** This paper presents a framework for automated reconstruction and analysis of paleobiological ecosystems from the Cretaceous-Paleogene (K-Pg) bo...

freederia.com·5d

🦴Binary Paleontology

Powering Adobe's Real-Time Advertising Analytics with gRPC Streaming

youtube.com·2d

🌊Streaming Systems

mkincl/mkincl: A simple way to reuse Makefiles and scripts across multiple repositories

github.com·1d·

Discuss: Hacker News

📦Package Managers

Open source USearch library jumpstarts ScyllaDB vector search

thenewstack.io·2d

🗂️Vector Databases

Enhancing the Vicinae Launcher: My new extensions for ProtonVPN and ultra-fast fd file searching.

reddit.com·6h·

Discuss: r/linux

🖥️Terminal Emulators

Loading more...