♾️ Codata Types - abnv · Scour

Non-Linear Drivers of Population Dynamics: a Nonparametric Coalescent Approach

arxiv.org·1d

🌲Deforestation

The Condensate Theorem: Transformers are O(n), Not $O(n^2)$

arxiv.org·1d

🔍ML Language

plrg-bristol/advanced-haskell-2026: Resources for the 2026 Advanced Haskell seminar series at Bristol

github.com·9h

👑Dependent Haskell

I don't like imports

kevincox.ca·11h·

Discuss: Hacker News

⚙️TOML Parsers

The Adventures of a Pythonista in Schemeland/30

artima.com·2d

🔧Scheme Macros

isledb: An embedded key-value engine built on object storage in Go

reddit.com·1d·

Discuss: r/golang

🐹Go Internals

**Abstract:** This paper proposes a novel framework for quantifying the inherent logical incompleteness present in Gödelian systems by dynamically mapping ax...

freederia.com·3d

📜Proof Languages

Looking at binary trees in C++

meetingcpp.com·2d

🤐Zipper Structures

Sympathy for the Model, or, Welfare Concerns as Takeover Risk

lesswrong.com·15h

🔐Capability Calculus

Fundamentals of Data Visualization

clauswilke.com·1d

🔥Flamegraphs

Introduction to Abject-Oriented Programming (2007)

typicalprogrammer.com·1d·

Discuss: Hacker News

📚Self-Documenting Code

Introduction to Flakes

nixos-and-flakes.thiscute.world·1d

🧼Lisp Hygiene

From Chunks to Connections: The Case for Graph RAG

pub.towardsai.net·1d

🌲Deforestation

Andersbakken/rtags: A client/server indexer for c/c++/objc[++] with integration for Emacs based on clang.

github.com·10h

📇Symbol Tables

Fibonacci numbers and time-space tradeoffs

johndcook.com·1d

🎯Bit Vectors

Circumstantial Complexity, LLMs and Large Scale Architecture

datagubbe.se·11h·

Discuss: Hacker News

🔄Bootstrapping

🥇Top AI Papers of the Week

nlp.elvissaravia.com·1d

en.wikipedia.org·3d·

Discuss: Hacker News

🎭Polymorphic Variants

C++ Implementing a Chaos Game simulator

solarianprogrammer.com·2d

📚Self-Documenting Code

B+-Tree Structure: How Order Is Maintained at Scale

dev.to·1d·

Discuss: DEV

Loading more...