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

TaxCalcBench: A benchmark for evaluating AI's ability to calculate tax returns
columntax.com·44m·
Discuss: Hacker News
⚡Proof Automation
Immediately-Invoked Function Expression (2010)
benalman.com·4d·
Discuss: Hacker News, r/programming
🔗Concatenative Programming
Optimizing to Remove Political Bias from AI Models Removes Other Types of Bias
askrally.com·4h·
Discuss: Hacker News
📊Feed Optimization
Zahlen, bitte! Solomon W. Golomb and an octillion IT systems
heise.de·1d
🇷🇺Russian Computing
Media Tracker with Astro and Turso
goulven-clech.dev·1d·
Discuss: Hacker News
🌀Brotli Internals
Postgres schema changes without downtime? pgroll hits 5k stars
xata.io·1d·
Discuss: Hacker News
🔄Schema Evolution
Principles of Using AI Professionally
dominiek.substack.com·4h·
Discuss: Substack
💻Local LLMs
Legacy Systems: Beyond the Modernisation Hype
blog.scottlogic.com·1d
🔌Interface Evolution
Finja: What If Your Rust Function Was a Jinja Template?
reddit.com·5d·
Discuss: r/rust
🦀Rust Macros
A vibe coding horror story: Started as 'a pure dopamine hit' ended a nightmare
zdnet.com·1d·
Discuss: Hacker News
🚀Indie Hacking
ParquetForge: Column by Column Parquet Reading/Writing
github.com·1d·
Discuss: Hacker News
🔧KAITAI
The Impact of Language Mixing on Bilingual LLM Reasoning
arxiv.org·1d
💻Local LLMs
Novel Multi-Agent Action Masked Deep Reinforcement Learning for General Industrial Assembly Lines Balancing Problems
arxiv.org·12h
🔲Cellular Automata
MCP (Model Context Protocol) Explained Simply 🤖
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Experience is the Best Teacher: Grounding VLMs for Robotics through Self-Generated Memory
arxiv.org·12h
📼Tape Combinators
A 27M-param model that solves hard Sudoku/mazes where LLMs fail, without CoT
github.com·1d·
Discuss: Hacker News
🎯Emulator Accuracy
Orchestrating 6 Subagents to Build a Collaborative API Playground for Kids
dev.to·2d·
Discuss: DEV
🌐Protocol Synthesis
Talking Like a Phisher: LLM-Based Attacks on Voice Phishing Classifiers
arxiv.org·12h
💻Local LLMs
Best Platform for Managing Prompts in 2025
dev.to·3h·
Discuss: DEV
⚙️TLA+
Mastering Python Arrays: Tips, Tricks, and Best Practices
dev.to·1d·
Discuss: DEV
📊APL Heritage
Loading...Loading more...
AboutBlogChangelogRoadmap