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 ปีที่แล้ว·3 comments

comments

leosarev
·เดือนที่แล้ว·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
·เดือนที่แล้ว·discuss
I hope not. We don't have any alternatives yet.
leosarev
·3 เดือนที่ผ่านมา·discuss
I'm a Russian native speaker and that's first time that I hear these term ever.
leosarev
·4 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·discuss
I'm writing this comment from Russia, St. Petersburg, and yes, you can be against the Ukraine war in Russia.
leosarev
·5 เดือนที่ผ่านมา·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 เดือนที่ผ่านมา·discuss
Ironically, a lot of countries with metric system calling half inch pipe a "1/2" :-)
leosarev
·7 เดือนที่ผ่านมา·discuss
There are operating nuclear powered ocean vessels for decades.
leosarev
·7 เดือนที่ผ่านมา·discuss
https://en.wikipedia.org/wiki/Sevmorput
leosarev
·7 เดือนที่ผ่านมา·discuss
Much more economically feasible than battery powered ones.
leosarev
·7 เดือนที่ผ่านมา·discuss
Russia is operating nuclear civil vessels (icebreakers) since 1957
leosarev
·ปีที่แล้ว·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
·ปีที่แล้ว·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
·ปีที่แล้ว·discuss
Except usual time to upgrade to next version of .net is less than man day.
leosarev
·ปีที่แล้ว·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 ปีที่แล้ว·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 ปีที่แล้ว·discuss
Dear telegram! Why you have something that resembles OAuth, but not OAuth? Please create OAuth compliant endpoint. Thank you
leosarev
·2 ปีที่แล้ว·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 ปีที่แล้ว·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)