mf_kevintruong

5 ms·

1.
Show HN: Spur solver – Z3-backed model-finder solved values for coding agent(github.com)
1 points by mf_kevintruong 2mo ago|0 comments
2.
by mf_kevintruong 4mo ago
The most waste tokens is about : code reading/grep to search the roundtrip on search/ retrival the logic
3.
by mf_kevintruong 5mo ago
yeah , that is what I am do in with the DAG-aware TUI hypervisor agents https://getspur.dev
4.
by mf_kevintruong 5mo ago
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 undeterministic agent to keep thing strict but need to flexible
5.
by mf_kevintruong 5y ago
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.
6.
Sync local change or call command in remote side(github.com)
1 points by mf_kevintruong 6y ago|0 comments
7.
by mf_kevintruong 6y ago
it is Telegram bot
8.
by mf_kevintruong 6y ago
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 from internet, please reference [1] https://noat
9.
by mf_kevintruong 6y ago
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. But still need some money to maintain the service
10.
by mf_kevintruong 6y ago
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 mean you can embedded photo/audio to the card - Cloze
11.
Show HN: Noat.Cards I make a Quizlet/Anki alternative(noat.cards)
28 points by mf_kevintruong 6y ago|7 comments
12.
by mf_kevintruong 6y ago
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 also.
13.
by mf_kevintruong 6y ago
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://youtu.be/0w6PhlG37dk?list=PLHAw
14.
by mf_kevintruong 6y ago
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 knowledge.
15.
by mf_kevintruong 6y ago
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.
16.
by mf_kevintruong 6y ago
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 interview section. How can I trim down the progress by make my kn
17.
Show HN: Noat.Cards – Open knowledge learning and sharing platform(noat.cards)
2 points by mf_kevintruong 6y ago|8 comments