📊 Directed Acyclic Graphs - koolspy.siddhu · Scour

Towards Term-based Verification of Diagrammatic Equivalence

arxiv.org·2d

Optimizing Distances for Multi-Broadcast in Temporal Graphs

arxiv.org·1d

One Task at a Time, Even with AI

wakamoleguy.com·1d·

Discuss: Hacker News

Optimal Best-of-Both-Worlds Consensus

eprint.iacr.org·2d

Deciphering hippocampal place codes in weak theta rhythms

nature.com·1d

Beyond Latency and Communication Complexity - A Tutorial on the Pipes Model

decentralizedthoughts.github.io·1d

v6 (Code 2 here) — Most complete architecture. This version is faster than my old v5, statistically correct, has all the advanced psychology/network features, and produces stunning visualizations

gist.github.com·2d·

Discuss: r/C_Programming

January in TigerLand

mailchi.mp·1d

🏗Safe6 architect

Differential Logic • 6

inquiryintoinquiry.com·2d

Collective Agents and Where to Find Them

lesswrong.com·1d

Tiny Recursion Models (TRM): How Tiny Networks With Recursion Beat Large Models on Hard Puzzles

pub.towardsai.net·1d

Hacker Newsletter #782

kill-the-newsletter.com·1d

Category Theory, AI and Jobs

deadneurons.substack.com·1d·

Discuss: Substack

"Am I the only one still wondering what is the deal with linear types?"

jonmsterling.com·1d·

Discuss: Hacker News, r/compsci

Proof-oriented Programming in F*

fstar-lang.org·2d·

Discuss: Lobsters

🏗Safe6 architect

(C_4,triangle)--free graphs

graphclasses.org·5d

🏗Safe6 architect

PAC-Private Databases

eprint.iacr.org·2d

Context Graphs: Building Production World Models for the Age of AI Agents

hackernoon.com·1d

The prehistory of generative grammar and Chomsky’s debt to Emil Post

benjamins.com·2d·

Discuss: Hacker News

bsky.app·2d·

Discuss: Bluesky

Sign up or log in to see more results