🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⚡ Dependent Rust

Verification, Type-level Programming, Safety Proofs, Linear Types

The Switch 2’s next killer app is already here
theverge.com·9h
🗜️LZW Variants
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·3d·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Cybersecurity Snapshot: AI Security Tools Embraced by Cyber Teams, Survey Finds, as Vulnerability Research Gets a Boost from UK Cyber Agency
tenable.com·2d
🔓Hacking
Show HN: A rudimentary game engine to build four dimensional VR evironments
brainpaingames.com·1d·
Discuss: Hacker News
📟Terminal Physics
Notes on Image Generation with GPT-4.1
taoofmac.com·1h·
Discuss: Hacker News
📐Mathematical Art
Tokens: The New Oil or Engineering in Spite of Scarcity
tidyfirst.substack.com·22h·
Discuss: Substack
🔍BitFunnel
Test Code Like Zelda: When to Implement Automated Testing
usetusk.ai·1d·
Discuss: Hacker News
🔍Concolic Testing
Proxmox-GitOps - a Self-configuring GitOps Environment for Container Automation in Proxmox VE
github.com·16h·
Discuss: Hacker News, r/devops
🧱Immutable Infrastructure
Understanding TypeScript A Beginner-Friendly Dive Into Types
blog.codeminer42.com·5d
🎯Gradual Typing
Grep a million GitHub repositories via MCP
vercel.com·3d·
Discuss: Hacker News
⚡Proof Automation
Some notes on project management
andrewpwheeler.com·1h·
Discuss: Hacker News
📏Code Metrics
Open Source Maintainers Feeling the Weight of the EU’s Cyber Resilience Act
socket.dev·3d·
Discuss: Hacker News
🔓Open Source Software
Small Pull Requests, Big Impact: The Art of Code Reviews • Adrienne Braganza Tacke & Sasa Juric
youtube.com·2d
📏Code Metrics
Alibaba's Qwen2.5 only excels at math thanks to memorized training data
the-decoder.com·8h
🧠Intelligence Compression
The Power of HTML - Part 2: Semantic HTML: Building Meaningful Web Structures
dev.to·11h·
Discuss: DEV
📄Text Chunking
Early Detection of Furniture-Infesting Wood-Boring Beetles Using CNN-LSTM Networks and MFCC-Based Acoustic Features
arxiv.org·2d
🎧Learned Audio
Graph or Chain? Choosing the Right Engine for Your AI App
dev.to·3d·
Discuss: DEV
🔗Topological Sorting
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·3d·
Discuss: Hacker News
💻Local LLMs
Python Fundamentals: build
dev.to·5d·
Discuss: DEV
🔄Reproducible Builds
VITA: Vision-to-Action Flow Matching Policy
arxiv.org·2d
🔲Cellular Automata
Loading...Loading more...
AboutBlogChangelogRoadmap