🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🔗 Dependently Typed

Proof-Carrying Code, Correctness by Construction, Type-Level Programming

Open source repositories are seeing a rash of supply-chain attacks
arstechnica.com·2h
📦Package Managers
Finding the shape of my thoughts
sachachua.com·1d
🌱Personal Wikis
Alexa+ preview: An almost philosophical exercise
engadget.com·5h
🎯Recommendation Metrics
Making Question-Answering Systems Smarter with Knowledge Graphs Using FrOG: A Wikidata Research Fund 2024 Highlight
diff.wikimedia.org·2d
🕸️Knowledge Graphs
Open-Source RISC-V Peripheral Challenge
tinytapeout.com·3h·
Discuss: Hacker News
🔌Single Board PC
Policy Zones: How Meta enforces purpose limitation at scale in batch processing systems
engineering.fb.com·1d
⚙️Batch Processing
What Is a Terminal?
wezterm.org·1d·
Discuss: Hacker News
📟Terminals
Algos and Code Performance: Your Code Works but Can It Handle Real Traffic?
beon.tech·2d·
Discuss: Hacker News
🌊Stream Processing
FreeBSD 15 installer to offer minimal KDE desktop
theregister.com·1h
🔌Operating system internals
Product as Code: Version Control for Product Management
mantcz.com·1d·
Discuss: Hacker News
📐Delta Encoding
AI is Eating Developer Experience
aviator.co·1d·
Discuss: Hacker News, r/programming
🔄Language Evolution
I built an open source wisprflow
github.com·2h·
Discuss: Hacker News
🎙️Whisper
Python Fundamentals: click
dev.to·2d·
Discuss: DEV
💧Liquid Types
How I Accidentally Built a Full-Stack Portfolio While Completing a Google IT Certification Project
dev.to·2d·
Discuss: DEV
🦋Format Metamorphosis
Serverless Statusphere: a walk through building serverless ATProto applications on Cloudflare’s Developer Platform
blog.cloudflare.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
SIA: Enhancing Safety via Intent Awareness for Vision-Language Models
arxiv.org·1d
🤖Advanced OCR
PICACO: Pluralistic In-Context Value Alignment of LLMs via Total Correlation Optimization
arxiv.org·2d
🛠Language Design
Can One Domain Help Others? A Data-Centric Study on Multi-Domain Reasoning via Reinforcement Learning
arxiv.org·1d
⚔️Lean Tactics
I randomly decided to learn Python last week and ended up making an adaptable and modular AI model from scratch.
dev.to·4h·
Discuss: DEV
🔲Cellular Automata
Writing experience: My decade with Org
xenodium.com·18h·
Discuss: Hacker News
🦋Format Metamorphosis
Loading...Loading more...
AboutBlogChangelogRoadmap