🧬 Functional Programming

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

SQL Injection in Cyber Security Prevention Guide
securityscorecard.com·13h
🗃️Database Forensics
Commercial Offensive Cyber Capabilities: Red-Team Focus and What It Means for Digital Investigations
digitalforensicsmagazine.com·12h
🎯Threat Hunting
Willy Messerschmitt – Experience in the design of metal aeroplanes (1943)
calum-douglas.com·19h·
Discuss: Hacker News
⚙️Cassette Mechanics
Smooth Minimum for Signed Distance Fields (2013)
iquilezles.org·4d·
Discuss: Hacker News
🌀Differential Geometry
Run illumos? The Café is open!
rubenerd.com·23h
🏠Homelab Archaeology
Kdenlive 25.08.0 released
kdenlive.org·21h·
Discuss: r/linux
🎞️MKV Internals
Last Week on My Mac: Drought and neural engines
eclecticlight.co·2d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Simplifying Code: Migrating from Reactive to Virtual Threads
scalex.dev·4d·
Discuss: Hacker News
🌊Stream Processing
AI-powered tool developed for near real-time, large-scale wildfire fuel mapping
phys.org·17h
📊Computational Geometry
Congestion control at IETF 123
blog.apnic.net·1d
📡Network Protocol Design
Migrating from Monolith to Serverless
news.ycombinator.com·4d·
Discuss: Hacker News
🧱Immutable Infrastructure
When to use interfaces vs structs in a logistics simulation
reddit.com·1d·
Discuss: r/golang
🔒Linear Types
Day 70: When Your First Hater Becomes Your Best Motivator
dev.to·4h·
Discuss: DEV
❄️Nix Flakes
Create a travel planning agentic workflow with Amazon Nova
aws.amazon.com·12h
🌊Streaming Systems
Memory Architects - Chapter 3: The Third Thing
dev.to·3d·
Discuss: DEV
⏰Time Crystals
Hyper-Scale Semantic Graph Construction for Enhanced Knowledge Retrieval in Google Search
dev.to·2d·
Discuss: DEV
🔍Semantic Search
Leveraging Large Language Models for Rare Disease Named Entity Recognition
arxiv.org·5d
⚙️Compression Benchmarking
Dynamic Reconfiguration of Microfluidic Channels via Programmable Shape Memory Polymer Actuators for Lab-on-a-Chip Applications
dev.to·1d·
Discuss: DEV
🌊Stream Processing
HiFACTMix: A Code-Mixed Benchmark and Graph-Aware Model for EvidenceBased Political Claim Verification in Hinglish
arxiv.org·4d
📋Document Grammar
PakBBQ: A Culturally Adapted Bias Benchmark for QA
arxiv.org·4d
🧠Intelligence Compression