🐿️ 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 AI Crash That Isn’t: A Reality Check from the Trenches
julsimon.medium.com·2d
🖥️Terminal Renaissance
Tough Season in the Apple Fields
inessential.com·1d·
Discuss: Hacker News
🖥️Vintage Macintosh
Dropped by drones and scattered by rockets: how Ukraine became one of the most heavily mined countries in the world
theguardian.com·1d
🔐Soviet Cryptography
New AI attack hides data-theft prompts in downscaled images
bleepingcomputer.com·1d·
Discuss: Hacker News
🕵️Vector Smuggling
Variations on Knuth’s Twindragon
johndcook.com·1d·
Discuss: Hacker News
📐Mathematical Art
How a scam hunter got scammed (Lock and Code S06E17)
malwarebytes.com·2d
🦠Malware Analysis
Evaluating Citizen Satisfaction with Saudi Arabia's E-Government Services: A Standards-Based, Theory-Informed Approach
arxiv.org·1d
🔒WASM Capabilities
Clinical characteristics, complications and outcomes of critically ill patients with Dengue in Brazil, 2012-2024: a nationwide, multicentre cohort study
arxiv.org·1d
🧬Copy Number Variants
Evasive Salty 2FA phishing framework targets multiple 2FA methods
scworld.com·2d·
Discuss: Hacker News
🎫Kerberos Attacks
Rare Space Dust Reveals a Shocking Link Between Very Different Asteroids
scitechdaily.com·1d
🦴Database Paleontology
Show HN: Misterio the Docker-compose stateless alternative to Ansible
github.com·3d·
Discuss: Hacker News
🏠Homelab Orchestration
Build a RAG application with LangChain and Local LLMs powered by Ollama
dev.to·5d·
Discuss: DEV
💻Local LLMs
Sponge: A Framework That Reshapes the Go Development Experience and Supercharges Your Projects
dev.to·3d·
Discuss: DEV
⚡gRPC
Questions about a new Home Lab build. Lots of questions.
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
From Conversation to Query: A Deep Dive into Translating Human Language into SQL with LLMs
dev.to·4d·
Discuss: DEV
🗄️Database Internals
10 Problem-Solving Habits That Separate Good Developers from Great Ones
dev.to·1d·
Discuss: DEV
📏Code Metrics
Stopped Using Cursor, for Now
news.ycombinator.com·5d·
Discuss: Hacker News
🔄Language Evolution
Spurs in Vuskovic loan talks with Hamburg and hope Bissouma will join Galatasaray
theguardian.com·6h
🦀Rust Borrowing
A Fast and Minimal System to Identify Depression Using Smartphones: Explainable Machine Learning-Based Approach
arxiv.org·13h
🧠Machine Learning
Automated Grain Boundary Characterization via Deep Feature Extraction and Bayesian Inversion in HR-TEM Data
dev.to·3d·
Discuss: DEV
🏺Computational Archaeology
Loading...Loading more...
AboutBlogChangelogRoadmap