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

What You Should Know About The Next Wave of EU AI Act Requirements
hackerone.com·1d
⚖️Legal Compliance
Matrix Is Not Safe for EU Data Privacy
wire.com·1d·
Discuss: Hacker News
🔐Homomorphic Encryption
Understanding Blockchains Through Java Code
blog.blockingqueue.com·1d·
Discuss: Hacker News
🔗Hash Chains
Exploiting vulnerabilities in the Blink video doorbell
jacksondonaldson.com·17h·
Discuss: Hacker News
🛡️RISC-V Security
Comprehensive Overview of the Identity Management Ecosystem in 2025
guptadeepak.com·1d·
Discuss: DEV, Hacker News
🔐Capability Systems
Expose and Circumvent SNI-Based QUIC Censorship of the Great Firewall of China
gfw.report·7h·
Discuss: Hacker News
🌐DNS over QUIC
Three Months with Cursor: A Developer's Summer 2025 Retrospective
tvedeane.bearblog.dev·1d·
Discuss: Hacker News
🎯Gradual Typing
Categorising My Daily Todo List with Deepseek-R1
bentasker.co.uk·1d·
Discuss: Hacker News
🌳Incremental Parsing
Introducing Amazon Application Recovery Controller Region switch: A multi-Region application recovery service
aws.amazon.com·13h
🤖Network Automation
LLM4VV: Evaluating Cutting-Edge LLMs for Generation and Evaluation of Directive-Based Parallel Programming Model Compiler Tests
arxiv.org·3d
💻Programming languages
LLM Fighter: A Game-Based Approach to Exploring AI Agent Capabilities
dev.to·19h·
Discuss: DEV
🔲Cellular Automata
Python Data Structures: Lists, Tuples, and Dictionaries Explained
dev.to·19h·
Discuss: DEV
🗂Data structures
Spec-VLA: Speculative Decoding for Vision-Language-Action Models with Relaxed Acceptance
arxiv.org·2d
💻Local LLMs
Where to show Demos in Your Prompt: A Positional Bias of In-Context Learning
arxiv.org·2d
💻Programming languages
From Localhost to Kubernetes: Containerizing an AI Log Analysis Agent
dev.to·8h·
Discuss: DEV
📦Container Security
The Pragmatic Mind of Machines: Tracing the Emergence of Pragmatic Competence in Large Language Models
arxiv.org·1d
💻Programming languages
Honey Adulteration Detection using Hyperspectral Imaging and Machine Learning
arxiv.org·1d
🧠Machine Learning
Causal Identification of Sufficient, Contrastive and Complete Feature Sets in Image Classification
arxiv.org·1d
🧠Machine Learning
Data Privacy Challenges in Open MCP Architectures
hackernoon.com·3d
🔒WASM Capabilities
Show HN: Mcp-use – Connect any LLM to any MCP
github.com·1d·
Discuss: Hacker News
⚡gRPC
Loading...Loading more...
AboutBlogChangelogRoadmap