Занятно, что по сути сюжетной основой Jagged Alliance 2/3 является роман Фредерика Форсайта "Псы войны". Роман, кстати, отличный, очень рекомендую. Недавно ещё прочитал знаменитый "День Шакала" (в оригинале) того же автора — реально захватывающее произведение в прямом смысле слова.
👍1
https://github.com/mooculus/laode
Open-source combined Linear Algebra and Ordinary Differential Equations textbook
#math #book
Open-source combined Linear Algebra and Ordinary Differential Equations textbook
#math #book
GitHub
GitHub - mooculus/laode: Open-source combined Linear Algebra and Ordinary Differential Equations textbook
Open-source combined Linear Algebra and Ordinary Differential Equations textbook - GitHub - mooculus/laode: Open-source combined Linear Algebra and Ordinary Differential Equations textbook
👍2
> I did a quick search search of Lean community YouTube channel and found few videos about analysis.
> Calculus and integration: youtu.be/p8Etfv1_VqQ
> Topology and filters: youtu.be/hhOPRaR3tx0
> Measure theory: youtu.be/yH3-zE0bYCU
#math #video #lean
> Calculus and integration: youtu.be/p8Etfv1_VqQ
> Topology and filters: youtu.be/hhOPRaR3tx0
> Measure theory: youtu.be/yH3-zE0bYCU
#math #video #lean
YouTube
LftCM2020: Calculus and integration - Yury Kudryashov
https://lecopivo.github.io/SciLean/doc/differentiation_in_scilean.html
A cool tutorial (work in progress) on calculating derivatives and differentials (symbolically and mostly automatically) in Lean 4 with the SciLean library (and tactics).
A cool tutorial (work in progress) on calculating derivatives and differentials (symbolically and mostly automatically) in Lean 4 with the SciLean library (and tactics).
https://www.inference.vc/the-secular-bayesian-using-belief-distributions-without-really-believing/
A fun introduction to "dogmatic Bayesianism" but actually a deep review of a paper on general Bayes-like update rules.
#statistics #bayes #paper
A fun introduction to "dogmatic Bayesianism" but actually a deep review of a paper on general Bayes-like update rules.
#statistics #bayes #paper
inFERENCe
The secular Bayesian: Using belief distributions without really believing
The religious Bayesian
My parents didn't raise me in a religious tradition. It all started to change
when a great scientist took me under his wing and taught me the teachings of
Bayes. I travelled the world and spent 4 years in a Bayesian monastery in
Cambridge…
My parents didn't raise me in a religious tradition. It all started to change
when a great scientist took me under his wing and taught me the teachings of
Bayes. I travelled the world and spent 4 years in a Bayesian monastery in
Cambridge…
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... 😏
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... 😏
GitHub
GitHub - msp-strath/TypOS: being an operating system for typechecking processes
being an operating system for typechecking processes - msp-strath/TypOS
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 Кнута. 😏
Офигенная история про "старые добрые" времена до массового распространения лазерных принтеров и TeX Кнута. 😏
YouTube
Before Raspberry Pi and Arduino - Computerphile
Professor Brailsford with an example of what he had to do when Computer A didn't talk to Computer B.
https://www.facebook.com/computerphile
https://twitter.com/computer_phile
This video was filmed and edited by Sean Riley.
Computer Science at the University…
https://www.facebook.com/computerphile
https://twitter.com/computer_phile
This video was filmed and edited by Sean Riley.
Computer Science at the University…
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.
Apart from all the funny bits, there's a good advice for math (and other subjects) teachers in the middle of the interview.
YouTube
Adam Savage Book Club: Humble Pi: When Math Goes Wrong in the Real World
Buy Humble Pi: https://amzn.to/367UmBV
Adam Savage kicks off his book club with mathematician Matt Parker, discussing Matt's book, Humble Pi: When Math Goes Wrong in the Real World (https://amzn.to/367UmBV). Much of the conversation centers around your questions…
Adam Savage kicks off his book club with mathematician Matt Parker, discussing Matt's book, Humble Pi: When Math Goes Wrong in the Real World (https://amzn.to/367UmBV). Much of the conversation centers around your questions…
https://functional-art.org/2022/
10th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design (FARM)
WOW, the workshop looks dope! 😃
10th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling and Design (FARM)
WOW, the workshop looks dope! 😃
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! 😳
> arXiv Vanity renders academic papers from arXiv as responsive web pages so you don’t have to squint at a PDF.
WOW! 😳
🤯1
https://buttondown.email/hillelwayne/archive/why-you-should-read-data-and-reality/
Эта фраза точечно объясняет, почему ООП по факту провалилось, как и примерно все остальные "методологии программирования" или проектирования.
Реальность многообразнее любой модели — это первое, что мы забываем, и оно же возвращается бумерангом чтобы хлопнуть нас по затылку в самый ответственный момент.
Ссылка на книгу внутри поста.
#free #book #modeling
Once more: we are not modeling reality, but the way information about reality is processed, by people. — Bill Kent
Эта фраза точечно объясняет, почему ООП по факту провалилось, как и примерно все остальные "методологии программирования" или проектирования.
Реальность многообразнее любой модели — это первое, что мы забываем, и оно же возвращается бумерангом чтобы хлопнуть нас по затылку в самый ответственный момент.
Ссылка на книгу внутри поста.
#free #book #modeling
Buttondown
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 I've got this working theory that you can...
👍3
https://arxiv.org/pdf/1809.02161.pdf
"Future Directions for Optimizing Compilers", Nuno P. Lopes, John Regehr
Among other things the paper gives an overview of Solvers, Synthesis, and Superoptimizers, their applicability and challenges to compilers.
"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.
👍3
https://driesdepoorter.be/thefollower/
Citizen surveillance. As in random weirdo surveillance over whoever got unlucky. 😒
Citizen surveillance. As in random weirdo surveillance over whoever got unlucky. 😒
Dries Depoorter
The Follower, 2023-2025
Using open cameras and AI to find how an Instagram photo is taken.
Project by Dries Depoorter.
Project by Dries Depoorter.
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 лет.