🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
⬌ Bidirectional Typing

Type Inference, Elaboration, Synthesis, Checking Modes

Transitous Hack Weekend July 2025
volkerkrause.euΒ·21m
πŸ”€CRDT
I am no longer chairing defenses or joining committees where students use generative AI for their writing
statmodeling.stat.columbia.eduΒ·11h
⚑Proof Automation
Introduction to JavaScript
thenewstack.ioΒ·4d
πŸ”—Concatenative Programming
In the long run, GPL code becomes irrelevant (2015)
josephg.comΒ·15hΒ·
Discuss: Hacker News
πŸ”“Open Source Software
Supervised Fine Tuning on Curated Data Is Reinforcement Learning
independentresearch.aiΒ·15hΒ·
Discuss: Hacker News
πŸ“ŠFeed Optimization
Google Wifi Pro: Glitching from Root to EL3: Part 1 - Characterization
raelize.comΒ·3dΒ·
Discuss: Lobsters, Hacker News
πŸ›‘οΈeBPF Security
Reversing Google's New VM-Based Integrity Protection: PairIP
blog.byterialab.comΒ·3dΒ·
Discuss: Hacker News
🌐WASI
Show HN: Medici, a minimal, open-source, dead-simple Splitwise alternative
github.comΒ·3hΒ·
Discuss: Hacker News
πŸ”„Sync Engine
An AI Skeptic Uses AI for a Week
keithjgrant.comΒ·3dΒ·
Discuss: Hacker News
✨Effect Handlers
Setting up proper documentation with Sphinx docs β€” Building stocksimpy 1
dev.toΒ·10hΒ·
Discuss: DEV
⚑Proof Automation
Solving the Context Rot Problem for Coding Agents
install.mdΒ·2dΒ·
Discuss: Hacker News
🌳Incremental Parsing
More Artificial than Intelligent, and it is only getting worse
mlagerberg.comΒ·3dΒ·
Discuss: Hacker News, r/programming
πŸ§ͺProtocol Fuzzing
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.orgΒ·4d
✨Effect Handlers
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
arxiv.orgΒ·4d
πŸ’»Programming languages
A Study on the Application of Artificial Intelligence in Ecological Design
arxiv.orgΒ·2d
πŸ”²Cellular Automata
Trying to Run AI on Low-End Devices? Here’s What We Learned
dev.toΒ·1dΒ·
Discuss: DEV
πŸŒ€Brotli Internals
Python Fundamentals: cassandra-driver
dev.toΒ·18hΒ·
Discuss: DEV
πŸ”€CRDT
A Discrete Analog of Tutte's Barycentric Embeddings on Surfaces
arxiv.orgΒ·1d
🌐Computational Topology
Machine Learning Fundamentals: dropout
dev.toΒ·1dΒ·
Discuss: DEV
🌊Stream Processing
From Wardrobe to Canvas: Wardrobe Polyptych LoRA for Part-level Controllable Human Image Generation
arxiv.orgΒ·4d
πŸ›Digital humanities
Loading...Loading more...
AboutBlogChangelogRoadmap