🦀 Rust Borrowing

Memory Safety, Ownership Models, Systems Programming, Compile-time Verification

#359
weeknotes.barrucadu.co.uk·5d
λLambda Formalization
Do LLMs Have Good Music Taste?
tylercosgrove.com·3d·
Discuss: Hacker News
🎯Recommendation Metrics
I let LLMs write an Elixir NIF in C; it mostly worked
overbring.com·6d·
Discuss: Hacker News
💧Liquid Types
Trump’s presidential philosophy is government by shakedown | Steven Greenhouse
theguardian.com·1h
🎯Proof Tactics
Show HN: DockFlow – Dock presets for instant workflow switching on macOS
news.ycombinator.com·20h·
Discuss: Hacker News
🪟Awesome windows command-line
Startups on hard mode: Founding in Europe
medium.com·18h·
Discuss: Hacker News
🖥️Terminal Renaissance
Google didn't show its AI health coach in action – here are 5 features I hope we'll see when it drops
techradar.com·10h
🎯Emulator Accuracy
Machine Learning Models in Python for Botox Elmwood Marketing
dev.to·2d·
Discuss: DEV
🧠Machine Learning
How Warlock Ransomware Targets Vulnerable SharePoint Servers
darkreading.com·1d
📡Feed Security
ASP-Completeness Proofs of Puzzles Using the T-Metacell Framework
arxiv.org·4d
🧮SMT Solvers
Retro-Expert: Collaborative Reasoning for Interpretable Retrosynthesis
arxiv.org·4d
🧮Theorem Proving
FBI: Russia-linked group Static Tundra exploit old Cisco flaw for espionage
securityaffairs.com·1d
🕵️Vector Smuggling
Question: Building a server for Minecraft server hosting
reddit.com·3d·
Discuss: r/homelab
🔒Linear Types
Adaptive GMM-Based Anomaly Detection in Time-Series Sensor Data for Predictive Maintenance
dev.to·3d·
Discuss: DEV
👁️Observatory Systems
Do Large Language Model Agents Exhibit a Survival Instinct? An Empirical Study in a Sugarscape-Style Simulation
arxiv.org·3d
🔲Cellular Automata
X-Ray-CoT: Interpretable Chest X-ray Diagnosis with Vision-Language Models via Chain-of-Thought Reasoning
arxiv.org·3d
🧠Machine Learning
Optimal Condition for Initialization Variance in Deep Neural Networks: An SGD Dynamics Perspective
arxiv.org·3d
🧠Machine Learning
What’s Next for Crypto? Web3 VC founder James Wo on the Future of Digital Finance
hackernoon.com·2d
🤝Distributed Consensus
How to Vibe Code With Security in Mind
darkreading.com·2d
🔓Hacking
Binary clock
hackster.io·2d
⚙️DIY Electronics