HNHacker News
TopNewBestAskShowJobs

hamiecod

17 karma · joined January 29, 2022

Personal: hargunbeer.com Company: xclip.in Email: hbs@hargunbeer.com
submissionscomments
hamiecod··on Ask HN: Resources to get better at outbound sales?
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··on Flow – A Programmer's Text Editor
Neovim with a few extensions installed by default. What other features does it have?
hamiecod··on AI will make formal verification go mainstream
Thats a strong RL technique that could equal the quality of RLHF.
hamiecod··on Ask HN: What Are You Working On? (December 2025)
[0]: https://xclip.in
hamiecod··on Ask HN: What Are You Working On? (December 2025)
Have you tried handing it over some test money on a trading platform to see the results? What prediction algorithm is it using?
hamiecod··on Ask HN: What Are You Working On? (December 2025)
Got it. Is it safe to say that aero.zip is closer to wetransfer than it is to croc?
hamiecod··on Ask HN: What Are You Working On? (December 2025)
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··on Ask HN: What Are You Working On? (December 2025)
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··on Ask HN: What Are You Working On? (December 2025)
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··on Ask HN: What Are You Working On? (December 2025)
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··on Ask HN: What Are You Working On? (December 2025)
Interested. Could you tell me more about it?
hamiecod··on Ask HN: What Are You Working On? (December 2025)
How is it different from croc?
hamiecod··on Ask HN: What Are You Working On? (December 2025)
Is it open source?
hamiecod··on Ask HN: What Are You Working On? (December 2025)
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··on Ask HN: What Are You Working On? (December 2025)
I am working on a technically similar startup[0]. Is this open source? Would love to contribute
hamiecod··on 50 years of proof assistants
Was the TLA spec just hard to understand for the reader or for a peer as well?
hamiecod··on Ask HN: How can I get better at using AI for programming?
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··on Ask HN: How can I get better at using AI for programming?
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··on The Coming Need for Formal Specification
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··on 50 years of proof assistants
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

hamiecod··on 50 years of proof assistants
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.
hamiecod··on How exchanges turn order books into distributed logs
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.
hamiecod··on How exchanges turn order books into distributed logs
After reading some other articles on the site, I have a feeling that it could be written by AI.
hamiecod··on Size of Life
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 massive dinosaurs, to tiny homosapiens who inevitably control the largest organisms.
hamiecod··on Ask HN: What are you working on? (July 2025)
looks so cool and cyberpunk-y in an odd way.
hamiecod··on Ask HN: What are you working on? (July 2025)
Working on xclip.in - software that fully automates content creation for content creators by deeply analyzing their past content/analytics and the current social media trends.
hamiecod··on Yt-transcriber – Give a YouTube URL and get a transcription
—-write-auto-subs gets your IP banned for 12/24 hours if you download video subtitles in bulk but if the subtitles are downloaded with sufficient time gap in between, the ban is not triggered.

My startup has to utilize youtube transcriptions so we just subscribe to a youtube transcriptor api hosted on rapidapi that downloads subtitles. 1$ per 1000 reqs. Pretty cheap

hamiecod··on Ask HN: Is TAOCP helpful in real life reasoning?
Are there any specific sections I should focus on reading? Or just see what seems interesting and go with that?
hamiecod··on Show HN: I used OpenAI's new image API for a personalized coloring book service
How did the launch go? Could you share Revenue stats after the first 24 hours of the launch?
hamiecod··on Ask HN: Why is there no P2P streaming protocol like BitTorrent?
But bandwidth is extremely cheap in 2025 to the point that I do not even check my bandwidth usage and I have never reached my 2TB/month bandwidth cap in the last 3 years.

Secondly, the p2p system will be advantageous for the videos that most people watch, i.e., popular videos. This implies that the "popular" video will have a large number of concurrent users who are transmitting a small part of video to just 3 other peers who are then transmitting the same part to 3 other peers.

This way, the bandwidth usage for uploading is reduced.

Page 1 of 2Next →