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

Hack The Box Academy Writeup — PASSWORD ATTACKS — Writing Custom Wordlists and Rules
infosecwriteups.com·1d
🔓Password Cracking
A consequence of the weird wReserved value at the start of the DECIMAL structure
devblogs.microsoft.com·1d
📺VT100 Emulation
Forcing LLMs to be evil during training can make them nicer in the long run
technologyreview.com·1d·
Discuss: r/technews
🎯Gradual Typing
Show HN: TanStack DB – Reactive DB with Differential Dataflow for TanStack Query
tanstack.com·3d·
Discuss: Hacker News
🌊Streaming Databases
(Weak) Factorization Systems
bartoszmilewski.com·6d·
Discuss: Hacker News
🔀Category Theory
Stream Kafka Topic to the Iceberg Tables with Zero-ETL
vutr.substack.com·1d·
Discuss: Substack
🌊Streaming Systems
Microsoft build of Go 1.25 crypto back end changes
devblogs.microsoft.com·2d·
Discuss: Hacker News
🔤EBCDIC Privacy
Every Single Human. Like. Always.
randsinrepose.com·3d·
Discuss: Hacker News
⚡Proof Automation
A roboticist's journey with JAX: Finding efficiency in optimal control and simulation
developers.googleblog.com·3d
⚡Effectful Programming
Software Engineering Has Always Been Context Engineering
agenticcoding.substack.com·2d·
Discuss: Substack
⚙️Proof Engineering
Fast Software, the Best Software
craigmod.com·2d·
Discuss: Hacker News
🖥️Vintage Macintosh
Miss Manners: How can I keep my outings a secret from the neighbors?
mercurynews.com·2h
🏠Personal Archives
Show HN: Xpack – open-source platform to host and monetize MCP-style APIs/tools
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
Past Meets Present: Creating Historical Analogy with Large Language Models
arxiv.org·2d
🕰️RetroCRDTs
A Developer’s Guide to Go’s Garbage Collection: Mastering the Tri-Color Algorithm
dev.to·3d·
Discuss: DEV
🧠Memory Allocators
Running in CIRCLE? A Simple Benchmark for LLM Code Interpreter Security
arxiv.org·5d
🔒Language-based security
Sendria is a test SMTP server
github.com·1d·
Discuss: Hacker News
⚡gRPC
(1) Fitting hierarchical models in genetics, (2) A Stan model that runs faster with 400,000 latent parameters, (3) Super-scalable penalized maximum likelihood i...
statmodeling.stat.columbia.edu·1d
🧮Kolmogorov Bounds
go-pubsub: Lightweight Pub/Sub for Go.
dev.to·1d·
Discuss: DEV
🌊Streaming Systems
Potential Future Restrictions on the Self-Hosted Version of Plane (2023)
github.com·1d·
Discuss: Hacker News
🔓Open Source Software
Loading...Loading more...
AboutBlogChangelogRoadmap