Building a Rules Engine from First Principles
towardsdatascience.comยท10h
๐Ÿ”—Combinatory Logic
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท6hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท1d
๐Ÿ”€Category Theory
Flag this post
Cross-Platform Evaluation of Reasoning Capabilities in Foundation Models
arxiv.orgยท18m
๐Ÿ’ปProgramming languages
Flag this post
Nonmonotonic Logic
cambridge.orgยท3dยท
Discuss: Hacker News
๐Ÿ“Linear Logic
Flag this post
Friday 21 November - 11am
informatics.ed.ac.ukยท17h
๐Ÿ’ปProgramming languages
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.toยท12hยท
Discuss: DEV
๐Ÿ—บ๏ธCompetency Maps
Flag this post
Central Submonads and Notions of Computation: Soundness, Completeness and Internal Languages
arxiv.orgยท18m
๐ŸงฎAlgebraic Archives
Flag this post
Remember Your First Time (in Philosophy)?
cacm.acm.orgยท3d
๐ŸงฎTheoretical Computer Science
Flag this post
AI and the Power of Nonuniform Circuits
blog.computationalcomplexity.orgยท1dยท
๐ŸŽž๏ธTape Combinatorics
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.comยท2hยท
๐Ÿฆ€Rust Macros
Flag this post
Unit-free theorem pinpoints key variables for AI and physics models
phys.orgยท1d
๐Ÿ“ŠQuantization
Flag this post
Show HN: Hot or Slop โ€“ Visual Turing test on how well humans detect AI images
hotorslop.comยท1hยท
Discuss: Hacker News
๐Ÿ“ŠLearned Metrics
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.meยท1dยท
ฮปLambda Encodings
Flag this post
SymCode: A Neurosymbolic Approach to Mathematical Reasoning via Verifiable Code Generation
arxiv.orgยท18m
๐ŸงฎSMT Solvers
Flag this post
Ajla Tutorial
ajla-lang.czยท4hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
Issue 496
haskellweekly.newsยท16h
๐Ÿ”—Functional Compilers
Flag this post
A functional programming course in 6 books
ericnormand.substack.comยท1dยท
Discuss: Substack
๐ŸงฌFunctional Programming
Flag this post
AI Scientists History
diffuse.oneยท14hยท
Discuss: Hacker News
๐Ÿด๓ ง๓ ข๓ ณ๓ ฃ๓ ด๓ ฟScottish Computing
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท3hยท
๐Ÿ’งLiquid Types
Flag this post