🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🏗️ Language Design

Type Systems, Compiler Theory, Syntax Evolution, Memory Models

Adding lookbehinds to rust-lang/regex
systemf.epfl.ch·3d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust
Re-implementing the Nix protocol in Rust
tweag.io·3d·
Discuss: Hacker News
🦀Rust
Helix Editor Release 25.07 Highlights
helix-editor.com·2d·
Discuss: Lobsters, Hacker News, r/linux
🦀Rust
Code Smell 307 - Naive Time Assumptions and How to Fix It
hackernoon.com·1d
🦀Rust
The hidden dangers of AI-generated code in modern web frameworks
dev.to·1d·
Discuss: DEV
🦀Rust
Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.org·1d
🦀Rust
Recurrent U-Net-Based Graph Neural Network (RUGNN) for Accurate Deformation Predictions in Sheet Material Forming
arxiv.org·1d
🦀Rust
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·1d·
Discuss: DEV
✅Formal Verification
Can the Law Compile? Legal Speech as Machine Code
hackernoon.com·4d
✅Formal Verification
Everything You Need to Know About the Gemini CLI
dev.to·16h·
Discuss: DEV
🦀Rust
🤖 Building an AI-Powered GitHub README Generator with MCP Protocol
dev.to·2d·
Discuss: DEV
🦀Rust
COLIBRI Fuzzy Model: Color Linguistic-Based Representation and Interpretation
arxiv.org·2d
✅Formal Verification
Sandboxing AI - Extending AI Responsibly
dev.to·2d·
Discuss: DEV
🦀Rust
Toxicity-Aware Few-Shot Prompting for Low-Resource Singlish Translation
arxiv.org·1d
🦀Rust
Think Better, Work Less: My New AI Workflow Explained
dev.to·23h·
Discuss: DEV
🎨UX, UI
Spectral Bellman Method: Unifying Representation and Exploration in RL
arxiv.org·7h
🦀Rust
"Mapping What I Feel": Understanding Affective Geovisualization Design Through the Lens of People-Place Relationships
arxiv.org·1d
🎨UX, UI
"Ode to Advanced TypeScript", a poem by Grok
dev.to·6d·
Discuss: DEV
🦀Rust
GeoReg: Weight-Constrained Few-Shot Regression for Socio-Economic Estimation using LLM
arxiv.org·7h
🦀Rust
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
arxiv.org·3d
✅Formal Verification
Loading...Loading more...
AboutBlogChangelogRoadmap