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 implementation with a focus on correctness: https://www.osequi.com/studies/list/list.html

- Résumé/CV: https://osequi.com/

- Email: bartus.csongor@gmail.com

- Location: Europe

- Remote: Yes

- Willing to relocate: Maybe

- Résumé/CV: https://osequi.com/, https://chat.osequi.com/ (AMA with AI)

- Email: bartus.csongor@gmail.com

I deliver better software, faster:

- I solve the two top pain points of JS / TS / React [1]

- Using lightweight formal and semi-formal methods [2]

- I integrate multiple disciplines (entrepreneurship, math, computer science, UX/UI design) to create better products [3]

I'm interested in companies with a high societal impact: synthetic biology, education, healthcare, personal growth, financial stability.

[1]: https://2023.stateofjs.com/en-US/usage/#top_js_pain_points

[2]: https://www.osequi.com/studies/list/list.html

[3]: https://www.osequi.com/csongor-bartus-profile.pdf

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 implementation with a focus on correctness: https://www.osequi.com/studies/list/list.html

- Résumé/CV: https://osequi.com/

- Email: bartus.csongor@gmail.com

- Location: Europe

- Remote: Yes

- Willing to relocate: Maybe

- Résumé/CV: https://osequi.com/, https://chat.osequi.com/ (AMA with AI)

- Email: bartus.csongor@gmail.com

I deliver better software, faster:

- I've created a novel methodology to produce likely-correct software using formal and semi-formal methods [1]

- I integrate multiple disciplines (entrepreneurship, math, computer science, UX/UI design) to create better products [2]

- I use LLMs to generate software based on mathematically correct diagrams [3]

I'm interested in companies with a societal impact: improving lives through education, healthcare, personal growth, financial stability.

[1]: https://www.osequi.com/studies/list/list.html

[2]: https://www.osequi.com/csongor-bartus-profile.pdf

[3]: https://tonsky.me/blog/diagrams/

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/list.html

https://ncatlab.org/nlab/show/computational+trilogy

It helped me a lot putting into context my existing programming knowledge while learning category theory

Compared to GraphQL, Server Components are a big step back: you have to do manually on the server what was given by default by GraphQL

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 implementation with a focus on correctness: https://www.osequi.com/studies/list/list.html

- Résumé/CV: https://osequi.com/

- Email: bartus.csongor@gmail.com

- Location: Europe

- Remote: Yes

- Willing to relocate: Maybe

- Résumé/CV: https://osequi.com/

- Email: bartus.csongor@gmail.com

Mathematics, Computer Science and UI/UX design specialist with 25+ years of experience.

I solve two of the most challenging software engineering problems: code organization and state management, using lightweight formal methods -- Applied category theory, Finite state machines -- to bring academic rigor to the full stack: https://www.osequi.com/studies/list/list.html

I'm a junior AI Engineer versed in prompting, agentic development with Vercel AI SDK. Finishing my first AI app, an agent/assistant helping to write likely-correct studies, articles and technical documents.

Seeking:

- Teams building better software, faster

- Particularly interested in fintech, health-tech, and developer tools

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 your case ("organizes knowledge") a formal method is ologs from category theory. That method assures that the concepts and their relationship in your knowledge base are mathematically correct.

When you want to transfer that knowledge base into a documentation system you might want look for a mathematically sound model, but I'm afraid there is no such model, so what's left is a semi-formal method / a likely-correct model.

Right now I'm building such a likely-correct model for writing, contact me for more info.

[1] https://www.osequi.com/slides/formalism-correctness-cost/for...

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 world view ..."

On the other way truth, even if it's not absolute, it's very expensive.

Lately AWS advocates a middle ground, the lightweight formal methods, which are much cheaper than formal methods yet deliver good enough correctness for their business case.

In the same way MIT CSAIL's Daniel Jackson advocates a semi-formal approach to design likely-correct apps (Concept design)

It seems there is a push for better correctness in software, without the aim of perfectionism.

https://www.osequi.com/studies/list/list.html

The structure (ontology, taxonomy) is created with ologs, a formal method from category theory. The behavior (choreography) is created with a semi-formal implementation (XState) of a formal method (Finite State Machines)

The user-facing aspect of the software is designed with Concept Design, a semi-formal method from MIT CSAIL.

