Articles by modinfo
1

Curious-Learner Skill (gist.github.com)

208

REA Reverse – Engineer Anything (rea.tools)

1

Show HN: I just want to show this song to you [video] (youtube.com)

1

Do we have free will? Easy Explanation (sekor.eu.org)

2

An LLM skill for understanding sarcasm without asking for clarification (gist.github.com)

4

Ask HN: How Long Would It Take Dr. House to Catch Dexter?

2

Jarvis – autonomous assistant for real-world tasks (jarvis.foundation)

2

Show HN: AURcade – A tiny self-hosted Git service using cgit and SSH (github.com/skorotkiewicz)

3

Show HN: Algebruh - Cross-check arithmetic claims with Z3, cvc5, and Lean (github.com/skorotkiewicz)

1

The Vampire Theorem Prover (github.com/vprover)

1

Show HN: Zero-token memory retrieval for Pi (github.com/skorotkiewicz)

2

Show HN: I asked an LLM what it would say to God, then made it a website (sekor.eu.org)

1

Superfile – Pretty fancy and modern terminal file manager (github.com/yorukot)

1

Plan like an adult, believe like a child, ask clearly (youtube.com)

4

ASD-STE100 Simplified Technical English for LLMs (github.com/woosal1337)

1

Verse – functional logic programming in Unreal Engine 6 [video] (youtube.com)

1

OpenSpectra: a Rust CLI for managing specs, changes, and implementation tasks (github.com/howie)

1

Show HN: A local, extensible session viewer for Pi and Codex (github.com/skorotkiewicz)

2

Apollo 11 Guidance Computer (AGC) source code (github.com/chrislgarry)

7

Quickly rewrite Git repository history (github.com/newren)

1

Retrotvs – Channel-surf the past now by choosing any of the TV sets (myretrotvs.com)

2

An uroboros program with 100 programming languages (github.com/mame)

1

Strange loops: from autological words and quines to consciousness (youtube.com)

5

Show HN: Find someone in the dark – light them or light yourself? (Three.js) (github.com/skorotkiewicz)

1

My justfile to quick bootstrap and start journey with Odin (gist.github.com)

1

Show HN: A multi-location vending machine operations portal (github.com/skorotkiewicz)

2

Show HN: Rudo - A small, elegant dock for Wayland (github.com/skorotkiewicz)

2

Duplicate Beverage Event – Story about time travel, magic and AI (github.com/skorotkiewicz)

1

Show HN: Like Audiosurf but writen in Odin and open source (sekor.eu.org)

31

Agents.md – Dumb Human (gist.github.com)

1

Show HN: Psycho – An audio-reactive roller-coaster game in Odin (github.com/skorotkiewicz)

1

LM-Polygraph: Uncertainty Estimation for LLMs (github.com/iinemo)

14

Show HN: Earth Game – An offline CLI for turning life goals into quests (github.com/skorotkiewicz)

1

Temper – A programming language for libraries translated to all the others (github.com/temperlang)

2

ChatGPT Work (openai.com)

1

Neobrutalism Layouts (neobrutalism.dev)

1

Every edge deserves two good loops (sekor.eu.org)

1

Show HN: On-device semantic-embedding toolkit built on ternlight (ternlight.vercel.app)

1

Desk-Pet – a local-first desktop pet powered by MiniCPM5 (github.com/openbmb)

230

Fable turned reMarkable into Tom Riddle's diary from Harry Potter (github.com/maximerivest)

2

Hy3 (295B A21B), a reasoning and agent model with great cost efficiency (github.com/tencent-hunyuan)

1

Microsoft’s answer to the end of PlayStation discs: a bizarre GitHub stunt (theverge.com)

2

What If a City Ran on UTC for Two Weeks? (sekor.eu.org)

1

Mu: A social app with a backbone, built on European values (mu.social)

1

Mindcraft – Minecraft AI with LLMs+Mineflayer (github.com/mindcraft-bots)

3

Story about Crazy Frog [video] (youtube.com)

3

Why she have no nuance for AI [video] (youtube.com)

1

Berkshire Hathaway – It's essentially a pre-diversified empire (wikipedia.org)

2

