🔁 Rezard

А помните, была такая криптовалюта от Facebook, Libra?

#math #article

How knowing math helps you write better software

> So I like to justify why learning mathematics will make you, in your day-to-day life, write better software. Disclaimer: I’m going to be doing a lot of handwaving here and bring up very historically inaccurate examples. I call this style “Hillel is writing a newsletter and doesn’t want to do research”.

---

> The book I’m using to learn graph theory, the Wilson book, is really good at emphasizing this. Every chapter ends with a selection of real world problems that don’t look like they have anything to do with graphs, but are elegantly modeled with them. One example is Hall’s theorem: if we have a given set of talks and a given set of slots in the schedule, where each talk can only go in a subset of the slots, can we successfully pair up the talks and slots? This problem can be represented as a bipartite graph, which gives us necessary-and-sufficient conditions for there being a solution. That’s really cool!

---

> I want to emphasize the difference between “math as knowledge” and “math as a skill”. There’s the pure math skill of being able to prove that the eigenvector of a stochastic matrix represents a steady state. There’s the applied math skill of being able to find the eigenvector by hand, or transform the matrix to make it more amenable to computation. For us, those skills aren’t nearly as important. It’s better to know more kinds of things that can be used as abstractions, properties of those abstractions, and what transformations are possible than it is to actually prove those properties or make those transformations.

(There’s still a skill here: being able to faithfully translate between the world and the abstraction. Recognizing a problem is represented by a stochastic matrix is useless if you can’t actually write the corresponding stochastic matrix.)

#math #article

That time Indiana almost made π 3.2

С днём рождения, Андрей "ozkriff" Лесников!

Как находить paper-ы. Мне точно пригодится

#rust

All your code are belong to us

blog.rust-lang.org/inside-rust/2022/09/29/announcing-the-rust-style-team.html

#prog #rust

Nice

github.com/rust-lang/rust/pull/101555
github.com/rust-lang/rust/pull/102368

#prog #rust

cargo careful: run your Rust code with extra careful debug checking

Или лёгкий способ запустить программу с отладочными ассертами в std.

#prog #rust #rustasync #article

How (and why) nextest uses tokio, part 1

Или хороший пример того, как async может пригодиться в программе, которая вообще никак не связана с общением по сети.

dtolnay — это не человек, а крейт на crates.io

#prog #rust #article

Brute forcing protected ZIP archives in Rust

Комментарии к статье на Reddit едва ли не ценнее самой статьи. Спойлер: на rayon и проще, и быстрее.

#prog #c #article

Type Punning Functions in C

#include <math.h>
#include <stdio.h>

double DoubleToTheInt(double base, int power) {
return pow(base, power);
}

int main() {
// cast to a function pointer with arguments reversed
double (*IntPowerOfDouble)(int, double) =
(double (*)(int, double))&DoubleToTheInt;

// prints 0.366032
printf("(0.99)^100: %lf \n", DoubleToTheInt(0.99, 100));
// also prints 0.366032
printf("(0.99)^100: %lf \n", IntPowerOfDouble(100, 0.99));
}

Арочный мост Кинтай - главная достопримечательность японского города Ивакуни. Он был построен еще в 1673 году и до сих пор выглядит (почти) как при самураях.

До отказа от феодального строя, кстати, только самураям и разрешалось ходить по ценному мосту - и так приходилось чинить его слишком часто. Крестьяне переправлялись через реку на лодках.

#prog #haskell #article

Товарищ Мёртвопищ 0xd34df00d написал декодер и енкодер QOI на хаскелле. И весьма быстрые.

Haskell is quite OK for images: decoding QOI
Haskell is quite OK for images: encoding QOI

#prog #abnormalprogramming

github.com/woodrush/lambda-8cc

#math #video

https://www.youtube.com/watch?v=ZMkIiFs35HQ