🦀 Rust Borrowing

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

Perfecting anti-aliasing on signed distance functions
blog.pkh.me·2h
🎨LUT Compression
Radicle Collaborative Objects
radicle.xyz·2d
📦Content Addressing
Artificial intelligence: Vibe coding service Replit deletes production database
heise.de·1d
🧮Z3 Solver
What Is a Terminal?
wezterm.org·2d·
Discuss: Hacker News
📟Terminals
Why Python Pros Avoid Loops: A Gentle Guide to Vectorized Thinking
kdnuggets.com·2d
⚡SIMD Optimization
Interfaces That Augment or Replace?
zehfernandes.com·3d·
Discuss: Hacker News
📟CLI Design
Efficient streaming of Markdown in the terminal
willmcgugan.github.io·2d·
Discuss: Hacker News, r/programming
📄Document Streaming
What "Parse, don't validate" means in Python?
bitecode.dev·3d·
Discuss: r/programming
✅Format Verification
Controlled Unease with AI Coding
denismaciel.com·19h·
Discuss: Hacker News
⚡Proof Automation
Kimi K2 vs Sonnet 4 for Agentic Coding (Tested on Claude Code)
composio.dev·3d·
Discuss: Hacker News, r/LocalLLaMA
🔌Interface Evolution
The Polymath Tool for All Your Audio and Document Needs
dev.to·9h·
Discuss: DEV
🎙️Whisper
Project-connex Decompositions and Tractability of Aggregate Group-by Conjunctive Queries
arxiv.org·5d
🎯Performance Proofs
Torchvista: Building an Interactive Pytorch Visualization Package for Notebooks
towardsdatascience.com·2d
🦀Rust Macros
Heartbreak on the server rack
reddit.com·1d·
Discuss: r/homelab
🛠️Greaseweazle
BetterCheck: Towards Safeguarding VLMs for Automotive Perception Systems
arxiv.org·2d
🗜️LZW Variants
Unsupervised Domain Adaptation for 3D LiDAR Semantic Segmentation Using Contrastive Learning and Multi-Model Pseudo Labeling
arxiv.org·1d
📊Learned Metrics
Post-Hackathon Blue Is Real😔
dev.to·17h·
Discuss: DEV
🚀Indie Hacking
Fast And Scalable FFT-Based GPU-Accelerated Algorithms for Block-Triangular Toeplitz Matrices With Application to Linear Inverse Problems Governed by Autonomous...
arxiv.org·1d
🌈Spectral Methods
Dependency Injection in Go: The Simple Way to More Testable Code
dev.to·3d·
Discuss: DEV
🔌Interface Evolution
Machine Learning Workflow for Analysis of High-Dimensional Order Parameter Space: A Case Study of Polymer Crystallization from Molecular Dynamics Simulations
arxiv.org·1d
🌀Differential Geometry