danbst

this is a disaster. There are rumors that part of infrastructure is destroyed.

There are 26 million Kyivstar users. Now they all are without mobile for an indefinite time. I'm one of them

2FA via SMS doesn't work. Our biggest bank was partner for Kyivstar, and now it's 2FA doesn't work either.

in llama.cpp inference runs on CPU, using AVX-2 optimizations. You don't need GPU at all

It runs on my 2015 ThinkPad!

to make this complete, the "Silpo" market chain created unique design for many years already. Here is full list, together with ideas behind each design

https://silpo.ua/about/dyzainerski-supermarkety

The idea is to store all matrix weights for neural model in log space, and never leave it. Maybe create a new activation function which doesn't leave log space.

You can check the code, I don't just replace multiplication, I perform addition (with tricks) in log space

remove word egg

There exists `sd` which does the same! Maybe details differ. See intro in https://ianthehenry.com/posts/a-cozy-nest-for-your-scripts/

There are several layers of propaganda, and you point to only one of them.

1) The propaganda for West is that "power balance" shit story. US citizens are distant enough to believe this is rational PoV. (it is not)

2) The propaganda for russians is that Ukraine is a failed state, has no legitimate govt, makes undercover nukes and nazis use ukrainian people as hostages. (all of this is lie)

3) The propaganda for Ukraine is that Russians and Ukrainians are literally "brothers", more "brothers" than ukrainians and poles. Everyone speaking russian language is part of Russia. (clear manipulation)

We Ukrainians don't like this propaganda and don't want live under Putin's (or any other non-democratic) regime. If US (and Europe) feels we can help them achieve their goals, we are fine with that. Because it aligns with our national goals -- make Russia weak, or even make it disappear from global map.

Partly related, the No Bullshit Guide to Linear Algebra has a concept map as a first page, which looks really stunning. Author definitely had spent time mindmapping stuff before writing.

https://minireference.com/miniref/lib/tpl/miniref/dist/image...

Both are correct from math POV, but they differ in how "integer division" works.

Python floors `7 // -5` to -2, C rounds `7 / (-5)` to -1.

This is explanation from author

http://fastcompression.blogspot.com/2011/05/lz4-explained.ht...

Correct link: https://github.com/python/cpython/blob/3.10/Lib/turtle.py#L3...

Brief history of inline freestyle rollerblading in Ukraine. It had declined as well, but head a peak much later than US.

2003-2008 -- this was rise period of skating. Primarily in Kyiv, but also Luhansk, Donetsk, Kharkiv, Odessa

2006 -- Sebastian Lafarge creates SEBA brand and Seba FR1 boot. For some reason it becomes #1 choice for "pro" skaters in Ukraine. Maybe because it is well suited for freestyle lifestyle? Anyway, more and more white-black boots had appeared.

I think French and Russian existing roller cultures greatly influenced the whole Ukrainian movement.

2008-2013 -- "boom" of inline skating in Ukraine. During this time originated several different skater subgroups:

* yamakasi -- as a tribute to movie "Yamakasi", where tracers gather together to watch sunrise from high point. Skaters chatted which hill of Kyiv they plan to watch sunrise, skated whole night, gathered in one place and watched the event. Those meetings were sometimes up to 100 people.

* Wizards (catchskating) -- basically "freeze tag" on inline skates. It turned out to be a good team sport, and more accessible than inline hockey. Common teams were 2 catchers VS 5 runners and 3 VS 7. There were compettions, Luhansk and Donetsk teams were best there. I think this game originated from Russia

* Season opening -- yearly spring event when weather becomes warm enough for skating, and people from Ukraine, Belarus and Russia gather together in Kyiv for grand mob skating. I think record goes to 1000 skaters of all ages.

* Night riders -- freeskating empty streets at night was common and even had weekly schedules. Bikers sometimes participated too

* Downhill -- Kyiv has many hills, so people quickly learn the fun of downhill. We had teams, night downhill trainings, maps of good and bad DH, and so on.

