🧬 Functional Programming

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

A Technical Deep Dive into Glider
crowdsupply.com·2d·
Discuss: Hacker News
🖥️Modern Terminals
‘Religious leaders’ arrested on charges of running a forced labor camp and money laundering
the-independent.com·8h
🔍NTLM Forensics
Accelerating AI with FastMCP Cloud
prefect.io·2d·
Discuss: Hacker News
🔄Sync Engine
kftui — A better way to manage kubectl port-forwards
blog.devops.dev·3d
📦Container Security
Google to Require ID Verification for All Android Developers
reclaimthenet.org·6h·
Discuss: Hacker News
🔓Open Source Software
Chaos or comfort: a reflection on the engineer's quest
carette.xyz·3d·
Discuss: Hacker News
🔐Capability Systems
Home hardening and defensible space can halve wildfire damage, study finds
phys.org·4h
🌡️Preservation Physics
Screen time aids learning, but gender gaps remain
phys.org·6h
📊Rate-Distortion Theory
New method better predicts methane emissions from boreal-Arctic wetlands
phys.org·8h
🧊Arctic Storage
Tempest-LoRa: Cross-Technology Covert Communication
github.com·3d·
Discuss: Hacker News
📻Homebrew Protocols
[D] Using LLMs to extract knowledge graphs from tables for retrieval-augmented methods — promising or just recursion?
reddit.com·6d·
Discuss: r/MachineLearning
🧮Datalog
Agentic RAG and Context Engineering for Agents
vincirufus.com·2d·
Discuss: Hacker News
📥Feed Aggregation
From Idea to MVP: Building Our Own Platform for Old Game Mods
dev.to·3d·
Discuss: DEV
🎮Game Decompilation
Using Copilot with Legacy PHP: Lessons from Refactoring, Database Migration, and AI Hallucinations
dev.to·4d·
Discuss: DEV
🔄Language Evolution
Threat report: How cybercriminals are abusing Claude from Anthropic
heise.de·1d
🔓Hacking
Codex IDE Extension
developers.openai.com·1d·
Discuss: Hacker News
🤖Archive Automation
This AI model simulates 1,000 years of the current climate in just one day
phys.org·3d
🔲Cellular Automata
How to stop sounding like a junior dev during stand-up
dev.to·12h·
Discuss: DEV
❄️Nix Flakes
Driving AI Visibility in Search with Smart LLM Optimization
dev.to·1d·
Discuss: DEV
📊Feed Optimization
Beyond Imaging: Vision Transformer Digital Twin Surrogates for 3D+T Biological Tissue Dynamics
arxiv.org·3d
🧠Machine Learning