Creating software with these methods is refreshing and fun. Maybe one day we can reach Tonsky's "Diagrams are code" vision.

https://tonsky.me/blog/diagrams/

Now I'm learning AI/LLMs from the perspective of correctness. So far I have two 'maxims' to guide me:

- AI shines where humans struggle (for prompt engineering)

- An LLM is nothing but an API call (for software engineering with AI)

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 galleries.

In the last 15 years I've been designing and developing websites and applications. From back-end to front-end, from architecture design to UI/UX design, on different stacks. I've built and managed front-end teams, shaped products.

Currently, I specialize in React and TypeScript, offering expertise in:

- Team Leadership: Building and guiding React teams, producing high-quality code even with junior developers.

- Design Engineering: Developing robust design systems, enabling rapid prototyping, shaping product design, and bridging developer-designer communication gaps.

- React Software Architecture: Solving pain points like state management and code architecture: https://www.osequi.com/studies/list/list.html

- AI-Driven Development: Advising on building likely-correct React apps and training AI models for React app generation.

Résumé/CV: http://metamn.io/

Email: bartus.csongor@gmail.com

- Location: Europe

- Remote: Yes

- Willing to relocate: Maybe

- Résumé/CV: https://osequi.com/

- Email: bartus.csongor@gmail.com

Mathematics, Computer Science and UI/UX design specialist with 25+ years of experience.

I solve two of the most challenging software engineering problems: code architecture and state management, using formal methods (Applied category theory, Finite state machines) to bring academic rigor to the full stack: https://www.osequi.com/studies/list/list.html

I also facilitate product design by bridging design and development, leveraging my deep understanding of both visual design and its technical implementation.

Achievements:

- Built and led engineering teams (30+ engineers)

- Co-founded startups (1 successful exit)

- International consulting (Silicon Valley, UK, EU, Singapore)

- Featured in UI/UX design galleries

- Recently completed two-year R&D sabbatical focused on software correctness and rapid iteration methodologies

Seeking:

- Senior / Principal architect or technical leadership roles at companies valuing correctness, maintainability, and design excellence

- Joining teams building better software, faster

- Particularly interested in fintech, health-tech, and developer tools

Done the first demo: https://www.osequi.com/studies/list/list.html, now focusing on "diagrams as code": https://tonsky.me/blog/diagrams/

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 featured in online galleries.

In the last 15 years I've been designing and developing websites and applications. From back-end to front-end, from architecture design to UI/UX design, on different stacks. I've built and managed front-end teams, shaped products.

Currently, I specialize in React and TypeScript, offering expertise in:

- Team Leadership: Building and guiding React teams, producing high-quality code even with junior developers.

- Design Engineering: Developing robust design systems, enabling rapid prototyping, shaping product design, and bridging developer-designer communication gaps.

- React Software Architecture: Solving pain points like state management and code architecture, as highlighted in the 2023 State of JS survey: https://2023.stateofjs.com/en-US/usage/#top_js_pain_points.

- AI-Driven Development: Advising on building likely-correct React apps and training AI models for React app generation.

I prefer a part-time or fractional role as I also run a research and development studio focused on correct software: https://www.osequi.com/.

- Location: Europe

- Remote: Yes

- Willing to relocate: Maybe

- Technologies: React, TypeScript, Next.js, Design systems, XState, Functional software architecture

- Résumé/CV: http://metamn.io/

- Email: bartus.csongor@gmail.com

I have dual skills: a degree in Computer Science and UI/UX design works featured in online galleries.

In the last 15 years I've been designing and developing websites and applications. From back-end to front-end, from architecture design to UI/UX design, on different stacks. I've built and managed front-end teams, shaped products.

Currently, I specialize in React and TypeScript, offering expertise in:

- Team Leadership: Building and guiding React teams, producing high-quality code even with junior developers.

- Design Engineering: Developing robust design systems, enabling rapid prototyping, shaping product design, and bridging developer-designer communication gaps.

- React Software Architecture: Solving pain points like state management and code architecture, as highlighted in the 2023 State of JS survey: https://2023.stateofjs.com/en-US/usage/#top_js_pain_points.

- AI-Driven Development: Advising on building likely-correct React apps and training AI models for React app generation.

I prefer a part-time or fractional role as I also run a research and development studio focused on correct software: https://www.osequi.com/.