Viewing profile — csbartus

Exactly! What I use is a main workflow document where I embed at every step pointers to architecture and templates. My prompt is ... "We are implementing the X feature. We are at s…

In my 30+ years of SWE/SWA career this is the first time I can harvest the benefits of a well defined and exactly implemented architecture. Thanks to LLMs. Before LLMs even if the …

Good point! Reviewing code, in the AI era, in my practice, means skimming code and looking for patterns. I use templates / conventions and make the AI generate code using them. Whe…

This specify-encode-fulfill loop/method is effective to make agents create bug-free code. In my version of this workflow I do specify myself, then let the LLM do the rest. This way…

The question is whether AI / LLMs gets better. I'm not an ML expert, but regarding code _quality_ I see no progress at all in the last couple of years. LLMs still write code by usi…

It's a gut feeling. We _know_ LLMs can't be _that_ good as they are promoted. I've spent the last 6 months creating a production grade app from scratch with Claude where I wrote no…

SEEKING WORK | Europe | Remote I wear multiple hats: Researcher / Senior Software Architect / React Lead / Design Engineer / Junior AI Engineer. I can help you with your AI softwar…

Senior Software Architect | React Lead | Design Engineer | Remote, EU - Location: Europe - Remote: Yes - Willing to relocate: Maybe - Résumé/CV: https://osequi.com/ , https://chat.…

SEEKING WORK | Europe | Remote I wear multiple hats: Researcher / Senior Software Architect / React Lead / Design Engineer / Junior AI Engineer. I can help you with your AI softwar…

Senior Software Architect | React Lead | Design Engineer | Remote, EU - Location: Europe - Remote: Yes - Willing to relocate: Maybe - Résumé/CV: https://osequi.com/ , https://chat.…

I'm writing a study about how to write likely-correct studies ... :) This is a second part of a series on likely-correctness, the first is how to create likely-correct software: ht…

Here is a birds-eye view of programming (classic, functional, quantum) vs category theory vs logic -- aka the computational trilogy: https://ncatlab.org/nlab/show/computational+tri…

Just learnt Applied Category Theory, it's a very big fun, hope you're enjoying it too :)

That's a backend issue I guess ...

What happened to the very elegant GraphQL? Where the client _declares_ its data needs, and _that's all_, all the rest is taken care by the framework? Compared to GraphQL, Server Co…

SEEKING WORK | Europe | Remote I wear multiple hats: Researcher / Senior Software Architect and Engineer / Design Engineer and recently Junior AI Engineer. I can help you with your…

Senior Software Architect | Junior AI Engineer | Remote, EU - Location: Europe - Remote: Yes - Willing to relocate: Maybe - Résumé/CV: https://osequi.com/ - Email: bartus.csongor@g…

Formalization, correctness is about models. [1] There are formal methods where the underlying model is mathematically sound. There are semi-formal methods where the underlying mode…

Perhaps there is no such thing like absolute truth. In category theory / ologs, a formal method for knowledge representation, the result is always mathematically sound, yet ologs a…

I've recently created a likely-correct piece of software based on these principles. https://www.osequi.com/studies/list/list.html The structure (ontology, taxonomy) is created with…

I have a good understanding of how to create likely-correct software: https://www.osequi.com/studies/list/list.html Now I'm learning AI/LLMs from the perspective of correctness. So…

SEEKING WORK | Europe | Remote A Senior / Lead React Front-end Developer, Design Engineer, Software Architect is looking for a job. I have dual skills: a degree in Computer Science…

Senior Software Architect | Formal Methods, UI/UX Design | 25+ Years | Remote - Location: Europe - Remote: Yes - Willing to relocate: Maybe - Résumé/CV: https://osequi.com/ - Email…

Working on creating likely-correct software with formal and semi-formal methods for rapid iteration. Done the first demo: https://www.osequi.com/studies/list/list.html , now focusi…