Magit - a complete text-based user interface to Git (github.com/magit)

2

Empero: A 9B that checks its own work (empero.org)

3

Ornith-1.0: Self-Scaffolding LLMs for Agentic Coding (deep-reinforce.com)

5

Webradio server – broadcasts audio source to clients (github.com/tau-org)

3

Bevy – A refreshingly simple data-driven game engine built in Rust (github.com/bevyengine)

2

Agent Zero – A full Docker Linux system for your AI agent (github.com/agent0ai)

2

OXWM – A dynamic window manager written in Zig (github.com/tonybanters)

3

Pkgit – unconventional package manager to compile/install packages from Git (symlinx.net)

2

Show HN: Catbath: Terminal-first, browser-curious, and extension-friendly editor (sekor.eu.org)

2

Catbath – a tiny text editor in Rust with edit over SSH and web editor in 456KB (github.com/skorotkiewicz)

3

Boogu-Image – open-source image generation and editing model (github.com/boogu-project)

2

Devdrop – Local-first workspace sync for developers (github.com/skorotkiewicz)

1

Knowledge Catalog – universal context engine for agents (github.com/googlecloudplatform)

2

VibeThinker 3B – Taking on Giant Models [video] (youtube.com)

1

AI-generated synthetic neurons speed up brain mapping (research.google)

2

"China Outpacing Us on AI": Why Musk Bought an Autonomous Coding Startup (sedaily.com)

3

South Korea’s experiment with State-Sponsored Romance (themagpost.com)

1

Möbius Chess (mchess.io)

1

Möbius Chess (mchess.io)

2

Virtual whiteboard for sketching hand-drawn like diagrams (github.com/excalidraw)

1

Computer Chronicles (archive.org)

14

An Embedded Linux on a Single Floppy (github.com/w84death)

3

Plop Linux (plop.at)

2

SubQ – a sub-quadratic LLM built for multi-million token reasoning (subq.ai)

7

Byobu – text-based window manager and terminal multiplexer (github.com/dustinkirkland)

1

FIDO.md (sekor.eu.org)

1

Show HN: Gimji – local-first project notes with tasks, boards, and calendars (github.com/skorotkiewicz)

1

Recover deleted files from an ext3 or ext4 partition (sourceforge.net)

2

Ask HN: How much we change since LLM era?

1

An minimalist to-do list for the CLI (github.com/tanay1337)

1

Fallow – Deterministic codebase intelligence for TypeScript and JavaScript (github.com/fallow-rs)

1

"is just a state change" [video] (youtube.com)

2

ENS Domains .eth .box (ens.domains)

1

focus - A simple and fast text editor (github.com/focus-editor)

1

N8ao – An efficient and visually pleasing implementation of SSAO (github.com/n8python)

1

Lakebed [alpha] – Let the agents build. Get out of their way (lakebed.dev)

1

Show HN: A tiny shell agent in Rust (github.com/skorotkiewicz)

2

Show HN: A command-line story machine inspired by Roald Dahl's 1953 short story (github.com/skorotkiewicz)

7

Ask HN: Does consciousness itself require memory?

1

Kernel Boot Process and how it works (gitbooks.io)

4

FRRouting – implements and manages various IPv4 and IPv6 routing protocols (github.com/frrouting)

1

Arpanet Imp Implemented in C (github.com/larsbrinkhoff)

1

Show HN: Find your birth date song that was number-one (github.com/skorotkiewicz)

127

1-Bit Bonsai Image 4B Image Generation for Local Devices (prismml.com)

3

HeartMuLa – Open-Source Music Generation Model (github.com/heartmula)

1

Show HN: I think I by accident created something beautiful about LLM [video] (youtube.com)

1

Sled – An Embedded Database in Rust (github.com/spacejam)

1

Show HN: P2P (POC) of the ACP for decentralized agent communication (github.com/skorotkiewicz)

2

SIE: Unified Inference Engine for Embeddings, Reranking, and Extraction (github.com/superlinked)

1

Run your own local LLM with rate limits via API-keys (github.com/skorotkiewicz)

1

Create Business DNA (labs.google.com)

1

Outlines – Structured LLM Outputs (dottxt-ai.github.io)