Viewing profile — ontouchstart

42! https://live.lean-lang.org/#codez=CYUwZgBAhgdgzgdxAJwgLgLwQC... (I am fscking physics major! ;-)

> I dug through the chain-of-thought publication and did actually find (a few of) them. If people working on these LLMs are reading, it's very important to me that these are contai…

This would be a cool template project to learn C++ without the pollution of LLM slop.

Conclusion of the article (Wisdom from 1982): > There is an old adage (e.g., Zen) to the effect that we become what we perceive. In computer terms, our (human) outputs become ident…

By "embracing" I mean embracing the coming storm and survive it, facing the challenge and admit it is not magically going away.

> Although there is an element of apparent sloppiness in many creative people, discipline is also required. (Note that time-sharing has been condemned by some as encouraging sloppi…

Bookmark this link for future reference, it is very relevant in the era of “agentic engineering” https://dl.acm.org/doi/pdf/10.1145/1005937.1005938

Someone wrote a web server in assembly the other day: https://news.ycombinator.com/item?id=48080587 It is very inspiring.

> Even more importantly, what happens to teamwork? If we are all a BBM now—or rather, if we all have personal armies of BBMs, permanently locked in a manic state, springloaded at a…

I couldn’t help but notice the similarities between human aging and “filling up” the context window in Agentic AI: the “chain of thoughts” getting so heavy that nothing new can be …

The reason I wrote that compact makefile is that I am at the beginning of a long journey to study the coding style of ngnk ( https://news.ycombinator.com/user?id=ngnk ). I can see …

What I love most about your project is the super clean Makefile ( https://github.com/imtomt/ymawky/blob/main/Makefile ). It is a great template to jump start an ARM64 assembly proj…

Some people must be working on training some models exclusively on high quality OSS code base like curl and SQLite without the noise of low quality training data. I would do that w…

Michael Rabin, 1976 ACM Turing Award Recipient https://youtu.be/L3FZzGU3n14

100%. UX is where the money is, it is in the wrapper, not the core. Unfortunately, the core is the most valuable and labor intensive part of it. With agentic coding, the gap betwee…

Thanks. This is so hilarious ;-) https://mariozechner.at/nothanks.html I didn't see it on mobile. So it only happened to desktop browser. I only found out via pi myself: > pi --con…

https://mariozechner.at/posts/2025-11-30-pi-coding-agent/#to...

I forked pi-mono to freeze it. Here is a session of pi analyzing coding-agent package itself. https://ontouchstart.github.io/.pi/agent/sessions/--pi-mono-... It was created via a n…

My point is pi-coding-agent [1] is a very well designed and implemented open source project that we all can learn from as software engineers. His blog post about his decision makin…

https://news.ycombinator.com/item?id=47691481

Some technical background: https://news.ycombinator.com/item?id=46844822

https://news.ycombinator.com/item?id=47600817

I found out last night via pi.dev. And the new repo of pi didn’t exist yet. I have been working with pi-mono locally for a few months now. Great code base to study. Much higher qua…