comonoid

7 ms·

61.
by comonoid 3y ago
jemalloc was Rust's default allocator till 2018. https://internals.rust-lang.org/t/jemalloc-was-just-removed-...
62.
by comonoid 3y ago
Garbage destruction.
63.
International Cryptography Olympiad 2023 (NSU, Russia)(nsucrypto.nsu.ru)
1 points by comonoid 3y ago|0 comments
64.
by comonoid 3y ago
“I don't know what the language of the year 2000 will look like, but I know it will be called Fortran.” —Tony Hoare I think it should be corrected to year 3000.
65.
by comonoid 3y ago
1. Program = Proof by Samuel Mimram Math foundation of programming. Church–Rosser theorem, Curry–Howard correspondence, intuitionistic logic, theorem proving with dependent types, etc. 2. Rust Atomics and Locks: Low-Level Concurrency in Pr
66.
by comonoid 3y ago
Analysis of Yandex's Crypta service that collects user behavioral data.
67.
Leaked Yandex Code Breaks Open the Creepy Black Box of Online Advertising(wired.com)
6 points by comonoid 3y ago|1 comments
68.
by comonoid 3y ago
Programming have become an industry. It is all about profit.
69.
by comonoid 3y ago
It should be partially compensated by your health insurance.
70.
by comonoid 3y ago
https://en.wikipedia.org/wiki/Pigeonhole_principle
71.
by comonoid 3y ago
Can be mitigated by a rope(?) structure (i.e. the vector is split into chunks of fixed size, no re-allocation required) with real pointers. It will be unsafe inside, but safe (read-only) interface seems to be possible. Deallocation will be
72.
by comonoid 3y ago
You can certainly do calculations with apples, but doing RSA encryption with them is just impractical.
73.
by comonoid 3y ago
I've read all Borges' work translated to my native language. I consider it a replacement of humanitarian sciences course (I've graduated from a math department).
74.
by comonoid 3y ago
It is interesting enough for the authors.
75.
by comonoid 3y ago
It doesn't even mention the Ballmer peak.
76.
by comonoid 3y ago
> with three-quarters of Russians still saying they support the war The link that statement refers to doesn't mention that polls like that have huge percentage of people who refuse to answer. Given that expressing anti-war opinion
77.
by comonoid 3y ago
> This article reads like US propaganda. Indeed, the real number should be higher.
78.
by comonoid 3y ago
If we open Human Right Declaration, Articles 2, 6, 7, 10, 18, 19, 20, 21, 26 at least are not available to anyone in Russia, including young professionals.
79.
by comonoid 3y ago
The first 916 days of Emacs are always the hardest.
80.
by comonoid 3y ago
When I left Yandex (pre-pandemic), I was told that I can return with no conditions in 3 months. I believe it is a general practice as I had non-senior position and was considered an average performer. So, his situation is not as dire.
81.
by comonoid 3y ago
Well, we may use it to re-implement a GC in Rust!
82.
by comonoid 4y ago
Someone has to buy Russian gas/oil, as gas/oil prices will skyrocket otherwise. EU and US governments do understand it very well.
83.
by comonoid 4y ago
It's number one in the TIOBIAS index, though.
84.
by comonoid 4y ago
It cannot even answer correctly to "What is heavier: one kilogram of lead or two kilograms of feather?"
85.
by comonoid 4y ago
I saw a bartender fishing in 2020 when everything was closed. So, why not?
86.
by comonoid 4y ago
Nobody works at them as most males were drafted.
87.
by comonoid 4y ago
Millenials who are happier buy less.
88.
by comonoid 4y ago
It's not even tax invasion, it is for sake of European legal system.
89.
by comonoid 4y ago
Yandex.Robot is a delivery self-driving robot. The crawler bot is a part of Yandex.Search.
90.
Minesweeper Is Hard – Keegan R(youtube.com)
1 points by comonoid 4y ago|1 comments

More ›