HackerTrans
TopNewTrendsCommentsPastAskShowJobs

leosarev

no profile record

Submissions

What would it take to add refinement types to Rust?

yoric.github.io
26 points·by leosarev·2 lata temu·3 comments

comments

leosarev
·w zeszłym miesiącu·discuss
This page is blocked for me from server's end. I'll try later using VPN, but looks like it won't work :-)
leosarev
·w zeszłym miesiącu·discuss
I hope not. We don't have any alternatives yet.
leosarev
·3 miesiące temu·discuss
I'm a Russian native speaker and that's first time that I hear these term ever.
leosarev
·4 miesiące temu·discuss
Package manager should be pinning exact versions and never updating anything unless my manifest changing. Ever.

Cooldown should be feature of dependabot/renovate/etc
leosarev
·5 miesięcy temu·discuss
Safe and socially acceptable: "war is bad and I wish it will end sooner". "We should be friends with Ukraine and/or West". "Putin was not right to start a war". "I want that Putin resigns and/or voted out"

Safe for regular person, but socially risky: "We should surrender and pay reparations" "This war is totally Putin'a fault" "Putin is corrupt dictator" "Zelensky is a good guy"

Could in theory lead to a fine and/or losing job, but mostly safe: "I support Navalny", donation to ACF or some kind of western-affiliated NGO.

Could lead to a fine and/or prison time, when it done in social media or on the square: "Slava Ukraine", Butcha fakes, Let's willingly donate to Ukraine war effort, etc
leosarev
·5 miesięcy temu·discuss
I'm writing this comment from Russia, St. Petersburg, and yes, you can be against the Ukraine war in Russia.
leosarev
·5 miesięcy temu·discuss
> Taiwan has and always will be a province of china

You know that's official position of 99% countries in the world, including all superpowers and every NATO member?
leosarev
·6 miesięcy temu·discuss
Ironically, a lot of countries with metric system calling half inch pipe a "1/2" :-)
leosarev
·7 miesięcy temu·discuss
There are operating nuclear powered ocean vessels for decades.
leosarev
·7 miesięcy temu·discuss
https://en.wikipedia.org/wiki/Sevmorput
leosarev
·7 miesięcy temu·discuss
Much more economically feasible than battery powered ones.
leosarev
·7 miesięcy temu·discuss
Russia is operating nuclear civil vessels (icebreakers) since 1957
leosarev
·w zeszłym roku·discuss
Actually, both. Perimeter dead hand system algorithm: 1. If perimeter have been activated 2. AND there is nuclear explosion at russian territory 3. AND there is no connection to commander-in-chief

THAN release launch codes to every local military commander.
leosarev
·w zeszłym roku·discuss
I worked at middle-sized company that instituted a pay cuts, cutting all bonuses and stopping raises. After year, company lost almost every person in tech managenent and most of team leaders, their clients actively executing forking rights and no one believes in company future now.

I once heard wise words from some CEO. In harsh times, clients do not want cheaper and worse services from us. They want less services. So we are moving out headcount down, while keeping pay and even execute raises for those who stay.
leosarev
·w zeszłym roku·discuss
Except usual time to upgrade to next version of .net is less than man day.
leosarev
·w zeszłym roku·discuss
Intresting that this problem (IO-bound threads should have priority over CPU-bound threads) already solved at OS level (most OSes will give priority boost to thread that was unblocked because of end of IO operation in hope that thread will soon block with another operation).
leosarev
·2 lata temu·discuss
No, we can provide proprietary scripts that install GPLed software (i.e. setup Linux machines), but can't provide proprietary scripts that install AGPL.
leosarev
·2 lata temu·discuss
Dear telegram! Why you have something that resembles OAuth, but not OAuth? Please create OAuth compliant endpoint. Thank you
leosarev
·2 lata temu·discuss
I'm a vendor of some packaged on-premise solution. We are using a Redis as a cache layer inside. Risk of being forced to GPL out our installer is unacceptable for us.
leosarev
·2 lata temu·discuss
I also think that both docker-compose & k8s & helm are wrong layer of abstraction. I see a lot of people building a opinionated way to run containers and way for them to communicate with another, to request a DB or a redis.

I like to name some such attempts: - .NET Aspire - Avito Plato (home grown PaaS of ¨russian Amazon") - infrastructure layer of our ZIIoT (MES platform on top of k8s)