timtro Profile Banner
๐˜›๐˜ช๐˜ฎ ๐˜›๐˜ฆ๐˜ข๐˜ต๐˜ณo Profile
๐˜›๐˜ช๐˜ฎ ๐˜›๐˜ฆ๐˜ข๐˜ต๐˜ณo

@timtro

Followers
463
Following
12K
Media
361
Statuses
5K

Engineering PhD: Applied Category Theorist, Control systems software engineer, Computational physicist. C++, Python, Haskell. Family man by night.

Ontario, CANADA
Joined March 2010
Don't wanna be here? Send us removal request.
@timtro
๐˜›๐˜ช๐˜ฎ ๐˜›๐˜ฆ๐˜ข๐˜ต๐˜ณo
2 years
This principle is the basis for the Nyquist stability criterion in classical control systems theory. #Math #ControlSystems #Engineering
@timtro
๐˜›๐˜ช๐˜ฎ ๐˜›๐˜ฆ๐˜ข๐˜ต๐˜ณo
2 years
Illustrated: Cauchy's Argument Principle. The hue of each pixel represents the complex argument. A complex rational function is pictured left, and the right is the output plane. Count encirclements of the origin (right) as contours are drawn around poles and zeros (left)
0
0
2
@Riazi_Cafe_en
Math Cafe
3 months
"Differential Geometry" by Pinkall & Gross is Open Access. You can get it at: https://t.co/AvZAus30Wh
7
100
530
@kirkshoop
kirk shoop
4 years
There is a new rxcpp being actively developed using c++20 features. The code is beautiful. A lot of syntax overhead is removed from the implementation due to C++20 Please check it out and lend a hand! https://t.co/N1RuwlILaq
Tweet card summary image
github.com
v0.1.0 is out! Overview: Hey! It is first major release of ReactivePlusPlus! After a lot of work under this one, changing CMakes hierarchy it is finally out! Major changes since previous release P...
0
7
19
@DiracGhost
Didier 'Dirac's ghost' Gaulin
1 year
Pavel Etingof breaks down the mathematical ideas behind quantum field theory in this great Arxiv primer. ๐Ÿ‘€๐Ÿ”—๐Ÿ‘‡
8
93
720
@Riazi_Cafe_en
Math Cafe
1 year
Stanford's "Advanced Algorithms" lecture notes PDF: https://t.co/yD1n2zTd7q
@Riazi_Cafe_en
Math Cafe
1 year
Carnegie Mellon University's "Advanced Algorithms" course notes PDF: https://t.co/F6mf0CSNUk
1
70
442
@scheminglunatic
alcuin โ„๏ธ
1 year
(Posting it again) Necessary, good, solid books for the big kiddos: - SICP 2nd ed. (Language: MIT Scheme, available in DrRacket) - HtDP 2nd ed. (L: Racket) - Appel's modern compiler implementation (L: Standard ML) - Okasaki's purely functional data structures (L: Standard ML)
@ElmWho
Elm
1 year
@scheminglunatic I have never heard of racket and I never have looked into standard ML and I still don't know what assembly is or c when it comes to fundamental function. Time to do some reading
15
61
613
@DiracGhost
Didier 'Dirac's ghost' Gaulin
1 year
Oh, I wanted to let you know that, Field medalist Richard Borcherds quantum field theory notes are available on arxiv, right there for you to read. Get the pdf, link in the comments.
10
108
964
@DiracGhost
Didier 'Dirac's ghost' Gaulin
1 year
Physics, topology, logic and computation, a Rosetta stone, is a classic 73 page secret text by Mike Stay and John Baez, on the connections between bordism, Feymann diagrams, logic and computation. Check the arxiv link and take a dive.
12
84
650
@TeXUsersGroup
TeX Users Group
1 year
From #CTAN: samcarter submitted an update to the beamertheme-rainbow package. Version: 1.0 2024-11-14 License: lppl1.3c Summary description: A beamer colour theme which alternates theme colours on every frame https://t.co/l6xELi9eyx #TeXLaTeX ๐ŸŒˆ
0
2
11
@TeXUsersGroup
TeX Users Group
1 year
From #CTAN: Franรงois Pantigny submitted an update to the piton package. Version: 4.2 2024-11-18 License: lppl1.3 Summary description: Typeset informatic listings with LPEG of LuaLaTeX https://t.co/NomubPlkwq #TeXLaTeX #python ๐Ÿ
0
4
10
@keenanisalive
Keenan Crane
1 year
Even though Newton's laws are deterministic, the behavior of many interacting bodies is so chaotic that it looks essentially "random." Statistical mechanics effectively says: why bother with all those complex trajectories? Just go ahead and replace them with truly random motion.
54
470
4K
@raysan5
Ray
1 year
NEW raylib upcoming release adds TWO NEW BACKEND options: - RGFW: A single-file header-only multi-platform window/input C library by @ColleagueRiley - SDL3: Latest release of this popular platform library! Desired backend can be selected at compile time with some flags! ๐Ÿš€
5
34
249
@DiracGhost
Didier 'Dirac's ghost' Gaulin
1 year
Michael Spivak's ''Calculus on Manifold'' provides you with the basics on manifold and calculus, in this short 150+ pages text. Chapter 4 and 5 will be of interest to my physicists friends. What's great is that it's also available publicly, link to the pdf in the comments
14
121
867
@raysan5
Ray
3 years
NEW #raylib 4.5 is ready! ๐Ÿฅณ MANY big changes: https://t.co/RZeAHhMNfB NEW Windows Installer... made with #rInstallFriendly by @raylibtech! Play Snake game while raylib is being installed!!! ๐Ÿ˜ฑ Enjoy programming with raylib! ๐Ÿ˜„ #gamedev #toolsdev #opensource #itjustworks
5
45
261
@AxlerLinear
Sheldon Axler
1 year
The free Kindle version of the fourth edition of my book Linear Algebra Done Right is now available at https://t.co/EeeTOC7Nr9. The free pdf version of the book is available at https://t.co/ii1ovMFKvH. The free translation into Chinese is also available as a pdf file at
31
266
2K
@miniapeur
Mathieu
1 year
7
50
772
@graninas
Alexander Granin
1 year
๐Ÿ“šI got my author's paper copies, which is worth the years of struggling! โ—๏ธ To celebrate this, my Manning editors offered a promo code that gives you a 45% discount on all formats of Functional Design and Architecture. It is valid through November 15: pbgranin2 โžก๏ธI plan to
8
17
160
@bluewmist
blue
1 year
computer science from scratch(literally) from semiconductor transistors to programming in c.
168
1K
16K
@roddenberry
๐šƒ๐š‘๐šŽ โค ๐š˜๐š ๐š‚๐š๐šŠ๐š› ๐šƒ๐š›๐šŽ๐š”
1 year
Typical! ๐ŸŽƒ๐Ÿšจ๐Ÿ”ฅ #roddenberry #StarTrek #halloween2024
24
120
814
@timtro
๐˜›๐˜ช๐˜ฎ ๐˜›๐˜ฆ๐˜ข๐˜ต๐˜ณo
1 year
Happy to support job security fairness for contact faculty and sessional instructors at @ontariotech_u with @UOITFA and @PSAC555! #fairness4cf
1
2
8
@eigensteve
Steven Brunton
1 year
New 20hr bootcamp on Probability & Statistics!!! Videos released weekly but full playlist already posted: https://t.co/3LnVCaeYGv Probability & Statistics are cornerstones of data science and machine learning. This course rapidly covers the basics and gets into advanced topics.
72
2K
10K