@fadi-shawki

Fadi Shawki

@fadi-shawkilatest
latest
Names
@Discord@fadishawki
@Instagram@f._shawki
@YouTube@FadiShawki
@LinkedIn@fadishawki
Ether
Timeline
Ongoing & Planned Projects
2026->
Ether: Ecosystem for the Ray programming language.
2028->
The Ether Library Project: The analysis, indexing and interoperating of existing programming languages.
2029+?
3D Rendering / Game Engine extension to the Ether Library.
2030-2035
Start research on the gamification of science, engineering and education.
orbitmines.com
Writings
2026
OrbitMines Research2026 Ether's Almanac: The v0 specification runtime for the Ray programming language
2026-12-31. The first release of the Ether's Almanac, containing instructions on how to get started with the Ray programming language.
OrbitMines ResearchThe OrbitMines Minecraft Server (2013-2019)
2026-04-04. A trip back into the past, a piece of OrbitMines history when it was a Minecraft server. And a look at the OrbitMines Minecraft Archive which includes a remastered version of the server through its lifetime!
2025
OrbitMines Research2025 Progress Update: Towards A Universal Language
2025-12-31. An initial look at the text-based Ray programming language and subsequent design notes for its IDE: The Ether.
2024
OrbitMines ResearchOrbitMines as a Game Project
2024-02-22. A comprehensive guide on how to be frustrated with pixels. An open call for funding, collaboration or anyone curious to learn more.
2023
OrbitMines ResearchOn Orbits, Equivalence and Inconsistencies
2023-12-31. A preliminary exploration through the world of possible inconsistencies. Originally intended as a more technical continuation of earlier thoughts on intelligibility.
2022
OrbitMines ResearchOn the Intelligibility of (dynamic) Systems and Conceptual Uncertainty
2022-12-31. A collection of my thoughts on intelligibility. An attempt to edge towards a basic theory for understanding dynamic systems by computationally bounded observers. While the aim is to have practical implications for the design of sophisticated observers, these ideas are quite far-reaching and do tend to border on philosophy (an inevitability, perhaps).

