🐿️ 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

Why is my "optimized" O(1) space Python code slower than the "basic" O(n) space version?
leetcode.com·4h·
Discuss: r/programming
🔄Burrows-Wheeler
Catch Secrets in Real Time on GitHub with EnvScanner 2.0 and AI
hackernoon.com·1d
🔄Archival Workflows
Signal Relays
pzuraq.com·3d·
Discuss: Hacker News
✨Effect Handlers
Shelling Out Is Selling Out
petersobot.com·8h·
Discuss: Hacker News
🎞️MKV Forensics
RubyGems Security Response to Socket.dev and How We Protect the Ruby Ecosystem
blog.rubygems.org·15h·
Discuss: Hacker News, r/programming
❄️Nix Flakes
This is an excellent patch review by an expert, i.e., Thomas :) And it should be like this. Oh, a few days back I saw one from Greg too, a similar kind.... in t...
lore.kernel.org·1d·
Discuss: r/linux
🔌Operating system internals
These Rust Tools Will Seriously Level Up Your Dev Experience
dev.to·4d·
Discuss: DEV
🦀Rust Macros
Grok: Thousands LOC a day in C is a big deal even if the "coder" uses LLM?
news.ycombinator.com·11h·
Discuss: Hacker News
📏Code Metrics
Notes on Autograd
aschrein.github.io·15h·
Discuss: Hacker News
⚡Incremental Computation
Safe Is What We Call Things Later: Some Software Engineering Folklore
worksonmymachine.ai·1d·
Discuss: Hacker News
⚙️Proof Engineering
Using Gemini CLI as a Subagent for Claude Code
aicodingtools.blog·20h·
Discuss: Hacker News
⚡Proof Automation
Graph-R1: Incentivizing the Zero-Shot Graph Learning Capability in LLMs via Explicit Reasoning
arxiv.org·5h
💻Local LLMs
Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms
arxiv.org·1d
🕸️Network Topology
A chatbot that builds Rails apps
kodykendall.com·16h·
Discuss: Hacker News
🦋Format Metamorphosis
Snowflake Cortex Completion API + LaunchDarkly SDK Integration
dev.to·15h·
Discuss: DEV
🔌Interface Evolution
Feature-Refined Unsupervised Model for Loanword Detection
arxiv.org·5h
📏Manuscript Metrics
Large Language Model-Based Automatic Formulation for Stochastic Optimization Models
arxiv.org·5h
🧠Machine Learning
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·23h·
Discuss: DEV
🔗Constraint Handling
Show HN: I made a WASI orchestration prototype
github.com·1d·
Discuss: Hacker News
🌐WASI
How to Use Weak Pointers in Go 1.24
dev.to·11h·
Discuss: DEV
🔒Type Safety
Loading...Loading more...
AboutBlogChangelogRoadmap