๐ฟ๏ธ Scour
Browse
Login
Sign Up
You are offline. Trying to reconnect...
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
๐ป CS
computer science, automata, theory, computation
Hot
Past Hour
Today
This Week
This Month
Subscribed Feeds
All Feeds
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org
ยท
15h
๐
Graph Isomorphism
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Has anyone tried csprimer and have any reviews on it?
csprimer.com
ยท
5h
ยท
Discuss:
Hacker News
โ๏ธ
Lean Tactics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Slip โ A Lisp System in JavaScript
lisperator.net
ยท
5h
ยท
Discuss:
Hacker News
๐
Lisp
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com
ยท
9h
๐
Information Crystallography
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
An enough week
blog.mitrichev.ch
ยท
23h
ยท
Discuss:
blog.mitrichev.ch
๐งฎ
Z3 Solver
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Cactus Language โข Semantics 3
inquiryintoinquiry.com
ยท
3h
๐ข
Denotational Semantics
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Three ways formally verified code can go wrong in practice
buttondown.com
ยท
1h
๐
Proof Carrying Code
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Neuro-Symbolic AI
en.wikipedia.org
ยท
4h
ยท
Discuss:
Hacker News
๐ฒ
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
In-Depth Analysis: "Attention Is All You Need"
dev.to
ยท
3h
ยท
Discuss:
DEV
๐ง
Intelligence Compression
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Experimenting with ACL2 and Claude Code
mikedodds.org
ยท
6h
ยท
Discuss:
Hacker News
๐
Isabelle
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
IASC: Interactive Agentic System for ConLangs
arxiv.org
ยท
15h
๐ณ
Context free grammars
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Categorical systems theory
topos.institute
ยท
7h
๐
Category Theory
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Let's Write a Macro in Rust
hackeryarn.com
ยท
3h
ยท
Discuss:
Hacker News
๐ฆ
Rust Macros
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com
ยท
9h
ยท
Discuss:
Substack
๐ฒ
Cellular Automata
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
LINQ and Learning to Be Declarative
nickstambaugh.dev
ยท
1d
ยท
Discuss:
Hacker News
๐
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
The Chip That Spoke Lisp
jxself.org
ยท
3d
๐ค
Lisp Machines
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com
ยท
2h
ยท
Discuss:
Hacker News
๐
Linear Algebra
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Lobsters Interview with Zdsmith
lobste.rs
ยท
13h
ยท
Discuss:
Lobsters
๐
Concatenative Programming
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
ASP.NET Core 9 Essentials โข Albert Tanure & Rafael Herik de Carvalho โข GOTO 2025
youtube.com
ยท
1d
๐
WASI
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
A Manifesto for the Programming Desperado
github.com
ยท
3h
ยท
Discuss:
Hacker News
๐ป
Programming languages
Flag this post
Harmful Content
Off Topic
Low Quality
Spam
Misleading
Duplicate
Loading...
Loading more...
Page 2 »