๐Ÿฟ๏ธ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
๐ŸŽฏ Dependent Types

Type-level Programming, Proof-carrying Code, Agda, Type Safety

A Dual-Screen Cyberdeck To Rule Them All
hackaday.comยท18h
๐Ÿ”ŒSingle Board PC
SecureFlow Extension to Vibe Code Securely โ€“ Codepathfinder.dev
codepathfinder.devยท1dยท
Discuss: Hacker News
๐Ÿ“œProof Carrying Code
Cisco Donates the AGNTCY Project to the Linux Foundation
linux.slashdot.orgยท1d
๐Ÿ Homelab Federation
I Know When You're Vibe Coding
alexkondov.comยท19hยท
Discuss: Hacker News, r/programming
๐Ÿ“œProof Carrying Code
Show HN: A High-Altitude Low-Power Flight Computer for High-Altitude Balloons
github.comยท11hยท
Discuss: Hacker News
๐Ÿ”ŒSingle Board PC
AI Is Democratizing Cognitive Thought
daviesgeek.comยท3hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
The Evolution of Video Anomaly Detection: A Unified Framework from DNN to MLLM
arxiv.orgยท22h
๐ŸŽž๏ธMKV Analysis
Launch HN: Lucidic (YC W25) โ€“ Debug, test, and evaluate AI agents in production
news.ycombinator.comยท10hยท
Discuss: Hacker News
๐Ÿ”Concolic Testing
MCIF: Multimodal Crosslingual Instruction-Following Benchmark from Scientific Talks
arxiv.orgยท1d
๐ŸŽ™๏ธWhisper
Show HN: AI personas in executable .aix files (run like containers)
github.comยท13hยท
Discuss: Hacker News
๐Ÿ•นEmulation Theory
MemTool: Optimizing Short-Term Memory Management for Dynamic Tool Calling in LLM Agent Multi-Turn Conversations
arxiv.orgยท22h
๐Ÿ’ปLocal LLMs
CleANN: Efficient Full Dynamism in Graph-based Approximate Nearest Neighbor Search
arxiv.orgยท1d
๐Ÿ—‚๏ธVector Databases
Generate suspicious transaction report drafts for financial compliance using generative AI
aws.amazon.comยท1d
โšกProof Automation
Generating Highly Structured Test Inputs Leveraging Constraint-Guided Graph Refinement
arxiv.orgยท22h
๐Ÿ›Fuzzing
Python Fundamentals: command line arguments
dev.toยท3dยท
Discuss: DEV
๐ŸšShell Calculus
The Problem with Safety Classification is not just the Models
arxiv.orgยท22h
๐Ÿ“ABNF Parsing
dson: A delta-based CRDT implementation in Rust
github.comยท1dยท
Discuss: Hacker News
๐Ÿ”€CRDT
Show HN: Send real-time updates to your mobile apps with Stac Framework
github.comยท20hยท
Discuss: Hacker News
๐Ÿ“Concrete Syntax
Security Tensors as a Cross-Modal Bridge: Extending Text-Aligned Safety to Vision in LVLM
arxiv.orgยท1d
๐Ÿค–Advanced OCR
Leveraging Fine-Tuned Large Language Models for Interpretable Pancreatic Cystic Lesion Feature Extraction and Risk Categorization
arxiv.orgยท1d
๐ŸงฎKolmogorov Bounds
Loading...Loading more...
AboutBlogChangelogRoadmap