🔬 Refinement Types - matmat · Scour

Metasploit Wrap-Up 02/06/2026

rapid7.com·3d

🛡️eBPF Security

Topological Semantics for Common Inductive Knowledge

arxiv.org·23h

🔢Denotational Semantics

Codes for Metastability-Containing Addition

arxiv.org·23h

🌍Topological Codes

To Consume or Reference in Rust

meejah.ca·4d

🦀Rust Borrowing

iosdevweekly.com·4d

📡RSS Automation

tkr: Reflecting on my first hobby software project

goodinternetmagazine.com·3d

🦀Rusty Databases

Boost LLM Security: automated Red Teaming at Scale with Promptfoo

blog.nviso.eu·4d

⚡Proof Automation

How I Stopped Rewriting My Code Every Time I Switched LLM Providers

dev.to·3d·

Discuss: DEV

Long-Sought Proof Tames Some of Math’s Unruliest Equations

quantamagazine.org·3d·

Discuss: Hacker News, Hacker News

⚔️Lean Theorem

A Quick Introduction to OxCaml

noelwelsh.com·5d·

Discuss: Hacker News

💧Liquid Types

michaelhelvey/lilfuture: Educational async runtime for Rust

github.com·4d

🦀Rust Macros

Adaptive Neuro-Symbolic Planning for smart agriculture microgrid orchestration in hybrid quantum-classical pipelines

dev.to·1d·

Discuss: DEV

⚡Incremental Computation

theprogrammersparadox.blogspot.com·3d·

Discuss: Hacker News

🕹Emulation Theory

Millets: A practical memory-safety and thread-safety experiment

eagledot.xyz·6d·

Discuss: Lobsters, Hacker News

🦀Rust Borrowing

Performance Tip of the Week #62: Identifying and reducing memory bandwidth needs

abseil.io·2d

💨Cache Analysis

Should small Rust structs be passed by-copy or by-borrow?

forrestthewoods.com·2d

🦀Rust Borrowing

Michael Tsai - Blog - LLMs and Software Development Roundup

mjtsai.com·3d

📏Code Metrics

Opus 4.5 really changed things

kylerush.org·1d·

Discuss: Hacker News

📚MARC Evolution

Local Agent Bench: Test 11 small LLMs on tool-calling judgment, on CPU, no GPU

github.com·2d·

Discuss: Hacker News, r/LocalLLaMA

⚡Performance Mythology

The Rise of Spec Driven Development

dbreunig.com·3d·

Discuss: Hacker News

🔄Reproducible Builds

Loading more...