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

Full size pictures in FreshRSS
thefoggiest.dev·6h
📡RSS
Digital and Analog Writing
nkantar.com·4d
🏺Media Archaeology
Defining "Artificial Intelligence"
schwitzsplinters.blogspot.com·3d·
Discuss: www.blogger.com
🔲Cellular Automata
Lyn Alden August 2025 Newsletter: Tighter Fiscal, Looser Monetary
lynalden.com·10h·
Discuss: Hacker News
💰Archive Economics
Netskope Has Filed for an IPO
sec.gov·2d·
Discuss: Hacker News
⚡HTMX
Weaponizing image scaling against production AI systems
blog.trailofbits.com·3d·
Discuss: Hacker News, r/LocalLLaMA, r/programming
🕵️Vector Smuggling
Coding Wedge: Are Developers and Coding Automation Key to LLM Competition?
decodingdiscontinuity.com·3d·
Discuss: Hacker News
🔓Open Source Software
DietPi 9.16 Brings Debian Trixie Compatibility, Early Forky Support
linuxiac.com·13h
❄️Nixpkgs
I've juggled motherhood and my career for a decade, and it's exhausting. A 5-second strategy has completely changed my life.
businessinsider.com·19h
⬜Minimalism
Search-capable AI agents may cheat on benchmark tests
theregister.com·1d·
Discuss: Hacker News
🧠Intelligence Compression
Lets See What We Can do! with F# Computation Expressions • Andrew Browne • YOW! 2015
youtube.com·6d
🔗Lisp
Denormalization: Making Your Database Faster (and Why It’s a Trade-Off) day 35 of system design basics
dev.to·1d·
Discuss: DEV
🗄️Database Internals
How We Reduced LLM Costs by 90% with 5 Lines of Code
towardsdatascience.com·3d
🌊Stream Processing
ReVault Flaw Exposed Millions of Dell Laptops to Malicious Domination
darkreading.com·2d
🔓Hacking
MCP vs. APIs: Which Is Better for Advanced AI Development?
dev.to·4d·
Discuss: DEV
🔌Interface Evolution
The Hidden Costs of AI APIs (and How to Avoid Them)
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Looking for Suggestions on Home Server for running Game Servers
reddit.com·6h·
Discuss: r/homelab
🦀Embedded Rust
SLM4Offer: Personalized Marketing Offer Generation Using Contrastive Learning Based Fine-Tuning
arxiv.org·3d
👤Search Personalization
Open Source AI Is Chaotic, Improve ROI With This 4-Step Playbook
thenewstack.io·2d
🏠Homelab Pentesting
Mitigating Hallucinations in Large Language Models via Causal Reasoning
arxiv.org·6d
✨Effect Handlers
Loading...Loading more...
AboutBlogChangelogRoadmap