🐿️ ScourBrowse
LoginSign Up
You are offline. Trying to reconnect...
Copied to clipboard
Unable to share or copy to clipboard
🏗️ Constructive Logic

Intuitionistic Proofs, Program Extraction, Computational Content, Type Theory

Mathematicians Say There’s a Number So Big, It’s Literally the Edge of Human Knowledge
popularmechanics.com·2h
🎞️Tape Combinatorics
Evolving Tactics of SLOW#TEMPEST: A Deep Dive Into Advanced Malware Techniques
unit42.paloaltonetworks.com·7h
🛡️RISC-V Security
Word Embeddings for Tabular Data Feature Engineering
machinelearningmastery.com·5h
🧮Vector Embeddings
The Case for Compact AI
cacm.acm.org·1d
🎵Audio ML
Ente web - State of the Union 2025
ente.io·2d
🎯Gradual Typing
Practical Bitwise Tricks in Everyday Code (Opinioned)
maltsev.space·19h·
Discuss: r/programming
🔢Bitwise Algorithms
Rails API Throttling: Handling Multiple Endpoints with Different Limits
prateekcodes.dev·17h·
Discuss: Hacker News
🌊Streaming Systems
Regular Expression Matching Can Be Simple and Fast (2007)
swtch.com·1d·
Discuss: Hacker News
🔍RegEx Engines
Puzzle Languages
prog21.dadgum.com·2d·
Discuss: Lobsters
💻Programming languages
Abstract Syntax Trees (ASTs) in Action: Build Your Own Python Code Sniffer
dev.to·7h·
Discuss: DEV
🌳Incremental Parsing
Machine Bullshit: Characterizing the Emergent Disregard for Truth in Large Language Models
arxiv.org·13h
⚡Proof Automation
Build a GenAI App With Java Using Spring AI and Docker Model Runner
docker.com·5h
📦Container Security
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·13h
📝ABNF Parsing
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
Types are Transforming Python
spin.atomicobject.com·2d·
Discuss: Hacker News
🎯Gradual Typing
Domain-Driven Refactoring • Alessandro Colla, Alberto Acerbis & Xin Yao • GOTO 2025
youtube.com·1d
🗣️Domain-Specific Languages
A Practical Guide to Go’s Fan-in and Fan-out Concurrency Patterns
dev.to·16h·
Discuss: DEV
🌊Stream Processing
On Trustworthy Rule-Based Models and Explanations
arxiv.org·13h
⚖️Constraint Logic
How to scale RL to 10^26 FLOPs
blog.jxmo.io·20h·
Discuss: Hacker News
🔮Proof Search
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·19h·
Discuss: r/golang
🔗Concatenative Programming
Loading...Loading more...
AboutBlogChangelogRoadmap