🧬 Functional Programming

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

Jeffrey and the Jarne Blade!!
plover.stenoknight.com·12h·
Discuss: www.blogger.com
⌨️Mechanical Keyboards
OpenAI o3 checkmates Grok in a chess showdown, and it wasn't even close
techradar.com·11h
🔲Cellular Automata
Logarithmic mean energy optimization a metaheuristic algorithm
nature.com·4d·
Discuss: Hacker News
⚡Incremental Computation
Show HN: Tenum – a serverless full‑stack Dev Plattform and Runtime
tenum.ai·4h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Time is a Flat Circle (2015)
thecritique.com·1d·
Discuss: Hacker News
🏛️Philosophy
I ban users from my repositories
willmcgugan.github.io·1d·
Discuss: Hacker News
📰RSS Reading Practices
Hunting Bugs in Perf_event2
roci.co.za·4d·
Discuss: Hacker News
🔍eBPF
Tsunami forecasting about to get a lot faster thanks to El Capitan super
theregister.com·16h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Usernames, Passwords, and Security
usenix.org·1d
📡DNS Archaeology
Securing Meta's Production PKI Credentials
usenix.org·1d
🎯NTLM Attacks
Creating Push Button Trading: A Journey in Algorithmic Trading with Python and C++
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
How I deployed my first project for my devops portfolio: EC2 health check and monitoring and Conclusion
dev.to·1d·
Discuss: DEV
⚡gRPC
Evaluating Large Language Models as Expert Annotators
arxiv.org·2d
🤖Grammar Induction
A Context-aware Attention and Graph Neural Network-based Multimodal Framework for Misogyny Detection
arxiv.org·10h
📊Learned Metrics
Using LLMs to Capture Users' Temporal Context for Recommendation
arxiv.org·1d
⚖️Feed Ranking
Understanding the Core Concepts: From Data Mountains to Informative Peaks
dev.to·2d·
Discuss: DEV
📐Vector Dimensionality
miRKatAI: An Integrated Database and Multi-agent AI system for microRNA Research
arxiv.org·1d
🗂️Vector Databases
Vive la Difference: Practical Diff Testing of Stateful Applications
muratbuffalo.blogspot.com·22h·
Discuss: www.blogger.com
✅Archive Fixity
From black box to glass box
dev.to·8h·
Discuss: DEV
👁️System Observability
Automated Anomaly Detection in Cloud Resource Configuration Utilizing Dynamic Graph Embeddings
dev.to·12h·
Discuss: DEV
🔍Vector Forensics