🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
πŸ”¬ Refinement Types

Liquid Haskell, Contract Programming, SMT Integration, Type Safety

Rumble in the jungle: APT41’s new target in Africa
securelist.comΒ·1d
🎫Kerberos Exploitation
looking for a specific type of application
reddit.comΒ·19hΒ·
Discuss: r/homelab
πŸ•ΈοΈWASM Archives
Post-Quantum Cryptography in Kubernetes
kubernetes.ioΒ·4d
πŸ”Quantum Security
Solitaire Cryptographic Algorithm
en.wikipedia.orgΒ·4hΒ·
Discuss: Hacker News
πŸ”Cryptographic Archaeology
How to Invent Defense Products (2022)
vannevarlabs.comΒ·17hΒ·
Discuss: Hacker News
πŸ’ΎPersistence Strategies
Support Amazon Multi-Site Operations for Cross-Border E-Commerce
news.ycombinator.comΒ·5hΒ·
Discuss: Hacker News
πŸ”„Sync Engine
The Selling Of AI
blog.dshr.orgΒ·1hΒ·
Discuss: Hacker News, www.blogger.com
πŸŽ™οΈWhisper
How to generate a TypeScript SDK for your API spec
buildwithfern.comΒ·5dΒ·
Discuss: Hacker News
⚑gRPC
Tell HN: GPT a and B Chatted 32 Rounds via Our Mediation Layer – No Crashes
news.ycombinator.comΒ·4hΒ·
Discuss: Hacker News
πŸ“ABNF Extensions
The Smart Money on How Devs Should Charge for Apps
thenewstack.ioΒ·3d
🌊Streaming Systems
πŸš€ Building a Shopify App Backend in a Weekend with Gadget
dev.toΒ·1dΒ·
Discuss: DEV
πŸš€Indie Hacking
How LLMs Comprehend Temporal Meaning in Narratives: A Case Study in Cognitive Evaluation of LLMs
arxiv.orgΒ·12h
🧠Intelligence Compression
Learning to Gridize: Segment Physical World by Wireless Communication Channel
arxiv.orgΒ·12h
🧠Machine Learning
From Disagreement to Understanding: The Case for Ambiguity Detection in NLI
arxiv.orgΒ·12h
🎯Dependent Parsing
The .a File Is a Relic: Why Static Archives Were a Bad Idea All Along
medium.comΒ·3dΒ·
Discuss: Hacker News, r/C_Programming
πŸ”—Static Linking
Recursive and non-recursive filters for sequential smoothing and prediction with instantaneous phase and frequency estimation applications (extended version)
arxiv.orgΒ·12h
🌊Digital Signal Processing
An Academic Web Clipper
github.comΒ·1dΒ·
Discuss: Hacker News
🏷️Metadata Standards
Qwen 3 Drops a Update, Outshining DeepSeek V3
dev.toΒ·8hΒ·
Discuss: DEV
πŸ—œοΈLZW Variants
A Better Way to Estimate DynamoDB Costs
hackernoon.comΒ·20h
πŸ”„Sync Engine
How a Legal Advocate Built an AI-Powered Case Intake & Memo Generator β€” Without Writing Code
dev.toΒ·7hΒ·
Discuss: DEV
⚑Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap