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
Aligning Large Language Models with Procedural Rules: An Autoregressive State-Tracking Prompting for In-Game Trading
arxiv.org·22h
💻Programming languages
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·
Discuss: Lobsters, Hacker News
💧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