🧬 Functional Programming

Immutability, Pattern Matching, Type Theory, Pure Functions, Type Systems, Monads, Haskell, OCaml, Immutability, Pure Functions, Monads, Agda

Misinformation, Conspiracy Theories, and the Oregon Wildfire Map
maproomblog.com·1d
🔶Voronoi Diagrams
Radioscapes Symposium at the Noorderlicht Biennale, Groningen
criticalinfralab.net·4d
📼Cassette Culture
InfoSec News Nuggets 8/21/2025
aboutdfir.com·1d
🔓Hacking
ChatGPT 6 is a jerk
jesseduffield.com·17h·
Discuss: Hacker News
📡RSS
California’s governor signed a redistricting plan. What happens next?
theguardian.com·13h
🎨Graph Coloring
DeepSeek's new V3.1 release points to potent new Chinese chips coming soon
theregister.com·1d
🎯Emulator Accuracy
Jennifer Lynch
eff.org·1d
⚖️Legal Compliance
Hegseth fires general whose agency's intel assessment of damage from Iran strikes angered Trump
the-independent.com·11h
🗄SIARD
US Open outright prediction, tennis odds and betting tips
the-independent.com·19h
🔍BitFunnel
Football Predictions Always Wrong? 5 Overlooked Data Dimensions to Help You Improve Accuracy
dev.to·1d·
Discuss: DEV
⚡Proof Automation
Security Access with M5 Core2
hackster.io·21h
🛡️ARM TrustZone
Reid Hoffman says vibe coding won't 'wipe out' productivity software
businessinsider.com·1d
🌍Cultural Algorithms
The Heisig method for learning sinographs
languagelog.ldc.upenn.edu·5d
🇯🇵Japanese Computing
What's the best practice to encrypt password?
reddit.com·1d·
Discuss: r/golang
🔐Archive Encryption
Israel vows to raze Gaza City if Hamas does not agree to disarm and free hostages
lemonde.fr·23h
💻Local first
What is SAST as a Service? A Complete Guide
boostsecurity.io·1d
⚡Proof Automation
Weekend Drop: ReThynk AI – Behind the Scenes
dev.to·3d·
Discuss: DEV
🌊Streaming Systems
SafeConstellations: Steering LLM Safety to Reduce Over-Refusals Through Task-Specific Trajectory
arxiv.org·5d
✨Effect Handlers
CryptoScope: Utilizing Large Language Models for Automated Cryptographic Logic Vulnerability Detection
arxiv.org·5d
🧪Binary Fuzzing
[D] Beyond the cloud: SLMs, local AI, agentic constellations, biology and a high value direction for AI progress
reddit.com·4d·
Discuss: r/MachineLearning
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing