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

Word Embeddings for Tabular Data Feature Engineering
machinelearningmastery.com·3h
🧮Vector Embeddings
Binary Search in Haskell and Rust
mmhaskell.com·4d
📐Interval Arithmetic
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·8h·
Discuss: Hacker News
🔌Interface Evolution
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
Machine Bullshit: Characterizing the Emergent Disregard for Truth in Large Language Models
arxiv.org·11h
⚡Proof Automation
Build a GenAI App With Java Using Spring AI and Docker Model Runner
docker.com·3h
📦Container Security
Abstract Syntax Trees (ASTs) in Action: Build Your Own Python Code Sniffer
dev.to·6h·
Discuss: DEV
🌳Incremental Parsing
When Large Language Models Meet Law: Dual-Lens Taxonomy, Technical Advances, and Ethical Governance
arxiv.org·11h
📝ABNF Parsing
A Refreshing SQL Injection Discovery in Z-Push
xbow.com·22h·
Discuss: Hacker News
🔐Cryptographic Archaeology
Object Oriented Programming is an expensive disaster which must end
medium.com·2d·
Discuss: Hacker News
💻Programming languages
Types are Transforming Python
spin.atomicobject.com·2d·
Discuss: Hacker News
🎯Gradual Typing
The Right Approach to Authorization in RAG
osohq.com·1d·
Discuss: Hacker News
🧬PostgreSQL Forensics
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·14h·
Discuss: DEV
🌊Stream Processing
On Trustworthy Rule-Based Models and Explanations
arxiv.org·11h
⚖️Constraint Logic
How to scale RL to 10^26 FLOPs
blog.jxmo.io·18h·
Discuss: Hacker News
🔮Proof Search
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·17h·
Discuss: r/golang
🔗Concatenative Programming
Show HN: Please check out my Free OpenAPI audit tool
devunus.com·18h·
Discuss: Hacker News
⚡gRPC
Truth-value judgment in language models: 'truth directions' are context sensitive
arxiv.org·11h
🧮Kolmogorov Complexity
Loading...Loading more...
AboutBlogChangelogRoadmap