matmat's Feed · Scour

PeaZip 10.9 Released With File Manager and Viewer Improvements

linuxiac.com·9h

🏺ZIP Archaeology

To Consume or Reference in Rust

meejah.ca·1d

🦀Rust Borrowing

Nintendo reveals an impressive Switch 2 lineup with Indiana Jones, Fallout 4, FF7 Rebirth, and more

theverge.com

·2d

🏺Gaming Archaeology

Image Optimization - How to optimize images for the web

imagekit.io·2d

📸PNG Optimization

V.I. Arnold, On teaching mathematics

karlin.mff.cuni.cz·38m·

Discuss: Hacker News

📐Mathematical Art

Smart Homes Are Terrible

theatlantic.com

·3h·

Discuss: Hacker News

🏠Home Automation

Show HN: The Librarian creates artifacts while a model finishes its work

librarian.fieldtheory.dev·21h·

Discuss: Hacker News

📄Document Digitization

Sign up or login to customize your feed and get personalized topic recommendations

One Size Does NOT Fit All: On the Importance of Physical Representations for Datalog Evaluation

arxiv.org·1d

🧮Datalog Engines

An Equational Axiomatization of Dynamic Threads via Algebraic Effects: Presheaves on Finite Relations, Labelled Posets, and Parameterized Algebraic Theories

arxiv.org·1d

✨Effect Handlers

QT4 grammar explorer

so.nwalsh.com·3d

📝Parsing Grammars

Rethinking Time in Computation – From Wall Clocks to State Transitions

d1gesto.blogspot.com·22h·

Discuss: Hacker News

⏰Time Crystals

Bui – TUI for painless Bubblewrap sandboxing

smaller.fish·1d·

Discuss: Hacker News

Modern Trends In Floating-Point

semiengineering.com·2d

📐Arithmetic Precision

Designing a Drift-Resistant Memory System for LLMs

dev.to·21h·

Discuss: DEV

⚡Hardware Transactional Memory

Everything in Git: Running a Trading Signal Platform on NixOS

pxdynamics.com·1d·

Discuss: Hacker News

❄️Nix Adoption

🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

gavinhoward.com·2d

🦀Rust Verification

How StrongDM’s AI team build serious software without even looking at the code

simonwillison.net·1h·

Discuss: Hacker News

⚔️Lean Tactics

How Lisp Became God's Own Programming Language

twobithistory.org·3d

Full-Blown Cross-Assembler…in a Bash Script

hackaday.com·1d·

Discuss: Hacker News

🐚Bash Combinators

On the Promises of 'High-Assurance' Cryptography

symbolic.software·2d·

Discuss: Lobsters, Hacker News

🌳Archive Merkle Trees

Loading more...