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

Analogs of binomial coefficients
johndcook.com·1d
λLambda Encodings
Security by Design — UX and AI in Modern Cybersecurity
paloaltonetworks.com·1d
📟CLI Design
Breakneck: China's Quest to Engineer the Future
danwang.co·17h·
Discuss: Hacker News
🇨🇳Chinese Computing
Autonomous road-rail vehicle to revolutionize freight transport
heise.de·21h
⚙️Tape Transport
Git vulnerable to arbitrary file write on non-Windows systems
securitylabs.datadoghq.com·1d·
Discuss: Hacker News
💣ZIP Vulnerabilities
EU’s Latest AI Bureaucratic Overreach: Mandatory Templates for AI-Model Training Data Disclosure
hackernoon.com·1d
⚖️Legal Compliance
From Rules to Relationships: How Machines Are Learning to Understand Each Other
towardsdatascience.com·3d
🧠Machine Learning
Show HN: UniversalBit – A new binary protocol to connect voice, video and DNA
github.com·21h·
Discuss: Hacker News
👂Audio Evidence
Ever been jolted awake at 3 AM by a PagerDuty alert, only to fix something you knew could’ve been automated?
reddit.com·1d·
Discuss: r/kubernetes
🏠Home Automation
OPEN: A Benchmark Dataset and Baseline for Older Adult Patient Engagement Recognition in Virtual Rehabilitation Learning Environments
arxiv.org·1d
📊Learned Metrics
Residual Koopman Model Predictive Control for Enhanced Vehicle Dynamics with Small On-Track Data Input
arxiv.org·1d
⚙️Cassette Mechanics
Automating YouTube Shorts with Python and AI
dev.to·4h·
Discuss: DEV
📺yt-dlp
Graph-Structured Data Analysis of Component Failure in Autonomous Cargo Ships Based on Feature Fusion
arxiv.org·5d
🧠Machine Learning
Show HN: Gencmd, an fzf for natural language to bash commands
github.com·1d·
Discuss: Hacker News
📝Shell Parsing
Spatial 3D-LLM: Exploring Spatial Awareness in 3D Vision-Language Models
arxiv.org·3d
📐Projective Geometry
Build and Deploy Streamlit (Python) App on AWS ECS with Fargate
dev.to·16h·
Discuss: DEV
🌊Stream Processing
Designing for Learning with Generative AI is a Wicked Problem: An Illustrative Longitudinal Qualitative Case Series
arxiv.org·2d
🔲Cellular Automata
To Trust or Not to Trust: On Calibration in ML-based Resource Allocation for Wireless Networks
arxiv.org·2d
🧠Machine Learning
Build and deploy MCP servers in minutes with a TypeScript template
dev.to·2d·
Discuss: DEV
⚡gRPC
Integration testing for Go applications using Testcontainers and containerized databases
dev.to·2d·
Discuss: DEV
📦Container Security
Loading...Loading more...
AboutBlogChangelogRoadmap