Building a Rules Engine from First Principles
towardsdatascience.comยท9h
๐Ÿ”—Combinatory Logic
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.orgยท4hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
A Short Introduction to Categorical Logic
youtube.comยท22h
๐Ÿ”€Category Theory
Flag this post
IPAB Workshop - 6/11/25
informatics.ed.ac.ukยท10h
๐Ÿค–Tape Automation
Flag this post
Enhanced Knowledge Graph Reasoning via Multi-Modal Data Fusion and Automated Verification
dev.toยท11hยท
Discuss: DEV
๐Ÿ—บ๏ธCompetency Maps
Flag this post
New: Online Masterโ€™s Program in Applied Ontology
dailynous.comยท5h
๐ŸŽญCultural Informatics
Flag this post
Evaluating YARA Rules for macOS Malware Hunting in Spectra Analyze
reversinglabs.comยท11h
๐Ÿฆ Malware Analysis
Flag this post
HeraclesQL: A Python DSL for Writing Alerts
hudsonrivertrading.comยท8hยท
Discuss: Hacker News
โœ…Format Verification
Flag this post
Convert any GitHub repo to coding puzzles
github.comยท2dยท
Discuss: Hacker News
โšกProof Automation
Flag this post
Exploring Python Logic: How to Turn Conditions into Code
dev.toยท17hยท
Discuss: DEV
โš–๏ธHoare Logic
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท1hยท
๐Ÿ’งLiquid Types
Flag this post
LLM AuthZ Handbook: A Practical Guide for AI Builders and Users
flatt.techยท20hยท
Discuss: Hacker News
๐Ÿ”Capability Systems
Flag this post
Issue 496
haskellweekly.newsยท14h
๐Ÿ”—Functional Compilers
Flag this post
Oracle has adopted BOOLEAN in 23ai and PostgreSQL had it forever
hexacluster.aiยท1dยท
Discuss: Hacker News
๐ŸงฌPostgreSQL Forensics
Flag this post
Data Modeling for OLAP with AI Ft. District Cannabis (MooseStack, ClickHouse)
fiveonefour.comยท7hยท
Discuss: Hacker News
โš™๏ธBatch Processing
Flag this post
Building Intelligent AI Agents with Modular Reinforcement Learning
dev.toยท1hยท
Discuss: DEV
โšกIncremental Computation
Flag this post
Tencent/WeKnora
github.comยท1h
๐Ÿค–Archive Automation
Flag this post
Nonmonotonic Logic
cambridge.orgยท3dยท
Discuss: Hacker News
๐Ÿ”ฌLogic in Computer Science
Flag this post
Computing High-Frequency Factors in Real Time for Quantitative Models
medium.comยท11hยท
Discuss: Hacker News
๐ŸŒŠStreaming Databases
Flag this post