Feeds to Scour
SubscribedAll
Scoured 7389 posts in 16.1 ms
A Deductive System for Contract Satisfaction Proofs  🧠Automated Reasoning
arxiv.org·1d
Choosing a Programming Language (2016)  ⚙️Compiler Design
thesquareplanet.com·4d·Hacker News
Running the first program  🔢Algebraic Data Types
enigmaticcode.wordpress.com·1d·Lobsters
Algorithms for Modern Hardware  🔀OCaml Multicore
en.algorithmica.org·5d·Hacker News
A Perfectable Programming Language  🧮Lean4
alok.github.io·2d·Hacker News
Circuit Transformations, Loop Fusion, and Inductive Proof  🏹Effect Systems
natetyoung.github.io·1d·Hacker News
Incremental Lambda Calculus  λFunctional Programming
inc-lc.github.io·4d·Hacker News
APL: Evaluator for a Subset of Scheme  🐫OCaml
dfns.dyalog.com·2d·Hacker News
mm0/mm0-rs/mmc.md at master  🎨GADTs
github.com·4d·Hacker News
Retrospective on binary search and comp{ress,ilat}ion (2015)  🔍CBMC
pvk.ca·5d·Hacker News
Topological entropy of Turing complete dynamics  🔲Cellular Automata
arxiv.org·4d
Probabilistic Language Tries: A Unified Framework for Compression, Decision Policies, and Execution Reuse  🔍CBMC
arxiv.org·5d·Hacker News
The Boolean surface area of polynomial threshold functions  🔢Computability Theory
arxiv.org·4d
Are LLMs Ready for Computer Science Education? A Cross-Domain, Cross-Lingual and Cognitive-Level Evaluation Using Professional Certification Exams  🔍CBMC
arxiv.org·5d
AutoLALA: Automatic Loop Algebraic Locality Analysis for AI and HPC Kernels  🧠Automated Reasoning
arxiv.org·6d
UniCreative: Unifying Long-form Logic and Short-form Sparkle via Reference-Free Reinforcement Learning  🎯Hindley-Milner
arxiv.org·6d
Determinacy with Priorities up to Clocks  📐Hoare Logic
arxiv.org·5d
PROMISE: Proof Automation as Structural Imitation of Human Reasoning  ✓Automated Theorem Proving
arxiv.org·6d
Inventory of the 12 007 Low-Dimensional Pseudo-Boolean Landscapes Invariant to Rank, Translation, and Rotation  🔲Cellular Automata
arxiv.org·6d
Polynomial and Pseudopolynomial Algorithms for Two Classes of Bin Packing Instances  🎯Complexity Classes
arxiv.org·6d

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