🐿️ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🎯 Automata theory
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Adding linear-time lookbehinds to RE2
systemf.epfl.ch
·
12h
·
Discuss:
Lobsters
,
Hacker News
🔍
RegEx Engines
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blog
·
2d
🧮
Theorem Proving
Coping with Complexity
slott56.github.io
·
23h
🔗
Concatenative Programming
Python Fundamentals: all
dev.to
·
12h
·
Discuss:
DEV
💧
Liquid Types
Program Synthesis is Interesting and Open
stephendiehl.com
·
10h
·
Discuss:
Hacker News
💻
Programming languages
[D] RL/GRPO for lossless compression of text passages into 'least token representation', then using this emergent 'language' as the basis for reasoning instead ...
reddit.com
·
13h
·
Discuss:
r/MachineLearning
🧠
Learned Compression
A very short book note
logicmatters.net
·
1d
⚔️
Lean Theorem
Language Workbenches: The Killer-App for Domain Specific Languages? (2005)
martinfowler.com
·
18h
·
Discuss:
Hacker News
🗣️
Domain-Specific Languages
2025 Alonzo Church Award: Paul Blain Levy for Call-by-Push-Value (CBPV)
siglog.org
·
1d
·
Discuss:
Hacker News
💻
Programming languages
My first experience with Formal Methods | ZipCPU
zipcpu.com
·
3d
🔧
Hardware Verification
higher: Your favourite Haskell type classes for Rust (2023)
github.com
·
20h
·
Discuss:
Lobsters
,
Hacker News
🦀
Rust Macros
New Othello experiment supports the world model hypothesis for large language models
the-decoder.com
·
57m
🤖
Paleographic AI
Can All Knowledge Be Mined? A Formal Framework for φ^∞ Consequence Closure
researchgate.net
·
2d
·
Discuss:
Hacker News
🔢
Denotational Semantics
Discover C++26’s compile-time reflection
lemire.me
·
9h
·
Discuss:
Hacker News
🦀
Rust Macros
Mapping LLMs over excel saved my passion for game dev
danieltan.weblog.lol
·
18h
·
Discuss:
Hacker News
🗣️
Domain-Specific Languages
Python Fundamentals: __repr__
dev.to
·
14h
·
Discuss:
DEV
💧
Liquid Types
Basic facts about GPUs
damek.github.io
·
5h
·
Discuss:
Lobsters
,
Hacker News
🖥️
Hardware Architecture
RE-IMAGINE: Symbolic Benchmark Synthesis for Reasoning Evaluation
arxiv.org
·
3d
✓
Automated Theorem Proving
Mastering Immutability: 17 Essential Resources for Functional Programmers
dev.to
·
1d
·
Discuss:
DEV
🧬
Functional Programming
Python Fundamentals: any
dev.to
·
12h
·
Discuss:
DEV
💧
Liquid Types
Loading...
Loading more...
Page 2 »