hamiecod

7 ms·

1.
Crypto Anarchy and Virtual Communities – Tim C May(nakamotoinstitute.org)
1 points by hamiecod 5mo ago|0 comments
2.
Ask HN: Cyberdecks are cool but do they serve a purpose?
10 points by hamiecod 5mo ago|2 comments
3.
by hamiecod 9mo ago
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 int
4.
by hamiecod 9mo ago
Neovim with a few extensions installed by default. What other features does it have?
5.
by hamiecod 9mo ago
Thats a strong RL technique that could equal the quality of RLHF.
6.
by hamiecod 9mo ago
[0]: https://xclip.in
7.
by hamiecod 9mo ago
Have you tried handing it over some test money on a trading platform to see the results? What prediction algorithm is it using?
8.
by hamiecod 9mo ago
Got it. Is it safe to say that aero.zip is closer to wetransfer than it is to croc?
9.
by hamiecod 9mo ago
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
10.
by hamiecod 9mo ago
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 a
11.
by hamiecod 9mo ago
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.
12.
by hamiecod 9mo ago
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
13.
by hamiecod 9mo ago
Interested. Could you tell me more about it?
14.
by hamiecod 9mo ago
How is it different from croc?
15.
by hamiecod 9mo ago
Is it open source?
16.
by hamiecod 9mo ago
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.
17.
by hamiecod 9mo ago
I am working on a technically similar startup[0]. Is this open source? Would love to contribute
18.
by hamiecod 9mo ago
Was the TLA spec just hard to understand for the reader or for a peer as well?
19.
by hamiecod 9mo ago
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.
20.
by hamiecod 9mo ago
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?
21.
by hamiecod 9mo ago
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
22.
by hamiecod 9mo ago
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.
23.
by hamiecod 9mo ago
This is funny as well as amazing haha. This makes me wonder whether mathematics can prove the real truth or not since it does not take spirituality, conciousness and metaphysics (things we dont yet fully understand) into account.
24.
Formal Axiomatization of Advaita Vedanta in Lean 4(github.com)
1 points by hamiecod 9mo ago|0 comments
25.
by hamiecod 9mo ago
How long can the exchanges scale their sequencer systems (which are sequential) vertically? The trading volume is only rising with time at a higher rate than the advancement of low latency tech.
26.
by hamiecod 9mo ago
After reading some other articles on the site, I have a feeling that it could be written by AI.
27.
by hamiecod 9mo ago
It makes me emotional when I think about where life started and what it evolved into. Life created so many different types of organisms, each having different features while maintaining the equilibrium of the planet. From bacteria, to massi
28.
Infopium: Addiction to information is holding us back(hargunbeer.com)
2 points by hamiecod 1y ago|0 comments
29.
Infopium – The Newest Drug on the Market(hargunbeer.com)
4 points by hamiecod 1y ago|1 comments
30.
by hamiecod 1y ago
looks so cool and cyberpunk-y in an odd way.

More ›