🧩 Prolog - abnv · Scour

Differential Logic • 15

inquiryintoinquiry.com·9h

🧩Constraint Logic

Structured Outputs for LLMs

ternarysearch.blogspot.com·19h·

Discuss: Hacker News, ternarysearch.blogspot.com

🪜Recursive Descent

Tsonnet #31 - Taking back control of equality

dev.to·6h·

Discuss: DEV

🔗Lexical Scoping

ReasonX: Declarative Reasoning on Explanations

arxiv.org·22h

⚖️Inference Rules

A Review of Uncle Bob's Functional Design: Principles, Patterns, and Practices

coding-mischief.com·4h·

Discuss: Hacker News

🤐Zipper Structures

extended C*-algebra in nLab

ncatlab.org·7h

🔗Category Theory

Extending Formal Verification to Sequential Circuits (U. of Bremen)

semiengineering.com·10h

📈Monotonic Logic

The Cryptography Concept Journey

medium.com

·7h

🔗Hash Functions

How to efficiently learn the necessary tools and methods _around_ programming itself?

en.wikipedia.org·7h·

Discuss: r/learnprogramming

📐Mathematical Computing

PPO → DPO → GRPO→ Rubrics

byhand.ai·4h

🔬programming language theory

The Structural Navigation Agent: Enforcement Architecture and Structural Analysis for Multi-Agent Coordination

petronus.eu·2h·

Discuss: DEV

🕸️Graph Algorithms

Microscopic Structure of Random 3-SAT: A Discrete Geometric Approach to Phase Transitions and Algorithmic Complexity

arxiv.org·22h

🧩SAT Solvers

nahhididwin/L-Representation: L-Representation: Turning a Single Integer \textit{L} into a Universal, Provably-Correct Geometric \& Algebraic Engine

github.com·20h·

Discuss: Hacker News

🔢Algebraic Datatypes

A language designed for machines to write

veralang.dev·1d

🎭Racket Modules

From Recursion to Backtracking

dev.to·1d·

Discuss: DEV

🔄Tail Recursion

FGRPO: Fine-grained reasoning preference optimization with iterative stabilization for mathematical reasoning in large language model

sciencedirect.com·23h

🎯Constraint Solving

JLS Deep Dive: The Rules of the Language — Identifiers, Keywords, and the Underscore

eldritch.codes·13h·

Discuss: DEV

📐Standard ML

How do you handle domain-specific transformation logic without hardcoding it?

news.ycombinator.com·14h·

Discuss: Hacker News

🎨Domain-Specific Languages

An AI Odyssey, Part 1: Correctness Conundrum

johndcook.com·24m

🚂Error Propagation

Tabular representation learning

breno.bearblog.dev·14h

🎰Parsing Machines

Loading more...