HackerTrans
TopNewTrendsCommentsPastAskShowJobs

hamiecod

no profile record

Submissions

Crypto Anarchy and Virtual Communities – Tim C May

nakamotoinstitute.org
1 points·by hamiecod·2 เดือนที่ผ่านมา·0 comments

Ask HN: Cyberdecks are cool but do they serve a purpose?

10 points·by hamiecod·3 เดือนที่ผ่านมา·2 comments

Formal Axiomatization of Advaita Vedanta in Lean 4

github.com
1 points·by hamiecod·7 เดือนที่ผ่านมา·0 comments

[untitled]

1 points·by hamiecod·7 เดือนที่ผ่านมา·0 comments

comments

hamiecod
·7 เดือนที่ผ่านมา·discuss
As a newbie in the world of entrepreneurship, I tried outbound sales for 3 months with my first venture. Was never worth the effort. In my opinion, it is extremely difficult to sell to people who aren't looking for the stuff or are interested in the stuff you are selling.
hamiecod
·7 เดือนที่ผ่านมา·discuss
Neovim with a few extensions installed by default. What other features does it have?
hamiecod
·7 เดือนที่ผ่านมา·discuss
Thats a strong RL technique that could equal the quality of RLHF.
hamiecod
·7 เดือนที่ผ่านมา·discuss
[0]: https://xclip.in
hamiecod
·7 เดือนที่ผ่านมา·discuss
Have you tried handing it over some test money on a trading platform to see the results? What prediction algorithm is it using?
hamiecod
·7 เดือนที่ผ่านมา·discuss
Got it. Is it safe to say that aero.zip is closer to wetransfer than it is to croc?
hamiecod
·7 เดือนที่ผ่านมา·discuss
A platform that takes your podcast footage and produces the podcast(with trailer), mid form clips and reels by analyzing what your audience responds to posts it on various social media[0].

A fiat to crypto payment gateway for businesses and freelancers without a strict KYC. Users can pay using card and merchants can claim instant crypto settlement[1].

WIP: a casino algorithm that outperforms most casino algorithms in terms of user retention over a long period of time with the objective function of maximizing long term profit.

[0]: https://xclip.in [1]: https://obliqpay.com
hamiecod
·7 เดือนที่ผ่านมา·discuss
I agree with you about writing. Back in 2020, I made a commitment to study a CS or math topic in detail each week and then write an essay about it. Those were some of my best learning experiences and when I look back at those essays, they are pure gold.
hamiecod
·7 เดือนที่ผ่านมา·discuss
You could create a browser extension that normal users could install such would warn them of a phishing site or email from that domain. It would be 0 cost since you already have the data.
hamiecod
·7 เดือนที่ผ่านมา·discuss
I know 4 languages. 3 of those I learnt because of my family. I learnt Russian because of work (+fun). I feel that it is always best to go the classic route and learn a language from a manual (currently learning mandarin from a manual) and that gamified experiences of learning languages have a very low learning/effort ratio.
hamiecod
·7 เดือนที่ผ่านมา·discuss
Interested. Could you tell me more about it?
hamiecod
·7 เดือนที่ผ่านมา·discuss
How is it different from croc?
hamiecod
·7 เดือนที่ผ่านมา·discuss
Is it open source?
hamiecod
·7 เดือนที่ผ่านมา·discuss
Stuff like the MicroPC excites me. Even though, logically, you hardly need need a micro pc but the hacky excitement of using it is worth it. I have also been looking at purchasing the MNT research pocket laptop.
hamiecod
·7 เดือนที่ผ่านมา·discuss
I am working on a technically similar startup[0]. Is this open source? Would love to contribute
hamiecod
·7 เดือนที่ผ่านมา·discuss
Was the TLA spec just hard to understand for the reader or for a peer as well?
hamiecod
·7 เดือนที่ผ่านมา·discuss
I ask claude to dump the plan into a file and ensure that the tasks have been split into subtasks such that the description of each subtask meets the threshold such that the probability of the LLM misinterpreting is very low.
hamiecod
·7 เดือนที่ผ่านมา·discuss
I’ve felt that the LLM forgets CLAUDE.md after 4-5 messages. Then, why not reinject CLAUDE.md into the context at the fifth message?
hamiecod
·7 เดือนที่ผ่านมา·discuss
I agree, writing and maintaining specifications can be cumbersome. But I've felt that learning how to write formal specifications to keep the code in check has made me a better programmer and system architect in general, even when I do not use the formal spec tooling.
hamiecod
·7 เดือนที่ผ่านมา·discuss
I recently started reading "Specifying Systems: The TLA+ Language and Tools for Hardware and Software En" by Lawrence Lamport[0]. It is a good starting point for learning how to specify systems on the basis of mathematical proofs.

Since the new code is specifications in the age of AI, learning how to specify systems mathematically is a huge advantage because English is extremely ambiguous.

[0]: https://lamport.azurewebsites.net/tla/book-02-08-08.pdf