🧬 Functional Programming

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

AssemblyScript
assemblyscript.org·1d·
Discuss: Lobsters
🛡️WebAssembly Security
Uncovering memory corruption in NVIDIA Triton (as a new hire)
blog.trailofbits.com·5h·
Discuss: Hacker News
🧪Binary Fuzzing
Mini Current Meter
hackster.io·1d
🔌Single Board PC
Efforts to Ground Physics in Math Are Opening the Secrets of Time
wired.com·2d·
Discuss: Hacker News, Hacker News, Hacker News
📐Mathematical Art
How to Create Unbreakable Job Security: A Software Developer's Guide to Making Yourself Indispensable
getparthenon.com·1d·
Discuss: Hacker News, r/programming
💾Persistence Strategies
The Summer of Codex
paylias.xyz·3d·
Discuss: Hacker News
🦋Format Metamorphosis
dywoq/dywoqlib
github.com·1d
📡RSS Extensions
Novel molecular capsules can impart chirality to large, rigid metal-containing dyes
phys.org·2h
🧲Magnetic Domains
Rein++: Efficient Generalization and Adaptation for Semantic Segmentation with Vision Foundation Models
arxiv.org·12h
📊Learned Metrics
Orchestrating Agentic Coding
brethorsting.com·1d·
Discuss: Hacker News
⚡Proof Automation
How to Protect Your FastAPI Public API with API Keys
dev.to·6h·
Discuss: DEV
🔌Archive APIs
Built My First AI Agent Without Code Using SmythOS (Weaver is wild)
dev.to·1d·
Discuss: DEV
📐Proof Assistants
Is Vibe Coding Dead? The Uncomfortable Truth About AI Agents and Developer Productivity
dev.to·1d·
Discuss: DEV
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Mobile AI with ONNX Runtime: How to Build Real-Time Noise Suppression That Works
hackernoon.com·2d
⚡Modern Compression
Letting AI Narrate My Past: A Telegram Bot with Google Drive and GenAI Magic
dev.to·1d·
Discuss: DEV
⚡gRPC
DP-DGAD: A Generalist Dynamic Graph Anomaly Detector with Dynamic Prototypes
arxiv.org·1d
🔍Vector Forensics
Do LLMs produce texts with "human-like" lexical diversity?
arxiv.org·1d
📝Text Parsing
AI-Generated Algorithmic Virality
arxiv.org·12h
⚖️Feed Ranking
MAP: Mitigating Hallucinations in Large Vision-Language Models with Map-Level Attention Processing
arxiv.org·12h
🧠Learned Codecs
🤖 Why I Sometimes Regret Using AI Coding Assistants—A Developer’s Honest Take
dev.to·10h·
Discuss: DEV
🏗️Compiler Archaeology