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

Molecules in the Spotlight: Snapshots Reveal the Eternal Dance of Particles
aktuelles.uni-frankfurt.de·1d·
Discuss: Hacker News
⏰Time Crystals
Fake Friend How ChatGPT betrays vulnerable teens encouraging dangerous behavior
counterhate.com·21h·
Discuss: Hacker News
🔓Hacking
Why was "master" changed to "main" in Git? Are these words evil?
terracoders.com·2d·
Discuss: Hacker News
🌿git
Why your Playwright end-to-end tests are slow
endform.dev·4d·
Discuss: Hacker News
🧪Property-Based Testing
Demystifying Claude Code Hooks
brethorsting.com·4d·
Discuss: Hacker News
🦀Rust Macros
How to build the #1 open source terminal-use agent
letta.com·4d·
Discuss: Hacker News
🖥️Modern Terminals
GNOME Mutter On Wayland Adds ICC Profile Support, Backlight Improvements
phoronix.com·1d
🌈Color Archaeology
The Real Reason Dev Teams Still Struggle to Catch High-Risk Vulnerabilities Early
infosecwriteups.com·4d
🔓Hacking
Why I'm excited about the Hierarchical Reasoning Model
medium.com·1d·
Discuss: Hacker News
🔲Cellular Automata
What To Do When Critical Open Source Projects Go End of Life
thenewstack.io·1d
🔓Open Source Software
OpenAI publishes new open models
heise.de·4d
🔓Open Source Software
AI: Do or Don’t Believe the Hype
devops.com·1d
⚙️Proof Engineering
Radar-Based NLoS Pedestrian Localization for Darting-Out Scenarios Near Parked Vehicles with Camera-Assisted Point Cloud Interpretation
arxiv.org·3d
📊Computational Geometry
Exposing OpenAI-Compatible APIs from GitHub Copilot Models
github.com·4d·
Discuss: Hacker News
🌊Streaming Systems
Deformable Attention Graph Representation Learning for Histopathology Whole Slide Image Analysis
arxiv.org·2d
🧮Vector Embeddings
ELA-1497-1 distro-info-data database update
freexian.com·22h
❄️Nix Flakes
Intensional FOL over Belnap's Billatice for Strong-AI Robotics
arxiv.org·4d
🌳Context free grammars
Read more: Army to withdraw from buried Swiss village
swissinfo.ch·7h
📐Linear Algebra
OpenAI Just Went Open Source (For Real This Time)
dev.to·3d·
Discuss: DEV
🔓Open Source Software
Dynamic Silicon Photonics Switching Fabric Optimization via Reinforcement Learning
dev.to·1d·
Discuss: DEV
🕸️Network Topology
Loading...Loading more...
AboutBlogChangelogRoadmap