Irregular German Verbs – a simple app, no ads or tracking

Verified Deep Learning with Lean 4 is tracked as an emerging product signal.

Memory-augmented Large Language Models (LLMs) are essential for developing capable, long-term AI agents. Recently, applying Reinforcement Learning (RL) to optimize memory operations, such as extraction, updating, and retrieval, has emerged as a highly promising research direct...

Fun little liminal space game I made this week learning webGL. https://github.com/koudesh3/liminal-space-webgl

I’ve spent a year building a theory learning path that starts from scratch and goes all the way up to topics like Secondary Dominants and Borrowed Chords. It uses a combination of games, interactive lessons and spaced repetition to help you understand and remember concepts. No...

I have a proposal that addresses long-term memory problems for LLMs when new data arrives continuously (cheaply!). The program involves no code, but two Markdown files. For retrieval, there is a semantic filesystem that makes it easy for LLMs to search using shell commands. It...

How about something a little fun on your Sunday? My friends and I have spent the last two years building Uncook, a social media platform dedicated to all things food! What started as a project among friends became a serious exercise in learning to build a company. Our MVP feat...