[$] Libxml2's "no security embargoes" policy
lwn.net·18h
🔓Free and open source
How AI/LLMs Can Help, Hinder Developers
cacm.acm.org·12h
🔄Language Evolution
Learn – Computer-Aided Instruction on Unix
wolfram.schneider.org·10h·
Discuss: Hacker News
📟Terminal Typography
How much code does that proc macro generate?
nnethercote.github.io·9h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
LLMs bring new nature of abstraction
martinfowler.com·1d·
Discuss: Hacker News
💻Programming languages
The AI Agent schism: deterministic vs. non deterministic
writing.kunle.app·15h·
Discuss: Hacker News
⚡Proof Automation
Memory Safety in Web Rust System Zero Cost Secure（1750885516953300）
dev.to·12h·
Discuss: DEV
🦀Rust Borrowing
The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·2d
🎯Performance Proofs
SAVANT: Vulnerability Detection in Application Dependencies through Semantic-Guided Reachability Analysis
arxiv.org·2d
💧Liquid Types
Implementing Post Quantum algorithms in PKCS #11 - DevConf.CZ 2025
youtube.com·1h
🔐Quantum Security
Safe Pruning LoRA: Robust Distance-Guided Pruning for Safety Alignment in Adaptation of LLMs
arxiv.org·1d
💻Local LLMs
Mirage of Mastery: Memorization Tricks LLMs into Artificially Inflated Self-Knowledge
arxiv.org·1d
🧠Intelligence Compression
Generative AI Model Data Pre-Training on Kubernetes: A Use Case Study - DevConf.CZ 2025
youtube.com·1h
🌊Streaming Systems
Machine Learning Fundamentals: accuracy with python
dev.to·1d·
Discuss: DEV
👁️Observatory Systems
MATE: LLM-Powered Multi-Agent Translation Environment for Accessibility Applications
arxiv.org·1d
🎙️Whisper
Machine Learning Fundamentals: active learning
dev.to·1d·
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·2d
💻Programming languages
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·17h·
Discuss: DEV
🌊Stream Processing
⚡️ Stop Writing Flaky Tests: Your Foundational Guide to Async in Playwright
dev.to·3h·
Discuss: DEV
⚡Proof Automation