Viewing profile — mf_kevintruong

Hi guy, I am author of Spur , I want to share the Spur solver which is backed by z3 for neuro-symbolic reasoning, combining probabilistic language models with mathematical constrai…

The most waste tokens is about : code reading/grep to search the roundtrip on search/ retrival the logic

yeah , that is what I am do in with the DAG-aware TUI hypervisor agents https://getspur.dev

Correct, that we we should need something like DAG , kanban flow for control agent , there are deterministic combine with undeterministic the control flow need to be bind with unde…

Great to see a lot of people jump into the field There are alot of note app over three, but not much app to help people on learn/maintain knowledge.

it is Telegram bot

the clozemaster is about language learning.And look like you can not create your learn resource. With the service, you can prepare any kind of knowledge to study yourself or get it…

Currently, it is free. I still working on find out the right model. I tried with subscribe paid model. But I think It is not a good way. Honestly, I make the site project for fun. …

Hi HN, I already post a show HN for my side project few weeks ago. Today, I am happy to show the project again with many feature which I worked hard to make it. - Media card which …

The advantages here is about access the knowledge in a chat client and share it immediately (quickly and simply) The receiver can view and save it immediately in the chat client al…

I said it is about distribute the knowledge to other. You send a card/deck to other by just send them a message. They can save the shared card/deck and learn later [1] [1]: https:/…

Because of sharing. I think knowledge should be easy to share, like send a message. And the next move after we send message is about the other (receiver) save and learn the knowled…

yes, about creator you can easy to create a knowledge repo based on existed open knowledge like this one [1] : https://github.com/noatcards/og-aws fork and porting.

Hi HN, Author here, It is a normal day when I prepare to review for an interview section next day. I asked myself about why the review project just replay everytime I have an inter…