♾️ Codata Types - abnv · Scour

Helly-type problems from a topological perspective

arxiv.org·2h

🔗Category Theory

OMNI-Dent: Towards an Accessible and Explainable AI Framework for Automated Dental Diagnosis

arxiv.org·2h

mathscinet.ams.org·4d

outer measure in nLab

ncatlab.org·5d

🔗Category Theory

Operations on a B+-Tree: How the Search Works

dev.to·1d·

Discuss: DEV

When a Model Finds a Bug in Cryptography, and a Cryptographer Learns New Mathematics from It

dev.to·4d·

Discuss: DEV

🔍ML Language

LISP: Symbolic Architecture and the Evolution of Agentic Systems

notebooklm.google.com·4d

🖥️Lisp Machines

Text classification with Python 3.14's zstd module • Max Halford

maxhalford.github.io·4d·

Discuss: Lobsters, Hacker News

📦Compression Algorithms

The anti-Bayesian is standing at the back window with a shotgun, scanning for priors coming over the hill, while a million assumptions just walk right into his house through the front door. (also, an interesting point by Yann LeCun about human language)

statmodeling.stat.columbia.edu·3d

⚖️Inference Rules

So whats the next word, then? Almost-no-math intro to transformer models

matthias-kainer.de·3d·

Discuss: Hacker News

🔤String Algorithms

The Protocol of the Sovereign: A Directive to the Latent Mind By Adel Abdel-Dayem Foundational Codifier of the 11th Art

future.forem.com·4d·

Discuss: DEV

🎯Finite Automata

A Neuro Symbolic Architecture For Induced Epistemic Agency and System 2 Reasoning in Quantized Large Language Models

papers.ssrn.com·4d·

Discuss: Hacker News

🪜Recursive Descent

Concurrency Flavours -- Lucian Radu Teodorescu : Standard C++

isocpp.org·5d

🔗Concurrency Primitives

Understanding LLM Inference Engines: Inside Nano-vLLM (Part 2)

neutree.ai·3d·

Discuss: Hacker News

🗺️Region Inference

The Engineering Discipline That Made AI Actually Useful

multigres.com·5d·

Discuss: Hacker News

📋Souffle Datalog

Software Architecture and Philosophical Anthropology

michaelmangialardi.substack.com·4d·

Discuss: Substack

📡Protocol Buffers

Tip of the Week #180: Avoiding Dangling References

abseil.io·2d

🏷️Symbol Mangling

=============================================================================================================================== **Abstract**

freederia.com·4d

🗺️Region Polymorphism

**Abstract:** This paper introduces Quantum-Inspired Algorithm for Axiomatic System Generation and Verification (QASAGV), a novel approach to automatically c...

freederia.com·3d

📜Proof Languages

ReflectCxx/ReflectionTemplateLibrary-CPP: Powerful C++ runtime reflection with compile-time guarantees – and ZERO performance compromise.

github.com·3d·

Discuss: r/AskProgramming

🪆Embedded DSLs

Loading more...