* all kinds of tricksters -- slalom, slides, jumps. This was copied from russian and french FSK tournaments. (at time Kyiv had very few skateparks)

2014+ -- war happened and we lost Russia, Luhansk and Donetsk teams. This probably was the most disrupting event for whole movement. Ban of Vkontakte had cut many contacts and communities.

That sounds utopian. Maybe there are also other reasons why this worked?

In my experience, kids have no ideas on their own. And they don't like discovering things on their own. They want lectures and wait for assignments. Only few are different.

I was amazed how this went contra my expectations.

- What was her age when you started this?

- Did she have experience with board/card/pen-and-paper games before? Dice games?

- What was starting typing speed and how it goes now? Do typing lessons causes frustration?

- Have you noted some prior math skills? I see lessons start with strings but then move to "geometry" stuff

I believe content of his books is now less accessible to modern kids. Internet (Youtube) doesn't promote his works, ideas. Flexagons are rediscovered, instead of being included into school curriculum, etc.

When I was a kid, I didn't know he was alive when I read his books.

Nix has first-class support for URLs. Like, there are strings ("https://example.org") and URLS (https://example.org). And if URL is not valid, it will be parser error.

However, this "feature" turned out to be misfeature and may be removed in future.

The RFC: https://github.com/NixOS/rfcs/blob/master/rfcs/0045-deprecat...

Wonder how Forth and Forth-chips can help here.

I imagine a tiny Forth, which interprets larger Forth, which implements C enough to compile old TinyCC/GCC and start the chain of rebuilds (as explained in stage0).

As for hardware, a schematic for Forth would be simpler than schematic for generic RAM machine. But if not, intermediate minimal RISC-style machine language is still fine.

Steps to reach that level of hardware are already describe in NandToTetris, so in the end anything capable of implementing NAND/Fanout/Wiring can be used to run bootstrap chain.

Then we only have to make sure HW and SW implementers don't introduce bugs.

Just recently, there were large non-reproducible projects: python, gcc. Not sure where is the history of non-r13y.

---

There is Debian initiative to create bit-to-bit reproducible builds for all their software (well, all critical).

https://reproducible-builds.org/

R13y is akin to "computer proofs" in math -- if you don't have it, that's fine, but if you have it, that's awesome.

There are practical reasons to favor reproducibility too, but those are more for distro maintainers.

The fact that NixOS (not Debian) got this 100% is mostly because

- minimal image has a small subset of packages (https://hydra.nixos.org/build/146009592#tabs-build-deps)

- Nix tooling was created 15 years ago *exactly* for this, Nix is mad to make packages bit-to-bit rebuildable from scratch.

- Nix/Nixpkgs is growing in number of maintainers and got more funds

- Nix has fewer Docker/Snap pragmatics

yeah, article should talk about periodic TRIMming, though this is more an admin advice

You are correct about strategic importance (which is still not tolerable). But it is not correct to justify this annexation by any historical reasons.

That's like saying Ukraine has claims in Kuban, because it was historically Ukrainian.

do you have your class notes and exercises open? I too use RPN calculator and stack machine as examples

Sorry for plugging in. NixOS has a plan to use DisorderFS in making 100% reproducible build.

https://r13y.com/

As I understand it, currently several packages are not reproducible (like, python, pytest, gcc), so it is not priority, but when those large packages will be done, r13y will start using DisorderFS to uncover remaining reproducibility bugs.

This is too idealistic, but gives lots of pleasure about package space.

LauncherOne costs $12 millions per launch and delivers 300 kg, which means $40k/kg. Compared to $4k/kg of Falcon9, this is... uhm... They definitely gotta optimize things

What's your opinion on Thomas Seyfried theory on metabolic reasons, mitochondria malfunction, glucose and glutamine control, and such?

He also mentions this "atavistic" view, but it is not central in his theory.

Try Nix 2.0, it can place your derivations in custom folder by clever use of chroot, read about --store argument.