Gregory S. Hayes

1.6K posts

Gregory S. Hayes banner
Gregory S. Hayes

Gregory S. Hayes

@sync0mm

Senior Director of Architecture @ McGraw Hill. #Cloud computing, Linux, and Open Source evangelist. Previously @WellsFargo, @RedHat, @HPE

Cincinnati, Ohio เข้าร่วม Ocak 2011
5.1K กำลังติดตาม1.1K ผู้ติดตาม
Gregory S. Hayes รีทวีตแล้ว
Math Files
Math Files@Math_files·
Bayes’ theorem is probably the single most important thing any rational person can learn. So many of our debates and disagreements that we shout about are because we don’t understand Bayes’ theorem or how human rationality often works. Bayes’ theorem is named after the 18th-century Thomas Bayes, and essentially it’s a formula that asks: when you are presented with all of the evidence for something, how much should you believe it? Bayes’ theorem teaches us that our beliefs are not fixed; they are probabilities. Our beliefs change as we weigh new evidence against our assumptions, or our priors. In other words, we all carry certain ideas about how the world works, and new evidence can challenge them. For example, somebody might believe that smoking is safe, that stress causes mouth ulcers, or that human activity is unrelated to climate change. These are their priors, their starting points. They can be formed by our culture, our biases, or even incomplete information. Now imagine a new study comes along that challenges one of your priors. A single study might not carry enough weight to overturn your existing beliefs. But as studies accumulate, eventually the scales may tip. At some point, your prior will become less and less plausible. Bayes’ theorem argues that being rational is not about black and white. It’s not even about true or false. It’s about what is most reasonable based on the best available evidence. But for this to work, we need to be presented with as much high-quality data as possible. Without evidence—without belief-forming data—we are left only with our priors and biases. And those aren’t all that rational.
Math Files tweet media
English
2.2K
8.5K
37.2K
27.2M
Gregory S. Hayes รีทวีตแล้ว
Neel Somani
Neel Somani@neelsomani·
Weekend win: The proof I submitted for Erdos Problem #397 was accepted by Terence Tao. The proof was generated by GPT 5.2 Pro and formalized with Harmonic. Many open problems are sitting there, waiting for someone to prompt ChatGPT to solve them:
Neel Somani tweet media
English
338
1.2K
8.7K
3.6M
Gregory S. Hayes รีทวีตแล้ว
Chess Feed
Chess Feed@chess_feed·
When you start a chess game, you have 20 moves available (16 for pawn and 2 for one knight). After completing the first movement you have more than 40 different possibilities. And 8900 in the third and 197740 in the fourth. In the 40s there will be 10 puissance 40 possibilities. Number corresponds to the number of atoms in the universe. This is what make chess more magical.
Chess Feed tweet media
English
189
3.4K
19.4K
1.4M
Gregory S. Hayes รีทวีตแล้ว
Haider.
Haider.@slow_developer·
Mathematician Terence Tao: Training and running LLMs isn't mathematically difficult; any math undergrad could understand the basics The mystery is that we have no theory to predict why models excel at certain tasks and fail at others "we can only make empirical experiments"
English
197
1.2K
13.8K
1.2M
Gregory S. Hayes รีทวีตแล้ว
Nostalgic Gamer
Nostalgic Gamer@16bitnostalgia·
Super Mario Bros. released 40 years ago today on Nintendo Entertainment System!
Nostalgic Gamer tweet media
English
33
485
2.6K
57.7K
Gregory S. Hayes รีทวีตแล้ว
Nostalgic Gamer
Nostalgic Gamer@16bitnostalgia·
Happy 40th birthday to the NES! 40 years ago, this little grey box made its way into our homes and into our hearts along with Super Mario Bros and changed the face of gaming forever! What's your best game and memory of the NES?
Nostalgic Gamer tweet media
English
234
610
3.7K
115.2K
Gregory S. Hayes รีทวีตแล้ว
Understanding Linux: The Kernel Perspective
Layers was AT&T’s proprietary windowing system, shipped with the UNIX PC (PC 7300), predating the widespread adoption of X11. Layers acted like a graphical multiplexer—a distant ancestor of tmux or screen—but ran directly on a bitmap display with rudimentary window management.
Understanding Linux: The Kernel Perspective tweet media
English
4
54
370
22.3K
Gregory S. Hayes รีทวีตแล้ว
Understanding Linux: The Kernel Perspective
In 1985, AT&T introduced the UNIX PC (known as the PC 7300). It featured a Motorola 68010 CPU running at 10 MHz and ran UNIX System V. Its built-in monochrome green monitor had a resolution of 720×348. The system sold for $5,500 ($16,500 in today’s dollars)
Understanding Linux: The Kernel Perspective tweet mediaUnderstanding Linux: The Kernel Perspective tweet mediaUnderstanding Linux: The Kernel Perspective tweet media
English
15
103
563
15.3K
Gregory S. Hayes รีทวีตแล้ว
RetroPC
RetroPC@realRetroPC·
The end of an era. An era I'm pretty sure most people thought ended 2 decades ago. But hey, who's counting? 😆☎️
RetroPC tweet media
English
36
98
805
18.4K
Gregory S. Hayes รีทวีตแล้ว
NYSE 🏛
NYSE 🏛@NYSE·
Unlocking the potential of each learner at every stage of life. McGraw Hill, welcome to the NYSE Community! $MH @MHEducation
English
2
5
8
5K
Gregory S. Hayes รีทวีตแล้ว
NYSE 🏛
NYSE 🏛@NYSE·
From 1888 to 2025...a new chapter in education begins. McGraw Hill aims to empower every educator to engage their students by delivering personalized learning experiences that enrich the unique ways they learn, teach and grow. $MH | @MHEducation
English
5
9
14
5.9K
Gregory S. Hayes รีทวีตแล้ว
The Marauder
The Marauder@TheMarauder_X·
The Commodore Amiga - 40 years old today and still going strong. Released July 23, 1985.
The Marauder tweet media
English
4
58
418
31.5K
Gregory S. Hayes รีทวีตแล้ว
Nostalgic Gamer
Nostalgic Gamer@16bitnostalgia·
Happy 40th birthday to the Commodore Amiga 1000, the first Amiga computers!
Nostalgic Gamer tweet media
English
4
74
477
16.4K
Gregory S. Hayes รีทวีตแล้ว
Alex Menchi
Alex Menchi@alexmenchi·
40 years ago today, Commodore officially launched the Amiga 1000
Alex Menchi tweet media
English
7
75
474
12.7K
Gregory S. Hayes รีทวีตแล้ว
Historic Vids
Historic Vids@historyinmemes·
26-year-old Ozzy Osbourne in 1974. He passed away today at the age of 76 after helping raise $190 million for charity. It was the highest grossing charity concert ever, and I love that it was a metal show that did it.
Historic Vids tweet media
English
387
6.3K
73K
2.7M
Gregory S. Hayes รีทวีตแล้ว
Ozzy Osbourne
Ozzy Osbourne@OzzyOsbourne·
It is with more sadness than mere words can convey that we have to report that our beloved Ozzy Osbourne has passed away this morning. He was with his family and surrounded by love. We ask everyone to respect our family privacy at this time.   Sharon, Jack, Kelly, Aimee and Louis
Ozzy Osbourne tweet media
English
28.6K
126.8K
746.4K
33.7M
gabsmashh
gabsmashh@gabsmashh·
the aftermath of last night...the Midwest likes its fireworks @sync0mm
gabsmashh tweet media
English
19
0
101
5.3K