csbartus

5 ms·

1.
by csbartus 3mo ago
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 step 6. Plan first" Then the agent spits out identi
2.
by csbartus 3mo ago
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 architecture principles were simple and clear, distille
3.
by csbartus 3mo ago
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. When reviewing code I'm scanning if a file uses a spe
4.
Extinction-Level Capitalism(matthewbutterick.com)
13 points by csbartus 3mo ago|3 comments
5.
by csbartus 3mo ago
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 1.) I'm 100% sure the understanding/spec is
6.
by csbartus 3mo ago
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 using probabilistic calculations vs. applying rigorou
7.
by csbartus 3mo ago
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 single line of code. I've reviewed code
8.
by csbartus 1y ago
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 software engineering strategy and implementatio
9.
by csbartus 1y ago
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.osequi.com/ (AMA with
10.
by csbartus 1y ago
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 software engineering strategy and implementatio
11.
by csbartus 1y ago
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.osequi.com/ (AMA with
12.
by csbartus 1y ago
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: https://www.osequi.com/studies/list&
13.
by csbartus 1y ago
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+trilogy It helped me a lot putting i
14.
by csbartus 1y ago
Just learnt Applied Category Theory, it's a very big fun, hope you're enjoying it too :)
15.
by csbartus 1y ago
That's a backend issue I guess ...
16.
by csbartus 1y ago
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 Components are a big step back: you have to do manually o
17.
by csbartus 1y ago
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 AI software engineering strategy and implementati
18.
by csbartus 1y ago
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@gmail.com Mathematics, Computer Science
19.
by csbartus 1y ago
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 model is structured but not proven to be sound. For example, in
20.
by csbartus 1y ago
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 are prefixed with "According to the author's w
21.
by csbartus 1y ago
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 ologs, a formal method from
22.
by csbartus 1y ago
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 far I have two 'm
23.
by csbartus 2y ago
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 and UI/UX design works featured in online galleri
24.
by csbartus 2y ago
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: bartus.csongor@gmail.com Mathem
25.
by csbartus 2y ago
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 focusing on "diagrams as code"
26.
by csbartus 2y ago
SEEKING WORK | Europe | Remote A Senior / Lead React Front-end Developer, Design Engineer, Software Architect is looking for a part time, fractional job. I have dual skills: a degree in Computer Science and UI/UX design works feat
27.
by csbartus 2y ago
Senior / Lead React Front-end Developer, Design Engineer, Software Architect -- Part time, fractional job - Location: Europe - Remote: Yes - Willing to relocate: Maybe - Technologies: React, TypeScript, Next.js, Design systems, XState,
28.
by csbartus 2y ago
SEEKING WORK | Europe | Remote A Senior / Lead React Front-end Developer, Design Engineer, Software Architect is looking for a part time, fractional job. I have dual skills: a degree in Computer Science and UI/UX design works feat
29.
by csbartus 2y ago
Senior / Lead React Front-end Developer, Design Engineer, Software Architect -- Part time, fractional job - Location: Europe - Remote: Yes - Willing to relocate: Maybe - Technologies: React, TypeScript, Next.js, Design systems, XState,
30.
by csbartus 2y ago
This fully resonates with me. When the AI boom started in 2022 I've been already focused on how to create provably, or likely correct software on budget. Since then, I've figured out how to create correct software fast , on rapid

More ›