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

unplug - a tool to test input devices via uinput
who-t.blogspot.com·23h·
Discuss: www.blogger.com
🎮Switch Archaeology
So you want to parse a PDF?
eliot-jones.com·1d·
Discuss: Lobsters, Hacker News
📄PDF Internals
Endowments and Unintended Consequences
paulkedrosky.com·3d·
Discuss: Hacker News
✨Effect Handlers
The-Ultimate-Guide-to- Verified-Skrill-Accounts
dev.to·1d·
Discuss: DEV
🎫Kerberos Attacks
China tried to upgrade the Great Firewall but may have left it vulnerable to attack
techradar.com·13h
🇨🇳Chinese Computing
We built a self-hosted tool to monetize your source code within GitHub
medium.com·2d·
Discuss: Hacker News
🔓Open Source Software
Nova: A New Web Framework for Erlang
news.ycombinator.com·4d·
Discuss: Hacker News
🌐Protocol Synthesis
Improving performance of content-centric networks via decentralized coded caching for multi-level popularity and access
arxiv.org·1h
🕸️Network Topology
The Future of Quantum Key Distribution and Global Secure Communications
luciuswayne.com·23h·
Discuss: Hacker News
🔐Quantum Security
Palantir exec calls LLMs a 'jagged intelligence' and outlines the company's next steps in the AI race
businessinsider.com·4h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Machine Learning Fundamentals: k-nearest neighbors project
dev.to·5d·
Discuss: DEV
🗂️Vector Search
✨ Building a Simple AI Prompt Keeper (with Bootstrap 5 + Alpine.js)
dev.to·1d·
Discuss: DEV
🎯Gradual Typing
Unpacking MCP Protocols: SSE vs. Streamable HTTP - A Deep Dive into URL-based MCPs
dev.to·4d·
Discuss: DEV
🌐WebSocket Framing
Attack Anything: Blind DNNs via Universal Background Adversarial Attack
arxiv.org·1h
🔍Vector Forensics
Simplify Your Python Code with Clean Code Best Practices
dev.to·5d·
Discuss: DEV
⬆️Lambda Lifting
Building an AI-Powered Repository Search with Redis 8 Vector Similarity
dev.to·1d·
Discuss: DEV
🌐Federated Search
Practical Skyline Queries in Go
dev.to·3d·
Discuss: DEV
🌳Trie Structures
Understanding Student Attitudes and Acceptability of GenAI Tools in Higher Ed: Scale Development and Evaluation
arxiv.org·1h
🏛Digital humanities
Make AI write your API functional tests
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Agentic AI and the Rise of Outcome Engineering
hackernoon.com·13h
⚡Proof Automation
Loading...Loading more...
AboutBlogChangelogRoadmap