🧠 Program Logic

Separation Logic, Concurrent Reasoning, Memory Safety, Resource Tracking

Gunnar Wolf: The comedy of computation, or, how I learned to stop worrying and love obsolescence
gwolf.org·5d
🧲Magnetic Philosophy
The Impact of Underfueling on Performance
creators.yahoo.com·4h·
Discuss: Hacker News
📡Feed Security
AI-powered stethoscope could pick up three heart conditions 'within seconds'
standard.co.uk·2h·
Discuss: Hacker News
📊Spectrograms
Simpler Multiple Layouts with Phoenix 1.8
elixircasts.io·2d·
Discuss: Hacker News
🦋Format Metamorphosis
KDE Plasma finally brings a feature users have been requesting for 22 years
neowin.net·4h·
Discuss: Hacker News
🕸️WASM Archives
Kubernetes 1.34 stabelizes Dynamic Resource Allocation
heise.de·1d
📦Container Security
The GitOps Non-Kubernetes Homelab
shadybraden.com·1d·
Discuss: Hacker News
📦Container Security
Threads tests a way to share long-form text on the platform
techcrunch.com·2d
🏰Manuscript Networks
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·5d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
Simplify Your Data Queries with Query Lens - Feedback Needed!
dev.to·3d·
Discuss: DEV
🗄️Database Internals
ESET warns of PromptLock, the first AI-driven ransomware
securityaffairs.com·3d
🛡Cybersecurity
Webull Corporation (BULL) Q2 2025 Earnings Call Transcript
seekingalpha.com·1d
📰Feed Readers
Enhanced Telomerase-Responsive Drug Delivery via Self-Assembling Peptide Nanocarriers
dev.to·2d·
Discuss: DEV
📦METS Packaging
E-BayesSAM: Efficient Bayesian Adaptation of SAM with Self-Optimizing KAN-Based Interpretation for Uncertainty-Aware Ultrasonic Segmentation
arxiv.org·4d
🧠Machine Learning
Disentangling Polysemantic Neurons with a Null-Calibrated Polysemanticity Index and Causal Patch Interventions
arxiv.org·4d
🔍Vector Forensics
Collaborative-Online-Learning-Enabled Distributionally Robust Motion Control for Multi-Robot Systems
arxiv.org·4d
🤝Consensus Networks
MC3G: Model Agnostic Causally Constrained Counterfactual Generation
arxiv.org·4d
🔍BitFunnel
Should LLMs be WEIRD? Exploring WEIRDness and Human Rights in Large Language Models
arxiv.org·2d
💻Local LLMs
End to End Autoencoder MLP Framework for Sepsis Prediction
arxiv.org·3d
🧠Machine Learning
How to use GitHub Copilot on github.com: A power user’s guide
github.blog·3d
🌿git