🔒 Type Safety - matmat · Scour

Daily Mail’s £500m Telegraph takeover faces government investigation

the-independent.com·19m

📄PDF Forensics

One dead after vehicle drives off Big Sur cliff

mercurynews.com

·19m

🔓Reverse engineering

Sweden JAS 39 Gripen fighter jets to guard Greenland

sverigesradio.se·14m

🇸🇪Swedish Cryptanalysis

When building his staff, SF Giants’ Vitello wanted coaches with ‘something to prove’

mercurynews.com

·18m

🎯Threat Hunting

59 days to election: Hungary accused of cover-up at toxic Samsung battery plant, as sex-video smear targets opposition leader

euobserver.com·21m

⚖️Legal Compliance

I found one of the biggest price cuts on a brand new Core Ultra 7 Dell laptop - this Dell 14 Plus is now under $700 for Presidents' Day

techradar.com

·38m

🔌Operating system internals

Who is under-fire Manchester United co-owner Sir Jim Ratcliffe?

the-independent.com·22m

🏠Personal Archives

Declarative, Reproducible Emacs

irreal.org·4d

🧩Shell Metaprogramming

Barely any EU data centers are actually ready for AI - and upgrading could be a costly challenge

techradar.com

·13m

⚡Nordic Processors

Six stable kernels for Friday

lwn.net·5d

📊RISC-V Vectors

How do you resolve CVEs in containers efficiently?

reddit.com·4d·

Discuss: r/kubernetes

📦Container Security

Showcase: "act" - A lightweight Go library for cleaner error handling - my take on the Go error handling discussion

reddit.com·4d·

Discuss: r/golang

📜Proof Carrying Code

Code Ownership at Scale: Who Knows What in Your Codebase

dev.to·4d·

Discuss: DEV

🔄Reproducible Builds

Aeon: A Zero-Allocation Go Time Library That Treats Time as "Containers" Rather Than "Offsets"

dev.to·5d·

Discuss: DEV

🐚Shell Calculus

ArkEval: Benchmarking and Evaluating Automated CodeRepair for ArkTS

arxiv.org·2d

📏Code Metrics

Still Manual? Automated Linter Configuration via DSL-Based LLM Compilation of Coding Standards

arxiv.org·2d

🗣️Domain-Specific Languages

An attempt at a First-Proof AI challenge

abhvio.us·4d·

Discuss: Hacker News

🎯Performance Proofs

How I squeezed a BERT sentiment analyzer into 1GB RAM on a $5 VPS

mohammedeabdelaziz.github.io·4d·

Discuss: Hacker News

🌀Brotli Dictionary

Dependency Resolution Methods

nesbitt.io·6d·

Discuss: Hacker News

🔗Dependency Resolution

"Compiled" Specs

deepclause.substack.com·4d·

Discuss: Substack

⚡Proof Automation

Loading more...