Marshal madness: A brief history of Ruby deserialization exploits
blog.trailofbits.com·1d·
Discuss: Hacker News
🦀Rust
That's Not Refactoring
codewithjason.com·6h·
Discuss: Hacker News
⚙Functional Programming
Testing LLMs offline with Ollama
corinfaife.co·1d
🎲Probabilistic Programming
IAC with Terraform
github.com·2h·
Discuss: DEV
🤝Protocol Design
Von Neumann's minimax theorem through Fourier-Motzkin elimination
arxiv.org·2d
🔢Mathematical Logic
Batch no. 2 return statement
blog.jfo.click·4d
🔧Compiler Design
Sebuf: Build HTTP APIs from Protobuf Definitions with Automatic Validation and OpenAPI Docs (And more)
reddit.com·1d·
Discuss: r/golang
🤝Protocol Design
Pluralsight vs Udemy: Which Platform Actually Helps You Code Better (and Not Just Collect Certificates)?
dev.to·10h·
Discuss: DEV
👐Open Source Software
There Is Only Time
carlbarenbrug.com·12h
🔄Category Theory
Born's Rule from Quantum Frequentism
arxiv.org·1d
🔢Mathematical Logic
Ambient-Adaptive Real-time Noise monitoring
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
⭐ python cpython
waylonwalker.com·4d
📐Type Theory
AI Needs Us—Yes, Really
every.to·12h
🧩Theorem Proving
A Fully Transformer Based Multimodal Framework for Explainable Cancer Image Segmentation Using Radiology Reports
arxiv.org·17h
🎲Probabilistic Programming
CryptoScope: Utilizing Large Language Models for Automated Cryptographic Logic Vulnerability Detection
arxiv.org·2d
🧭SMT Solvers
flow-run: LLM Orchestration, Prompt Testing & Cost Monitoring
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
how-side-effects-work-in-fp
chadnauseam.com·4d
⚙Functional Programming
Monad annoyance
macwright.com·1d
⚙Functional Programming
Mastering Go Concurrency: Taming Race Conditions Like a Pro
dev.to·2d·
Discuss: DEV
⚡Concurrency
What I Learned From a Week of AI-Assisted Coding: The Good, The Bad, and The Surprisingly Counterintuitive
dev.to·7h·
Discuss: DEV
🧩Theorem Proving