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

Equivalence between commonly used elliptic curves
johndcook.comΒ·1d
πŸ”’Reed-Solomon Math
To Philosophers of Easy Virtue (guest post)
dailynous.comΒ·18h
πŸ›οΈPhilosophy
Modern (Kernel) Low Fragmentation Heap Exploitation
r0keb.github.ioΒ·3d
🧠Memory Allocators
How to Deploy DltHub, SQLMesh, DBT Core, or Any Python Project to Tower
tower.devΒ·16hΒ·
Discuss: Hacker News
πŸ”„Reproducible Builds
AI Agents Need Help. Here’s 4 Ways To Ship Software Reliably
thenewstack.ioΒ·13hΒ·
Discuss: Hacker News
βš™οΈTLA+
The Discovery, Disclosure, and Investigation of CVE-2024-25825
arxiv.orgΒ·2h
πŸ”“Hacking
Using Containers to Speed Up Development, to Run Integration Tests and to Teach About Distributed Systems
arxiv.orgΒ·2h
πŸ“¦METS Containers
Cascading and Proxy Membership Inference Attacks
arxiv.orgΒ·2h
πŸ›‘οΈDifferential Privacy
Raising Exceptions with Custom Messages in Python
dev.toΒ·1dΒ·
Discuss: DEV
🌳Incremental Parsing
A Modified Adaptive Data-Enabled Policy Optimization Control to Resolve State Perturbations
arxiv.orgΒ·1d
πŸ“ŠQuantization
Geometric Operator Learning with Optimal Transport
arxiv.orgΒ·1d
πŸŒ€Riemannian Computing
Is Pydantic as safe as It Is popular?
nocomplexity.comΒ·21h
πŸ›‘οΈWASM Security
Turbocharging Web Automation: The Impact of Compressed History States
arxiv.orgΒ·2h
βš™οΈCompression Benchmarking
Coding for the Future Agentic World
addyo.substack.comΒ·11hΒ·
Discuss: Substack
πŸ”„Language Evolution
Six Principles for Production AI Agents
app.buildΒ·1dΒ·
Discuss: Hacker News
βš™οΈTLA+
Efficacy of AI RAG Tools for Complex Information Extraction and Data Annotation Tasks: A Case Study Using Banks Public Disclosures
arxiv.orgΒ·2h
πŸ”Information Retrieval
Anyone Can Jailbreak: Prompt-Based Attacks on LLMs and T2Is
arxiv.orgΒ·2h
πŸŒ€Brotli Internals
Validating Pharmacogenomics Generative Artificial Intelligence Query Prompts Using Retrieval-Augmented Generation (RAG)
arxiv.orgΒ·2h
πŸ”Information Retrieval
8 Advanced Python List Concepts with Real Use Cases
dev.toΒ·3dΒ·
Discuss: DEV
πŸ“Concrete Syntax
The Power of Nothing: Exploring Go's Empty Struct
dev.toΒ·2dΒ·
Discuss: DEV
πŸ”§Binary Parsing
Loading...Loading more...
AboutBlogChangelogRoadmap