csbartus (u/csbartus)

csbartus commented on Ask HN: Freelancer? Seeking freelancer? (June 2025) · Posted by u/whoishiring

csbartus · 9 months 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 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

csbartus commented on Ask HN: Who wants to be hired? (June 2025) · Posted by u/whoishiring

csbartus · 9 months 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 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

csbartus commented on Ask HN: Freelancer? Seeking freelancer? (May 2025) · Posted by u/whoishiring

csbartus · 10 months 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 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

csbartus commented on Ask HN: Who wants to be hired? (May 2025) · Posted by u/whoishiring

csbartus · 10 months 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 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/

csbartus commented on Ask HN: What are you working on? (April 2025) · Posted by u/david927

csbartus · a year 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/list.html

csbartus commented on Ask HN: What are you working on? (April 2025) · Posted by u/david927

misterflibble · a year ago

Can I ask what prerequisite mathematics you would need to know before reading those? I'm really interested in that topic and better understanding functional programming.

csbartus · a year 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 into context my existing programming knowledge while learning category theory

csbartus commented on Ask HN: What are you working on? (April 2025) · Posted by u/david927

Avicebron · a year ago

I'm teaching myself category theory, I'll kick back off a local trail, keep notes on the birds I see and read and do the problems in my notebooks. I've got Basic Category Theory by Leinster, and How to Read and Do Proofs by Solow as my references, notebook, pen and a pair of Nikon binoculars.

csbartus · a year ago

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

csbartus commented on JSX over the Wire overreacted.io/jsx-over-t... · Posted by u/danabramov

moi2388 · a year ago

N+1, security, authorisation, performance, caching, schema stitching..

csbartus · a year ago

That's a backend issue I guess ...

csbartus commented on JSX over the Wire overreacted.io/jsx-over-t... · Posted by u/danabramov

csbartus · a year 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 on the server what was given by default by GraphQL

csbartus commented on Ask HN: Freelancer? Seeking freelancer? (April 2025) · Posted by u/whoishiring

csbartus · a year 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 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

u/csbartus

KarmaCake day1400February 22, 2009

About

https://osequi.com

766fc7

View Original