Inferentialism: Logic and Meaning
consequently.org·1d
⚖️Inference Rules
PHP Almost Generics: Guided Journey Through the Official Compile-Time Proposal
doganoo.medium.com·11h·
Discuss: Hacker News
🪆Embedded DSLs
Chris Smith 2: Rebooting NYHaskell
cdsmithus.medium.com·1d
🐪OCaml
connect-four-ai: A high-performance, perfect Connect Four solver
reddit.com·1d·
Discuss: r/rust
🧩Constraint Solvers
PowderBot: An automated device for decision-making in crop breeding programs based on DNA extraction from seed powder
sciencedirect.com·4h
✨Effect Inference
Computation of Graph Polynomials via Tree Decomposition: Theory, Algorithms, and Python Implementation
arxiv.org·13h
🧮Combinator Calculus
Enhanced Electrophilic Aromatic Substitution Prediction via Hyperdimensional Network Analysis of Reaction Mechanisms
dev.to·5h·
Discuss: DEV
✨Effect Inference
Selective Population Protocols
arxiv.org·13h
📡Async Channels
Fault-Tolerant Logical Measurements via Homological Measurement
journals.aps.org·4h
🎯Bit-Vector Algorithms
parSAT: Parallel Solving of Floating-Point Satisfiability
arxiv.org·13h
🧩SAT Solvers
Virtual Arc Consistency for Linear Constraints inCost Function Networks
arxiv.org·13h
🧩Constraint Solvers
Token Models as Statistical Simulations: A Different Take
medium.com·1d·
Discuss: Hacker News
🔍Tokenizers
Verifying User Interfaces using SPARK Ada: A Case Study of the T34 Syringe Driver
arxiv.org·13h
📜Bytecode Interpreters
Reasoning Core: A Scalable RL Environment for LLM Symbolic Reasoning
arxiv.org·13h
📋Souffle Datalog
Inference Offloading for Cost-Sensitive Binary Classification at the Edge
arxiv.org·1d
🗺️Region Inference
OnePiece: Bringing Context Engineering and Reasoning to Industrial Cascade Ranking System
arxiv.org·13h
🏷️Attribute Grammars
How RAG Enables AI For Your Data
blog.bytebytego.com·1h
🌊Streaming Lexers
ECCFROG522PP: An Enhanced 522-bit Weierstrass Elliptic Curve
eprint.iacr.org·20h
🔗Hash Functions
Building Your First AI Agent: Tavily X LangGraph
dev.to·21h·
Discuss: DEV
🎭Program Synthesis
Novel convex model-based approach for data-driven fault diagnosis considering uncertainty
sciencedirect.com·1d
📈Monotonic Logic