Hacker News: kimsant

New comment by kimsant in "Leanstral: Open-source agent for trustworthy coding and formal proof engineering"

kimsant — Tue, 17 Mar 2026 11:23:32 +0000

I don’t care about the servers, they are a comodity already.

The key is to avoid chantage, remember Oracle with DBs, people learned not to build on top of unreplaceable stuff

New comment by kimsant in "Leanstral: Open-source agent for trustworthy coding and formal proof engineering"

kimsant — Tue, 17 Mar 2026 09:01:59 +0000

AI agents will become a comodity.

Europeans not wanting to be dependent, and they are giving for free what US investors planed to charge with 90% margin.

Amazing! What a blast. Thank you for your service (this first 100M$ burned to POC GPT1 and from here, we are so good to go)

New comment by kimsant in "Spain cancels Pegasus spyware investigation because Israel is not co-operating"

kimsant — Tue, 26 Sep 2023 12:15:46 +0000

Spain is asking the receipt?

Jokes aside, Canadian group points half your country is being spied, specially dissidents. You say nothing is todo with Spain, like a Saudi regime.

Then funds are traced from reserved funds of Spanish government to Pegasus's, you agree, say will investigate, ask the receipt to Israel? Just find who/why decided this, put the head down and try to apologize/add measures to avoid spying dissidents

New comment by kimsant in "Ask HN: Developers who switched careers, what are you doing now?"

kimsant — Sun, 20 Mar 2022 15:34:26 +0000

But you can find something meaningful (very easy), or start your own business (easiest moment in history to rise 1million), or teach in a bootcamp...

There are 100 options. Wasting a wonderfull mind just because... sad

New comment by kimsant in "Ask HN: Developers who switched careers, what are you doing now?"

kimsant — Sun, 20 Mar 2022 15:29:08 +0000

Sad to hear that top minds just give up on humanity and accept money as a goal by itself. I do have long term investments (5 nanometers, extreme litography, electric vehicles... just what I love), I make money, but is not something I need to live.

