LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Builder

Bruno

Things I've read this year https://github.com/PoorlyDefinedBehaviour/checkpoint/blob/main/2026.md

Followers

239

Public repos

285

Stars (recent)

44

Ecosystems

1

Projects

Repositories this builder owns.

Contains a bunch of links to things I read or watched. A link appearing in the list does not mean I haven't seen it before or that I agree with it.

No description.

data-structures-and-algorithms

for learning purposes

No description.

Connected narratives

AI Agents Consumer Crypto SocialFi Stablecoins Agent Commerce Onchain Apps

Related builders

Others building in the same ecosystem.

No description.

The use of formal methods to specify distributed systems

No description.

poorlydefinedbehaviour.github.io

No description.

Recent activity

Most recently pushed work.

PoorlyDefinedBehaviour/checkpoint
pushed 7h ago
PoorlyDefinedBehaviour/lean4-study
pushed 1mo ago
PoorlyDefinedBehaviour/data-structures-and-algorithms
pushed 2mo ago
PoorlyDefinedBehaviour/task-scheduler
pushed 2mo ago