Feeds to Scour
SubscribedAll
Scoured 26609 posts in 15.0 ms
CS 7520: Programming Languages and Semantics  💻Programming languages
my.eng.utah.edu·6d
Complexity Classes Arising from Circuits over Finite Algebraic Structures  🎞️Tape Combinatorics
arxiv.org·1d
Models of computation  📼Tape Combinators
curiouscoding.nl·6d
The seven programming ur-languages (2022)  💻Programming languages
news.ycombinator.com·6d·Hacker News
Show HN: Four years of my CS degree, typeset in LaTeX (850 pages)  📐Document Calculus
starikov.co·5d·Hacker News
Finding duplicated code with tools from your CS course  λLambda Encodings
purplesyringa.moe·3d·Hacker News
JoyAI-RA 0.1: A Foundation Model for Robotic Autonomy  🔲Cellular Automata
arxiv.org·2d
Algebraic Diversity: Principles of a Group-Theoretic Approach to Signal Processing  🌈Spectral Methods
arxiv.org·2d
CSC: Turning the Adversary's Poison against Itself  🔐Cryptographic Archaeology
arxiv.org·1d
Common Foundations for Recursive Shape Languages  🔤Type Theory
arxiv.org·1d
Characterizing Streaming Decidability of CSPs via Non-Redundancy  📼Tape Combinators
arxiv.org·1d
A General Technique for Searching in Implicit Sets via Function Inversion  🕸️Graph Algorithms
arxiv.org·2d
Formally Verified Patent Analysis via Dependent Type Theory: Machine-Checkable Certificates from a Hybrid AI + Lean 4 Pipeline  ⚡Proof Automation
arxiv.org·3d
RECURSUM: Automated Code Generation for Recurrence Relations Exceeds Expert Optimization via LayeredCodegen  🎯Performance Proofs
arxiv.org·3d
Metastability-Containing Turing Machines  🎞️Tape Combinatorics
arxiv.org·4d
On the Emergence of Syntax by Means of Local Interaction  💻Programming languages
arxiv.org·4d
Automatic constraint satisfaction problem  🧮Constraint SMT
arxiv.org·3d
Learning to Reason with Insight for Informal Theorem Proving  🧮Theorem Proving
arxiv.org·5d
Atomic Decision Boundaries: A Structural Requirement for Guaranteeing Execution-Time Admissibility in Autonomous Systems  ✨Algebraic Effects
arxiv.org·4d
LinuxArena: A Control Setting for AI Agents in Live Production Software Environments  🧮Z3 Solver
arxiv.org·5d

No more posts from matmat's subscribed feeds.

Scour all 24374 feedsLearn more about Feeds

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Save / unsave
s
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help