Actors post! Let's mention two systems at once!

https://lava-nc.org/

https://github.com/msp-strath/TypOS

OK, granted there's almost nothing in common between them apart from the fact they use actors/CSP formalism as a model to achieve some ends.

The end goal of the first one, Lava, is to compile single source code (presumably, computation-heavy) into efficient target machine code as diverse as to cover everything from CPU/GPU/TPU/xPU to the Neuromorphic chips.

The end goal of the second project is implementation of pretty sophisticated type-checkers (including Dependent Types with some bells and whistles) in a safe(er) manner, preserving many properties by construction (and being very flexible at the same time).

Pretty amazing where one can see CSP if they squint hard enough... 😏

TIL: HingeAngleService is a Windows Service that tracks an angle between display and keyboard of your laptop and generates relevant events.

https://youtu.be/fErUu217Pu0

Офигенная история про "старые добрые" времена до массового распространения лазерных принтеров и TeX Кнута. 😏

https://youtu.be/ig-2xlXfex4

Apart from all the funny bits, there's a good advice for math (and other subjects) teachers in the middle of the interview.

"Мы созданы дурак для дурака!"

https://functional-art.org/2022/
10th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design (FARM)

WOW, the workshop looks dope! 😃

3blue1brown! 😂

https://www.arxiv-vanity.com/
> arXiv Vanity renders academic papers from arXiv as responsive web pages so you don’t have to squint at a PDF.

WOW! 😳

https://buttondown.email/hillelwayne/archive/why-you-should-read-data-and-reality/

Once more: we are not modeling reality, but the way information about reality is processed, by people. — Bill Kent

Эта фраза точечно объясняет, почему ООП по факту провалилось, как и примерно все остальные "методологии программирования" или проектирования.

Реальность многообразнее любой модели — это первое, что мы забываем, и оно же возвращается бумерангом чтобы хлопнуть нас по затылку в самый ответственный момент.

Ссылка на книгу внутри поста.
#free #book #modeling

https://arxiv.org/pdf/1809.02161.pdf
"Future Directions for Optimizing Compilers", Nuno P. Lopes, John Regehr

As software becomes larger, programming languages become higher-level, and processors continue to fail to be clocked faster, we’ll increasingly require compilers to reduce code bloat, eliminate abstraction penalties, and exploit interesting instruction sets. At the same time, compiler execution time must not increase too much and also compilers should never produce the wrong output. This paper examines the problem of making optimizing compilers faster, less buggy, and more capable of generating high-quality output.

Among other things the paper gives an overview of Solvers, Synthesis, and Superoptimizers, their applicability and challenges to compilers.

https://driesdepoorter.be/thefollower/

Citizen surveillance. As in random weirdo surveillance over whoever got unlucky. 😒

Больничный — это как очень-очень-очень стрёмный отпуск...

Упростин-С

120. Adapting old programs to fit new machines usually means adapting new machines to behave like old ones.

Alan J. Perlis (http://pu.inf.uni-tuebingen.de/users/klaeren/epigrams.html)

Эта фраза точечно объясняет развитие компьютеров за последние 50 лет.

My occupation? Git-commit juggler.

А мне всё похуй — я продукт мясной категории Б...

Мне одному кажется, что напёрсточники похожи на ОКРщиков? 🤔

https://lemire.me/blog/2019/10/16/benchmarking-is-hard-processors-learn-to-predict-branches/

Dang! CPUs really do learn to predict branches. And learn fast!
If you're trying to benchmark how your code handles "cold" (fresh) data it will screw your tests real good.

https://nitter.it/Bertrand_Meyer/status/1575216523689754624

Bertrand Meyer resurrected and published for #free his 1991 #book "Introduction to the Theory of Programming Languages".

I have no idea if it's any good.

— Страх убивает мозг!
— Убивает мозг?! О, то, что нужно!!!
(прыгает с парашютом)

— Screw you.
— Оу, точка в конце предложения — как грубо!