LFCS Seminar: Tuesday, 5 August: Michael Sperber
informatics.ed.ac.uk·1d
🧬Functional Programming
After stage-gate: companies developing new idea-to-launch processes (2014)
thefreelibrary.com·2d·
Discuss: Hacker News
🦋Format Evolution
Everyone’s Invited to the Copyparty
hackaday.com·2d
🏠HomeLab
Gadget geeks aghast at guru's geriatric GPU
theregister.com·2h
🖥️Modern Terminals
CISA released Thorium platform to support malware and forensic analysis
securityaffairs.com·14h
🦠Malware Analysis
Lidarts – a free, open-source [scoring] website for darts games
github.com·4h·
Discuss: Hacker News
🔒Linear Types
AI reshapes the craft of software engineering, with Yoav Tzfati
complexsystemspodcast.com·3d·
Discuss: Hacker News
🔄Language Evolution
Coding for the Future Agentic World
addyo.substack.com·3d·
Discuss: Substack
🔄Language Evolution
“Shove Left” – Dumping Downstream Tasks Onto Developers – A Recipe for Failure
devops.com·2d
🔄Language Evolution
Advice on my homelab
reddit.com·8h·
Discuss: r/homelab
🏠HomeLab
From first commits to big ships: Tune into our new open source podcast
github.blog·3d
🔓Open Source Software
Weekly Tech Discoveries Part - 03
dev.to·4d·
Discuss: DEV
👁️Observatory Systems
MS-A2 VCF 9.0 Lab: Configuring NSX Virtual Private Cloud (VPC)
williamlam.com·1d
🖥Home Lab Setup
How Not to Be Replaced by AI (A Developer’s Guide)
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms
🌐Developing Agents Isn’t About Writing Logic—It’s About Deploying Behavior
dev.to·20h·
Discuss: DEV
🔒WASM Capabilities
Best Alternative to Bitdefender Antivirus of 2025
techradar.com·11h
🧪Binary Fuzzing
Large Language Models for Supply Chain Decisions
arxiv.org·2d
🔗Supply Chain
Developer Walk-Through of Aider, an Open Source Agentic CLI
thenewstack.io·6d
👑Isabelle
Task Master: Your AI-Powered Project Manager
dev.to·3d·
Discuss: DEV
⚡Proof Automation
Introducing SnippKit – Your Dev Brain, Organized. 🧠
dev.to·2d·
Discuss: DEV
🌳Incremental Parsing