bvrmn

15 ms·

241.
by bvrmn 2y ago
[Grumpy mode start] Some nitpicks, maybe someone finds it useful. Could we talk about a code design a little bit? class DSV: @property def delimiter(cls) -> bytes: return b'\x1F' @prop
242.
by bvrmn 2y ago
It's hilarious foil-hat level shit here: https://blog.trailofbits.com/2019/07/08/fuck-rsa/#comment-91...
243.
by bvrmn 2y ago
> stdio: fclose does a linear search, takes ages when many FILE* are opened It's interesting how many other linear searches are left there regarding FILE.
244.
by bvrmn 2y ago
State machine is always a trivial part. Email verification is stupidly simple task. But User propagation through the system and available actions based on verified email are not.
245.
by bvrmn 2y ago
So in the end users were in state "not verified" after migration. Seems email is a secondary property.
246.
by bvrmn 2y ago
You don't need VerifiedUser in the moment user click verification link. It's a state changing action. You get verified user from db and work with it later.
247.
by bvrmn 2y ago
I'm curious how would look like a real example with different Email classes. It seems silly. You don't often need a VerifiedEmail. But VerifiedUser is more useful from VerifiedEmail. You could get an implicitly verified email with
248.
by bvrmn 2y ago
I think nobody could write correct applications in C without strict style guides (automatically checked), fat pointers and forbidding nul terminated strings in their code. Yes it's external to language. But presenting a deficient code
249.
by bvrmn 2y ago
Yes, snapshot isolation is a way to implement READ COMMITTED level.
250.
by bvrmn 2y ago
It seems the root issue is atrocious sha1 hash calculation interface (openssl) not the language per se. What possible errors sha1 could return while updating a hash state from a byte buffer with a known size?
251.
by bvrmn 2y ago
> SQLite, by default, offers strict SERIALIZABLE Isolated transactions which is the strongest isolation guarantee It's not. SQLite is READ COMMITTED at best. Yes, it serializes writes, but it doesn't imply it serializes corresp
252.
by bvrmn 2y ago
It's funny how my first programmable calculator was Citizen SRP-175 in the early 1990s. And my dream of MK-52 was fulfilled only in 2000s :) I lived in Primorsky krai near Japan though.
253.
by bvrmn 2y ago
> Soon the cost of microcircuits started to decrease, and it became possible to consider the development of pocket size calculators with prices accessible to the wide consumer. Most of calculator models cost like 30%-50% of monthly salar
254.
by bvrmn 2y ago
AFAIK quite a number of protocols and file formats use BE without any sign to become a legacy even in a distant future.
255.
by bvrmn 2y ago
> add a static assert that the machine is little endian and move on with your life It's not clear how it would free you from interpreting BE data from incoming streams/blobs.
256.
by bvrmn 2y ago
Agree. Bytes and bits mix is quite awful. For implementation purposes it could be more programming oriented. 0¹²⁸ -> `[0] * 16` (it's python oriented, maybe C has short idiom for that) or nice example with padded data: 0¹²⁰10000111
257.
by bvrmn 2y ago
Yes. And they could contain errors even without OS and hardware. And practice clearly shows it. Proofs are easier to make on the same abstraction level, aren't they?
258.
by bvrmn 2y ago
TLA+ helps to find errors in your algorithm. It's a way easier than trying to model the algorithm in terms of end implementation. Too much complexity and state are introduced because of details.
259.
by bvrmn 2y ago
> unlimited-length Where to keep in-progress frame data? I case of TCP it's an app and buffer for only a single frame or app even could make "stream processing" for in-progress frame.
260.
by bvrmn 2y ago
> 3. TCP is stream based, which I don't think has ever been what I want. You have to reimplement your own protocol on top of TCP anyway to introduce message frames I'm always curious where frame proponents are going to buffer i
261.
by bvrmn 2y ago
For numpy applications you have to always box a value to get a new python string. It quite far from fast.
262.
by bvrmn 2y ago
Just wow. I've tried CadQuery and I'm too dumb to use its fluent syntax. But Build123D has amazing DSL, it was an instant understanding what code actually does and it's easy to write also. Thank you for recommendation!
263.
by bvrmn 2y ago
Looks like instead of VCS fear developers would get a code change fear. Because any mid to complex refactoring attempt would immediately break somebody's code after promotion.
264.
by bvrmn 2y ago
> Branching strategy is the thing about Grace that's most different from other version control systems. Because it's so different, it's worth going over it in some detail. > In single-step branching, each child branch c
265.
by bvrmn 2y ago
> or we could imagine a local ML model automatically checking every save before it gets uploaded. It's so 2024 to not actually engineer things but say (only say) "we tackle it with some ML model". I have goosebumps from a
266.
by bvrmn 2y ago
And now please only install vite and try to create all boilerplate by yourself.
267.
by bvrmn 2y ago
The shear amount of magic boilerplate vite creates to make react app work is quite uncomprehensible. I'm not a senior frontend dev by any means but it's always a damned job to do migration of existing project to a next magic bundl
268.
by bvrmn 2y ago
That's the point. I have no performance bottleneck with no_turbo. My i5 tends to turn on turbo mode and increased power demand (heat leaks) even if it's no needed. For example with no_turbo laptop is always cold and fan basically
269.
by bvrmn 2y ago
Archlinux, mitigations (spectre alike) off, X11, OpenBox, bmpanel with only CPU/IO indicator. Light theme everywhere. Opera in power save mode. `powertop --auto-tune` and `echo 1 | sudo tee /sys/devices/system/cpu&#
270.
by bvrmn 2y ago
BTW I get 19 hours from DELL XPS and Latitude. It's Linux with custom DE and Vim as IDE though.

More ›