Formal History
Projects, Education & Attended Events
2021
Software Developer - BreachLock Inc.
November, 2021 - May, 2022
2020
Contractor - MartiOrbak Software
November, 2020 - March 2021
(Unfinished) Computer Science (BSc)
2020: I stop attending Leiden University. If you could call what I did there as attending in the first place. Perhaps more of an (immature) severe disinterest
2018
Backend Developer - Mobiel.nl
November, 2018 - August, 2019.My first interaction working at a SME.
2013
OrbitMines ResearchFounder - OrbitMines (Minecraft)
October, 2013 - May, 2019.I introduced myself to software engineering during this period by designing and maintaining my own Minecraft game server, which had a small community of concurrent players.
2012
VWO / Science & Engineering
2012 - 2019
Literary Exposure
409 of 409
The Decompilation Wiki
Zion Leonahenahe Basque
lex_fridman_podcastFFmpeg: The Incredible Technology Behind Video on the Internet | #496
Jean-Baptiste Kempf, Kieran Kunhya, Lex Fridman (2026)
The Magic Of ARM w/ Casey Muratori
Casey Muratori, ThePrimeagen (2024)
X86 Needs To Die
Casey Muratori, ThePrimeagen (2024)
The Real Problems w/ Git
ThePrimeagen, Casey Muratori, TJ DeVries, David Begin (2025)
The Only Unbreakable Law
Casey Muratori (2022)
The Strangest Man
Graham Farmelo (2009)
Ecce Homo
Friedrich Nietzsche (1908)
The Three-Body Problem
Liu Cixin (2008)
Shift
Hugh Howey (2013)
2025
Wool
Hugh Howey (2011)
Harry Potter 1-7
J. K. Rowling (1997-2007)
Strange Loop"Propositions as Types"
Philip Wadler (2015)
Crafting Interpreters
Robert Nystrom (2021)
Functional Programming in Lean
David Thrane Christiansen (2023)
Reflections on Equality
Amélia Liao (2020)
Cubical Type Theory
Amélia Liao (2021)
Leviathan Wakes
James S. A. Corey (2011)
Strange LoopA Little Taste of Dependent Types
David Thrane Christiansen (2018)
cool_worlds_podcast#25 - PBS Spacetime, Science on YouTube, Quasars
Matt O'Dowd, David Kipping (2025)
The Verse Programming Language | GDC 2023
Tim Sweeney, Phil Pizlo, Tim TIllotson (2023)
Ready Player One
Ernest Cline (2011)
Ready Player Two
Ernest Cline (2020)
lex_fridman_podcastSundar Pichai: CEO of Google and Alphabet | #471
Sundar Pichai, Lex Fridman (2025)
cool_worlds_podcast#23 - Fine-Tuning, Multiverse, Cosmological Tensions
Geraint Lewis, David Kipping (2025)
String diagram rewrite theory III: Confluence with and without Frobenius
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi (2022)
cool_worlds_podcast#19 - Inflation, B Modes and Losing the Nobel Prize
Brian Keating, David Kipping (2025)
cool_worlds_podcast#21 - Early Mars, Terraforming/Settling Mars
Edwin Kite, David Kipping (2025)
demystifysciRules that Reality Plays By - #343
Stephen Wolfram, Anastasia Bendebury, Michael Shilo DeLay (2025)
demystifysciMistaking the Map for the Territory in Physics - #344
Jacob Barandes, Anastasia Bendebury, Michael Shilo DeLay (2025)
toeHarvard Physicist Debunks Particle Superposition
Jacob Barandes, Manolis Kellis, Curt Jaimungal (2025)
toeThe Theory That Explains YOU... (Free Energy Principle)
Michael Levin, Karl Friston, Curt Jaimungal (2025)
Einstein: His Life and Universe
Walter Isaacson (2007)
toeWhy The "Godfather of AI" Now Fears His Own Creation
Geoffrey Hinton, Curt Jaimungal (2025)
toeThe Major Flaws in Fundamental Physics
Sabine Hossenfelder, Curt Jaimungal (2024)
toeThe Crisis in String Theory is Worse Than You Think
Leonard Susskind, Curt Jaimungal (2024)
toeMath Has Changed Forever…
Yang-Hui He, Curt Jaimungal (2025)
2024
Applied Category Theory in Chemistry, Computing, and Social Networks
John Baez, Simon Cho, Daniel Cicala, Nina Otter, Valeria de Paiva (2022)
toeThere’s No Wave Function?
Jacob Barandes, Curt Jaimungal (2024)
toeThe Potential of the Human Brain
Iain McGilchrist, Curt Jaimungal (2024)
toeThe Universe Writes Itself Into Existence Moment by Moment
Avshalom Elitzur, Curt Jaimungal (2024)
Hunters of Dune
Brian Herbert, Kevin J. Anderson (2006)
The Little Book of Deep Learning
François Fleuret (2023)
Preface: What is OpenGL?
Eddy Luten (2014)
The Yoga of Contexts I
Jules Hedges (2024)
toeThe Quantum Heretic: A New Theory of Everything?
Jonathan Oppenheim, Curt Jaimungal (2024)
MindscapeMindscape 291 | The Biology of Death and Aging
Venki Ramakrishnan, Sean Carroll (2024)
Maths of Quantum Mechanics
Brandon Sandoval (2023)
Von Neumann and Lattice Theory
Garrett Birkhoff (1958)
Elon Musk
Walter Isaacson (2023)
SEMFFun Raising | Funding & School Q&A + SEMF Social
Fadi Shawki, Álvaro Moreno Vallori, Alejandro Sospedra Orellano, Elena Isasi Theus, Anmol Agrawal, Carlos Zapata Carratalá 2024
toeTime and Quantum Mechanics SOLVED? | Lee Smolin
Lee Smolin, Curt Jaimungal (2024)
Wolfram InstituteLive Science | Infrageometry: Core Definitions | Differential Geometry, Tangent Bundles, Functions
Nikolay Murzin, Carlos Zapata-Carratalá, James Wiles, Utkarsh Bajaj (2024)
Wolfram InstituteLive Science | Infrageometry: Working Session | Functions, Edges-Places, Bipartite Graphs
Nikolay Murzin, Carlos Zapata-Carratalá, James Wiles, Utkarsh Bajaj (2024)
Wolfram InstituteFellow Focus | Nik Murzin | Quantum Framework
Nikolay Murzin, Carlos Zapata-Carratalá, James Wiles (2024)
all_inAll-In Podcast E173
Chamath Palihapitiya, Jason Calacanis, David Friedberg, David O. Sacks (2024)
all_inAll-In Podcast E174
Chamath Palihapitiya, Jason Calacanis, David Friedberg, David O. Sacks (2024)
all_inAll-In Podcast E175
Chamath Palihapitiya, Jason Calacanis, David Friedberg, David O. Sacks (2024)
all_inAll-In Podcast E176
Chamath Palihapitiya, Jason Calacanis, David Friedberg, David O. Sacks (2024)
Cargo Cult Science
Richard P. Feynman (1974)
Stripe's 2023 annual letter
Patrick Collison, John Collison (2024)
wolframCan AI Solve Science?
Stephen Wolfram, Richard Assar, Nik Murzin (2024)
toeQuantum Gravity & Wolfram Physics Project
Jonathan Gorard, Curt Jaimungal (2024)
toeParadigm Shift, Ghost Particles, Constructor Theory
Chiara Marletto, Curt Jaimungal (2024)
all_inAll-In Podcast E169
Chamath Palihapitiya, Jason Calacanis, David Friedberg, David O. Sacks (2024)
all_inAll-In Podcast E170
Chamath Palihapitiya, Jason Calacanis, David Friedberg, David O. Sacks (2024)
all_inAll-In Podcast E171
Chamath Palihapitiya, Jason Calacanis, David Friedberg, David O. Sacks (2024)
all_inAll-In Podcast E172
Chamath Palihapitiya, Jason Calacanis, David Friedberg, David O. Sacks (2024)
A Conversation with Mark Zuckerberg, Patrick Collison and Tyler Cowen
Mark Zuckerberg, Patrick Collison, Tyler Cowen (2019)
Solving SAT via Positive Supercompilation
Tima Kinsart (Hirrolot) (2024)
Navigating cognition: Spatial codes for human thinking
Jacob L. S. Bellmund, Peter Gärdenfors, Edvard I. Moser, Christian F. Doeller (2018)
The Glass Bead Game
Ralph Freedman (1970)
An Introduction to Higher Arity Science
Carlos Zapata-Carratalá (2021)
wolframScience Research Session: Hyporuliad
Stephen Wolfram, Jonathan Gorard (2023)
Steve Jobs
Walter Isaacson (2011)
The Trillion Dollar Equation
@Veritasium (Veritasium)
all_inAll-In Podcast E165
Chamath Palihapitiya, Jason Calacanis, David Friedberg, David O. Sacks (2024)
all_inAll-In Podcast E164
Chamath Palihapitiya, Jason Calacanis, David Friedberg, David O. Sacks (2024)
CRDTs go brrr
Seph Gentle 2021
Causal invariance versus confluence
Jonathan Gorard, Mark Jeffery 2023
CRDTs: The Hard Parts
Martin Kleppmann 2020
zx_calculusThe Zeta Calculus
Nicklas Botö 2023
2023
String Diagram Rewrite Theory II: Rewriting with Symmetric Monoidal Structure
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi 2022
Observer Theory
Stephen Wolfram 2023
WebAssemblyWasm SpecTec: Engineering a Formal Language Standard
Joachim Breitner, Philippa Gardner, Jaehyun Lee, Sam Lindley, Matija Pretnar, Xiaojia Rao, Andreas Rossberg, Sukyoung Ryu, Wonho Shin, Conrad Watt, Dongjun Youn 2023
Animation vs. Physics
Alan Becker + Team 2023
Yugoslavia’s Digital Twin
Kaloyan Kolev 2023
How To Ask Questions The Smart Way
Eric S. Raymond, Rick Moen 2001-2014
String Diagram Rewrite Theory I: Rewriting with Frobenius Structure
Filippo Bonchi, Fabio Gadducci, Aleks Kissinger, Pawel Sobocinski, Fabio Zanasi 2023
Reptar
Tavis Ormandy 2023
Wolfram InstituteWolfram Institute's Infrageometry Project Livestreams
Jonathan Gorard, Carlos Zapata-Carratalá, Nikolay Murzin, Utkarsh Bajaj 2023
Wolfram InstituteHyperMatrix Workshop
Edinah Koffi Gnang, Richard Kerner, Luke Oeding, Joshua Grochow, Harm Derksen, Tali Beynon, Michel Rausch, Carlos Zapata-Carratalá 2023
Wolfram Physics Project: Relations to Category Theory
Stephen Wolfram, Fabrizio Remano Genovese, Matteo Capucci, Jonathan Gorard, Tali Beynon 2020
Topos InstituteAll Concepts are Cat#
David Spivak 2023
Quantum Physics, the Multiverse, and Time Travel | RP #118
Slavoj Žižek, Sean Carroll, Robinson Erhardt 2023
Homotopy Type Theory 101
Carlo Angiuli 2023
Zenbleed
Ormandy, Tavis 2023
Assembly theory explains and quantifies selection and evolution
Abhishek Sharma, Dániel Czégel, Michael Lachmann, Christopher P. Kempes, Sara I. Walker and Leroy Cronin 2023
MLSTMLST - Observers
Stephen Wolfram, Karl Friston, Keith Duggar 2023
The Discovery of Zenbleed
Tavis Ormandy, Fabian Faessler (LiveOverflow) 2023
reductio ad absurdum
Christopher Domas 2017
Breaking the x86 Instruction Set
Christopher Domas 2017
Past, Present, & Future of Mathematics
Grant Sanderson, Dwarkesh Patel 2023
The End (?) of the ALEXANDRIA Project
Paulson, Lawrence C. 2023
When is a computer proof a proof?
Paulson, Lawrence C. 2023
Category Theory I
Milewski, Bartosz 2016
Category Theory II
Milewski, Bartosz 2017
Category Theory III
Milewski, Bartosz 2018
Quantum in Pictures
Coecke, Bob and Gogioso, Stefano 2023
Chrome ships WebGPU
Beaufort, François and Wallez, Corentin 2023
Fast Automated Reasoning over String Diagrams using Multiway Causal Structure
Gorard, Jonathan, Manojna Namuduri, and Xerxes D. Arsiwalla 2021
Lagrangian Neural Networks
Cranmer, Miles, et al 2020
Quantomatic: A proof assistant for diagrammatic reasoning
Kissinger, Aleks, and Vladimir Zamdzhiev 2015
Chapterhouse: Dune
Herbert, Frank 1985
Foundation's Edge
Asimov, Isaac 1982
Foundation and Earth
Asimov, Isaac 1986
Prelude to Foundation
Asimov, Isaac 1988
Forward the Foundation
Asimov, Isaac 1993
I, Robot
Asimov, Isaac 1950
The Rest of the Robots
Asimov, Isaac 1964
The Complete Robot
Asimov, Isaac 1982
The Caves of Steel
Asimov, Isaac 1954
The Naked Sun
Asimov, Isaac 1957
The Robots of Dawn
Asimov, Isaac 1983
Robots and Empire
Asimov, Isaac 1985
The Selfish Gene
Dawkins, Richard 1976
Interaction Combinators
Lafont, Yves. 1997
Perfectly Secure Steganography Using Minimum Entropy Coupling
de Witt, Christian Schroeder, et al. 2022
General Intelligence Requires Rethinking Exploration
Jiang, Minqi, Tim Rocktäschel, and Edward Grefenstette 2022
DensePose From WiFi
Geng, Jiaqi, Dong Huang, and Fernando De la Torre 2022
Reverse Engineering WebAssembly
Falliere, Nicolas 2018
2022
God Emperor of Dune
Herbert, Frank 1981
Heretics of Dune
Herbert, Frank 1984
Foundation
Asimov, Isaac 1951
Foundation and Empire
Asimov, Isaac 1952
Second Foundation
Asimov, Isaac 1953
The Art of War / Sun Tzu
Cleary, Thomas 6th cent. B.C.
Gödel, escher, bach
Hofstadter, Douglas R 1979
Combinators, A Centennial View
Wolfram, Stephen 2021
Context-Aware Computing Applications
Schilit, Bill, Norman Adams, and Roy Want 1994
What Is a Knowledge Representation?
Davis, Randall, Howard Shrobe, and Peter Szolovits 1993
Learning to Represent Programs with Graphs
Allamanis, Miltiadis, Marc Brockschmidt, and Mahmoud Khademi 2017
A theory of incremental compression
Franz, Arthur, Oleksandr Antonenko, and Roman Soletskyi 2021
On the Measure of Intelligence
Chollet, François 2019
Embodied, Situated, and Grounded Intelligence: Implications for AI
Millhouse, Tyler, Melanie Moses, and Melanie Mitchell 2022
The Debate Over Understanding in AI’s Large Language Models
Mitchell, Melanie, and David C. Krakauer 2023
Beyond Programming Languages
Winograd, Terry 1979
Data Compression Explained
Mahoney, Matt 2010
IPFS-FAN: A Function-Addressable Computation Network
de la Rocha, Alfonso, Yiannis Psaras, and David Dias 2021
A thousand brains: toward biologically constrained AI
Hole, Kjell Jørgen, and Subutai Ahmad 2021
Attention Is All You Need
Vaswani, Ashish, et al. 2017
The algorithmic origins of life
Walker, Sara Imari, and Paul CW Davies 2013
SoK: Sanitizing for Security
Song, Dokyung, et al. 2019
Uncertainty, belief, and probability
Fagin, Ronald, and Joseph Y. Halpern 1991
2021
Dune
Herbert, Frank 1965
Dune Messiah
Herbert, Frank 1969
Children of Dune
Herbert, Frank 1976
1984
Orwell, George 1949