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

Implementing an ikiwiki subset in Rust
blog.liw.fiΒ·3d
πŸ¦€Rust Macros
If only I'd known ... Debian repo signing
jpmens.netΒ·4d
❄️Nixpkgs
Syncing as fast as Shopify will let you with TCP-inspired flow control
gadget.devΒ·3dΒ·
Discuss: Hacker News
πŸ”„Sync Engine
Amazon Labor Day Deals: Save Over 45% on Home Security, Generators, and Lawn Essentials
popularmechanics.comΒ·3h
⭐Awesome lists
Remember the Companies Making Vital Open Source Contributions
news.slashdot.orgΒ·1d
πŸ”“Open Source Software
Is CachyOS in violation of upstream licences?
reddit.comΒ·2dΒ·
Discuss: r/linux
πŸ›οΈByzantine Archives
Colt forced to take services offline following apparent cyberattack
techradar.comΒ·3h
🎫Kerberos Attacks
Cinemagoers tutted – but in Materialists, I finally saw a true reflection of today’s dating market | Elle Hunt
theguardian.comΒ·1d
πŸ›Digital humanities
Show HN: An open-source,security first,local-first memory tool for AI assistants
news.ycombinator.comΒ·4dΒ·
Discuss: Hacker News
🌐WASI
The Best Tech for Back to School
wired.comΒ·3h
πŸ‡³πŸ‡±Dutch Computing
An essential primer for building enterprise-ready MCP servers
aleknwr.substack.comΒ·6dΒ·
Discuss: Substack
⚑gRPC
Are membrane keyboard switches good for gaming?
techradar.comΒ·1d
⌨️Mechanical Keyboards
Millennials' favorite companies are growing up or dying out
businessinsider.comΒ·5h
⏳Time Capsule Networks
🧠 Building Intelligent Kafka Health Probes in Go
dev.toΒ·2dΒ·
Discuss: DEV
🌊Apache Kafka
Faster Reed-Solomon Erasure Coding in Java with Go & FFM
reddit.comΒ·6dΒ·
Discuss: r/golang
πŸ”§Reed-Solomon Decoding
When the insider Is the adversary: North Korea’s remote work espionage campaign
techradar.comΒ·3h
πŸ”“Hacking
Are you willing to pay $100k a year per developer on AI?
theregister.comΒ·3dΒ·
Discuss: Hacker News
πŸ”„Language Evolution
ParallelSearch: Train your LLMs to Decompose Query and Search Sub-queries in Parallel with Reinforcement Learning
arxiv.orgΒ·4d
πŸ”Information Retrieval
LongIns: A Challenging Long-context Instruction-based Exam for LLMs
arxiv.orgΒ·4d
πŸ’»Programming languages
Gradient-Direction-Aware Density Control for 3D Gaussian Splatting
arxiv.orgΒ·4d
🌈Color Science
Loading...Loading more...
AboutBlogChangelogRoadmap