Getting Started with TypeScript on Fastly Compute
fastly.com·17h
💧Liquid Types
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·18h·
Discuss: Hacker News
📟Terminal Typography
How much code does that proc macro generate?
nnethercote.github.io·17h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
How AI/LLMs Can Help, Hinder Developers
cacm.acm.org·20h·
Discuss: Hacker News
🔄Language Evolution
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·1d·
Discuss: Hacker News
⚡Proof Automation
Implementing Post Quantum algorithms in PKCS #11 - DevConf.CZ 2025
youtube.com·9h
🔐Quantum Security
Passwordless Auth: a JSON-Based Approach for modern authentication w/ SSSD & GNOME - DevConf.CZ 2025
youtube.com·9h
🔓Password Cracking
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·1d
💻Local LLMs
Generative AI Model Data Pre-Training on Kubernetes: A Use Case Study - DevConf.CZ 2025
youtube.com·9h
🌊Streaming Systems
Machine Learning Fundamentals: accuracy with python
dev.to·2d·
Discuss: DEV
👁️Observatory Systems
MATE: LLM-Powered Multi-Agent Translation Environment for Accessibility Applications
arxiv.org·1d
🎙️Whisper
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·20h·
Discuss: DEV
🦀Rust Borrowing
Machine Learning Fundamentals: active learning
dev.to·2d·
Discuss: DEV
🤖Grammar Induction
TableVault: Managing Dynamic Data Collections for LLM-Augmented Workflows
arxiv.org·2d
🔄Schema Evolution
LFCS Seminar Tuesday 8th July: John Longley
informatics.ed.ac.uk·3d
💻Programming languages
12 Lessons from AI Pair Programming (180 Days with AI, Zero Hype)
dev.to·53m·
Discuss: DEV
⚡Proof Automation
🧠 Code That Explains Itself: Writing Self-Documenting Code in 2025
dev.to·5h·
Discuss: DEV
🔄Reproducible Builds
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·1d·
Discuss: DEV
🌊Stream Processing
Client Clustering Meets Knowledge Sharing: Enhancing Privacy and Robustness in Personalized Peer-to-Peer Learning
arxiv.org·13h
🔒Privacy Preserving
LARP: Learner-Agnostic Robust Data Prefiltering
arxiv.org·13h
💻Local LLMs