🔢 Philosophy of Mathematics - tiferrei · Scour

Artificial Intelligence and the Structure of Mathematics 🧠Automated Reasoning

arxiv.org·6d

Show HN: LogicPearl – Synthesizing deterministic executable logic from traces 🔍Formal Verification

github.com·12h·Hacker News

Looms taught us to store, share, and "run" logic 🔲Cellular Automata

cyrusradfar.com·3h·Hacker News

OpenAI President Greg Brockman: Doubling Down on Text Models, The Superapp Plan, Codex’s Potential 🧠Apple Neural Engine

bigtechnology.com

·6d·Hacker News

From bytecode to bytes: automated magic packet generation 🌐NetworkProtocols

blog.cloudflare.com·6d·Hacker News

Show HN: Tired of logic in useEffect, I built a class-based React state manager 🌐ActivityPub

thales.me·6d·Hacker News

Announcing ILIAD 2026 📄ICFP

lesswrong.com·3d

AI trained like a Rubik's Cube solver simplifies particle physics equations 🧠Apple Neural Engine

phys.org·6d·Hacker News

Parameterized Complexity Of Representing Models Of MSO Formulas 🔍CBMC

arxiv.org·1d

BadSkill: Backdoor Attacks on Agent Skills via Model-in-Skill Poisoning 🛡️seL4

arxiv.org·1d

qPRO-AQFP: Post-Routing Optimization of AQFP Circuits with Delay Line Clocking 🐫Embedded OCaml

arxiv.org·1d

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning ✓Automated Theorem Proving

arxiv.org·5d

An Algebraic Introduction to Persistence ≤Order Theory

arxiv.org·5d

Foundations of Future Communication Systems: Innovations in Communication 🌐Network Protocols

arxiv.org·6d

Models as Values in a Model Expression Algebra: A Functional Approach to Model Driven Engineering ⚙Operational Semantics

arxiv.org·6d

UniCreative: Unifying Long-form Logic and Short-form Sparkle via Reference-Free Reinforcement Learning 🎯Hindley-Milner

arxiv.org·6d

Consistency-Guided Decoding with Proof-Driven Disambiguation for Three-Way Logical Question Answering 🧩SAT Solvers

arxiv.org·5d

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement 🧮SMT Solvers

arxiv.org·5d

Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation ⏳LTL

arxiv.org·5d

Exploring Natural Language-Based Strategies for Efficient Number Learning in Children through Reinforcement Learning 📚Automata Learning

arxiv.org·5d

Loading more...