Last month, when war started I told my team, Aerovironment stock, is gonna double (war drones) but I'm not gonna be part and I want you all to feel how calmed I'm about that and undertand (I don't need those 100k). I now undertand the difference between being Socrates or a 'sofist' (greek philosophs both, one for pleasure, the second as a job). Investing shouldn't be a need, is what's best for humanity. I think Elon musk already refered this way

New comment by kimsant in "The mother of all crashes is coming and it won’t be fun"

kimsant — Sun, 19 Dec 2021 22:11:11 +0000

The key is not to predict a black swan, but to keep reasoning and awake, trying to figure out where the focus is needed.

I don't value the outcome (you call it luck), but the reasoning behind.

New comment by kimsant in "The mother of all crashes is coming and it won’t be fun"

kimsant — Sun, 19 Dec 2021 10:12:57 +0000

Bravo. Peace of mind is an indirect cost of investment. I've met a brilliant head of engineering, that told me "I've sold all my stocks/coins so I can stop looking at my phone and reading articles, and I can really focus on what matters". Not having state bonds that allow people face inflation, has a HUge indirect cost: having offices full of nerds looking at stock/coin exchanges. How much human valuable time is now lost on that?

New comment by kimsant in "The mother of all crashes is coming and it won’t be fun"

kimsant — Sun, 19 Dec 2021 10:02:56 +0000

I see too many fearless, and too less greedy. China is already there, delisting stocks from the US, empowering it's currency and improving fast in intelectual property regulation and economics management. Maybe we won't see crashes, but the big risk is a change of dynamics, a big stocks flat only sustained by inflation that sooner or later could trigger the ultimate shift of mindset, china beeing the right place to invest, yuan the world currency.

New comment by kimsant in "Black Friday/Cyber Monday Live Map"

kimsant — Fri, 26 Nov 2021 08:21:52 +0000

Interesting! Could you explain how did you manage to find sites and how can you know where are they based?

New comment by kimsant in "The World’s Oldest Active Torrent Turns 18 Soon"

kimsant — Sun, 12 Sep 2021 23:01:27 +0000

In Germany, using torrent means 700€ fine (ISP reports). The goal of this might be that they... - Want to punish people that can't do tunneling - Want to prevent content distribution - found a way to get money from foreigners that don't know (This happened to a friend of min, 1 month after he got installed in Hamburg)

I hope is the 3rd

New comment by kimsant in "An Update on Market Volatility"

kimsant — Thu, 28 Jan 2021 22:06:44 +0000

If there is one big broker, and the broker is free to control what can be done, and the volumes... The broker is god.

Regulation coming for all sides soon.

New comment by kimsant in "Robinhood now has a 1-Star rating on the Google Play Store"

kimsant — Thu, 28 Jan 2021 21:03:37 +0000

Once again, the power of a phone call to the right person, asking for the right thing and offering the right compensation.

New comment by kimsant in "Show HN: Convier.me – A Calendar Service for Developers"

kimsant — Sat, 09 Jan 2021 09:46:58 +0000

Free users help making a robust product avoiding having tones of bugs/lacks discovered by paid users. Running an ecommerce warehouse integration platform, is not easy to come forward with all business cases / use cases beforehand. Just look below, a dude says it lacks timezone support. Valuable information. Value provided!

New comment by kimsant in "Moving Away from Travis CI"

kimsant — Thu, 19 Nov 2020 23:58:12 +0000

Gitlab is a pioneer here. The did start with the 2000 minutes free of shared runners, for private and public repos. I really think we should all thank them for pushing ahead on innovation.

Gitlab invented this, github copied. Same as Snapchat invented, Instagram copied them.

New comment by kimsant in "About iSH’s pending removal from the App Store"

kimsant — Mon, 09 Nov 2020 08:31:07 +0000

Apple wins before I can breath. If I don't say Android/IOs app, I'm off the market for a IOT B2B product. Would be a beautiful Harakiri but totally useless

New comment by kimsant in "About iSH’s pending removal from the App Store"

kimsant — Mon, 09 Nov 2020 08:25:58 +0000

I implemented Apple Login.

Took me about 2 months, since I do it on weekends, and had to move the deployment of the back-end microservices to a ci/cd docker instance since .so files of openssl can't be compiled in mac and used in linux ( i use Aws lambdas). And of course, I have a MAC because HOW else I would BUILd and Archive my ApPLE XCOdE IOS app haahah? In my prev company we had a Mac machine plugged with SSh to Jenkins!!! GOd! A company that has 700milion visitors A MONtH is forced to do this!

You see, the problem is they force my choices All the time, and by forcing it I have to make bad decisions.

New comment by kimsant in "About iSH’s pending removal from the App Store"

kimsant — Mon, 09 Nov 2020 00:14:08 +0000

if anyone is curious: https://en.qoobers.com/

New comment by kimsant in "About iSH’s pending removal from the App Store"

kimsant — Sun, 08 Nov 2020 23:54:03 +0000

This year I build qoob, an app to interact with an IOT electric scooter parking. In August I had the MVP ready, we build 2 prototypes and could save and charge scooters of all voltages in office halls.

The project is not my main job, so time is precious.

I was asked to create a new functionality: Allow companies to buy and borrow e-scooters between company employees.

But what happened is that I had to implement Apple Login, since FB and Google did work already.

Who should I take care off? Apple or the customer/users? Is it optimal to prioritize the Apple Login, that nobody requested?

I don't care about monopoly persse, I'm concerned because it doesn't let me be user-centric, consumer-centric.

(and I can't leave apple, because I can't leave my users)

New comment by kimsant in "Asking Microsoft to resign from the RIAA over YouTube-dl takedown demand"

kimsant — Tue, 27 Oct 2020 01:01:08 +0000

IMO open source projects need open source tools. I use gitlab for example.

The problem here is that Microsoft has interests now on GitHub, same as Nvidia has interest on ARM. Sure they will assure blablabla bla bla... seriously, do not even try to denny interest on expensive acquired stuff

New comment by kimsant in "PicoRio Linux RISC-V SBC is an open-source alternative to Raspberry Pi board"

kimsant — Sat, 05 Sep 2020 10:42:20 +0000

The chip industry will do like the telecom industry.

1st few players grow it important 2nd it becames a big monopoly, we all depend on 3rd other players need 10 years to build competition ( needed time to build cable/towers) ( needed time to develop processors ) 4th you have a bunch of players, all with FIX COSTS and with a 1$ variable cost for new customers, the competition squeez the margins to arround Zero. 5th you still have to keep up with the improvements ( 5G?? / 7nm??, 6nm?? ), so just to keep going investments are needed, and so profits disappear in the industry

airlines, Telecom, .... next chipmakers