DEMO TIME SupGen is a generative coding AI... except it isn't an AI. There is no model, there is no pre-training. You just give it some examples, and it gives you a program. It runs locally, in a single-core CPU. Oh, and it can also prove theorems. Here's a demo, including a

Al fin 🙌

It works!

My new project "Tenca" has a new interface!

1400~1700 * 0.55~0.65 - 600~700 のように範囲で指定される不確実性を持つ数の計算を行う計算機を100行のHaskellで実装する記事👀 不確実性の範囲は正規分布の95%幅を表しており、計算式の抽象構文木を確率モナドに変換してサンプリングを行う形で実装されている📝 alt-romes.github.io/posts/2025-04-…

The Implementation of Functional Programming Languages goo.gl/WU3PeH // ebook by Simon Peyton Jones

'The purpose of abstraction is not to be vague, but to create a new semantic level in which one can be absolutely precise' - Edsger Dijkstra

Great blog post about Programming Language Theory by One Happy Fellow: tinyurl.com/PLT-image-prob…. There's so much *great* stuff in PLT that everyone involved in CS should know about.

Let's write a Claude Code from scratch with Effect, okay?

The Promise Will Be Broken

Estoy investigando Solvers para el problema de Time Tabling Alguna recomendación? #optimizationalgorithms

Daily recommendation: Prolog’s Role in the LLM Era eugeneasahara.com/2024/08/04/doe…

I already without ideas. My last option is that the middleware is looking for the session id in the wrong schema. This usually happens when making sync queries on an async server. I can verify this by changing the engine from postgres to redis, it should avoids race conditions