intermezzOS @intermezzOSrs
An operating system, for learning. Written in @rustlang for x86_64. intermezzos.github.io always in the middle Joined December 2015-
Tweets194
-
Followers530
-
Following447
-
Likes107
It's been a while since we had an update; it's hard to find open source time sometimes. Hope to get back to the book soon!
We've had a couple of pull requests updating things to work with the latest nightlies 👍❤️
if you're in Seattle, I'm giving my 'you can be a kernel hacker!' talk in May at Stripe! stripe.events/engseattle2017
TIL there is a 730 page book "Understanding the Linux virtual memory manager" kernel.org/doc/gorman/pdf…. it looks really cool!
Today, @ag_dubs is giving a talk about intermezzOS at Hello! Con! at @UofTCompSci 🎊🇨🇦💯
Did some VGA hacking tonight in order to prepare for the next chapter of the book; hopefully that will come soon!
oh hey my #rustbeltrust talk is up! wanna see me live code some silly stuff and rant about OS dev culture? 👀 => youtube.com/watch?list=PLg…
Finally a new “Writing an OS in Rust” post (this time about double faults): os.phil-opp.com/double-faults.…
Write your own system call: brennan.io/2016/11/14/ker…
Ever wanted to write an OS? ashley williams (@ag_dubs) got you covered in "intermezzOS: a teaching operating system" youtube.com/watch?v=Wxbrhr…
Inspired by @ag_dubs recent @intermezzOSrs talk, I started hacking on a Xen Mini-OS #rustlang kernel. No idea what I'm doing and it's fun :)
am a lil too hilariously proud of this #rustbeltrust version of the @intermezzOSrs bare-bone kernel
hey #rustbeltrust! here are my slides and demos for my @intermezzOSrs talk ~~ intermezzos.github.io/rustbeltrust20…
hello @intermezzOSrs ! #rustbeltrust
multiboot headers are a bit like request headers! OS dev is closer to web dev than u might think 😉 @intermezzOSrs #rustbeltrust
so cool that @Carols10cents is using punch card paper - the underlying reason for our 80 col in @intermezzOSrs #rustbeltrust
The VGA driver diagram @ag_dubs made at @rustbeltrust

neural oscillator of ... @mycoliza
21K Followers 1K Following wow, everything’s computer at @oxidecomputer
Florian Gilcher (@ska... @Argorak
5K Followers 3K Following Functional safety with @rustlang. MD @ferroussystems. Kyūdō (Nidan). Diver. Runs events. Ex-@rustlang project member. Founding member @rust_foundation. ❤️Ruby.
victor a'dike @vic26058
92 Followers 2K Following
dael01 @ufnog038
13 Followers 4K Following
Abhishek Das @WinterSoldierTS
1 Followers 117 Following
GrinGretchen @GretchenGr66891
1 Followers 112 Following
Ojas Rajankar @ojasrajankar
1K Followers 5K Following Building @smartlyventures | Organizer @web3conf_india | Operations @girlscript1 | Dropout @bitspilaniindia | BBA @iimb_official | Ex @layerehq @hcltech
David Port Louis @art3mis_17
52 Followers 418 Following
leo @ software.inc @leoshimo
881 Followers 4K Following Keep computing personal. Cats are my own. Programmable environments, Virtual machines, Emacs, Hypermedia. Now: @SoftwareAppsInc / Ex: Recurse, Humane, 
Son Nguyen @SonNguyen51345
8 Followers 43 Following
ext0dezu @ext0dezu
14 Followers 464 Following
Elizabeth @Elizabe666888
14 Followers 1K Following
Bryan Albuquerque @bryanasdev000
34 Followers 1K Following I keep things running, also love Free/Libre and Open Source Software, developer in my spare time and @nixos_org/@nixpkg contributor.
Bob In CryptoLand @BobInCrypto
11 Followers 329 Following
filiplajszczak @filiplajszczak
52 Followers 1K Following
Ahmed @AhmedMasud
2K Followers 3K Following ❤️::⟨🦀⟩::always() | ⟪https://t.co/3BVR2E0nCp⟫::builder() | • follow = ♥️ • RT = support | DMs ∋ safe place | opinions ∉ 𝒫(employer) ∩ self-employed | ahmed AT saf DOT a
Jagan @jaganm0han
11 Followers 476 Following
Tom Type2 @TomType2
72 Followers 4K Following
MISAC @it_misac
2K Followers 4K Following Municipal Information Systems Association of California - We're your go-to association for all California city gov techies. #govtech
Karthik Cherukuri @icherukuri
34 Followers 604 Following
Masoom Shaikh @masoomshaikh
46 Followers 392 Following
Elichai Turkel @Elichai2
2K Followers 2K Following Co-Founder and Head of Engineering @sodot_hq Cryptography Research, Mathematics, Bitcoin, Rust, Open Source, PGP: 5607C93B5F86650C @[email protected]
Oleksiy Golovko @zindelzindel
375 Followers 528 Following OCaml, JavaScript, Python, Haskeller wannabe. Currently at @ahrefs
NEWR Boulder @NEWR_Boulder
955 Followers 2K Following No Eviction Without Representation will ensure the right of Boulder renters to a fair trial in court. Vote YES on 2B!
Mary Feofanova @shamash42
64 Followers 181 Following Student at MIPT and Yandex Data School. Teaching concurrency. Interested in storage, distributed system development and generally how stuff works.
Genus-V Programming �... @genus_v
160 Followers 611 Following Tweets about programming, software engineering and new tech. Subscribe to the YT channel! #rustlang I'm a Software Engineer ☕. Personal twitter: @nemesiscodex
pwnmonk @pwnmonk
256 Followers 908 Following
prakash kamalakannan @sn0wli0n
666 Followers 5K Following Security Researcher @Acronis #OSCP #Adversaryemulation
Vignesh☯Nayak @secur00ty
248 Followers 728 Following #Linux Hobbyist ⌘ | ☯#InfoSec Enthusiast & Professional ☠ | #HackingIsNotACrime | ♥ #Trance music ♬ | #INTJ | Opinion is of my own
Wael @waelsec
0 Followers 2K Following
Chirag Savla @chiragsavla94
3K Followers 5K Following With Knowledge We Know the Words.. But... With experience We Know their Meaning ! #HOF #Microsoft #BigBasket
Carlos Querol @carlosquerol
264 Followers 1K Following Fork and spoon operator in Sector 13. Onion Peeler. Also: Firmware and software developer. 🇦🇷
l1r1us @l1r1us
6 Followers 613 Following
Noureddine @Nouredd33473519
21 Followers 1K Following
Salah Aldeen Sabouni @saladolf
75 Followers 1K Following Cybersecurity Entrepreneur | Startup founder https://t.co/B6JApuGHOQ | https://t.co/XS3Xq4QupA
Yuval Yohanan @yuvaly0
347 Followers 515 Following Interested in chrome and VR | gonna be world class
neural oscillator of ... @mycoliza
21K Followers 1K Following wow, everything’s computer at @oxidecomputer
ashley williams @ag_dubs
20K Followers 182 Following a mess like this is easily five to ten years ahead of its time. former @rustlang core team.
Rust Language @rustlang
152K Followers 2 Following A programming language empowering everyone to build reliable and efficient software. ** This account is no longer active. Follow us on other platforms! **
Florian Gilcher (@ska... @Argorak
5K Followers 3K Following Functional safety with @rustlang. MD @ferroussystems. Kyūdō (Nidan). Diver. Runs events. Ex-@rustlang project member. Founding member @rust_foundation. ❤️Ruby.
Rahuraman Rajaram @iamrahuram
25 Followers 190 Following
Steven Pack | RockSol... @paladin_eth
1K Followers 978 Following Co-founder@RockSolid. Product Guy. Rocketpooler. Ex @Cloudflare, Ex @Mina/o1Labs. Tweeting on crypto/ethereum/LSTs/product and technology.
@aturon.bsky.social @aaron_turon
4K Followers 1K Following Moving to https://t.co/P5wWeIrvf4 @[email protected]
Luis Sagastume @bronzdoc
93 Followers 216 Following
Travis B. Hartwell @travisbhartwell
2K Followers 3K Following Meditator. Kidney transplant recipient. On dialysis. Losing vision to Retinitis Pigmentosa. Software Toolsmith. Free/Open Source advocate. Writer. Friend.
Ryan Starback @ryanstarback
185 Followers 811 Following probably ranting about how much I love rust, typography, math, or the evm
Alex Caza | Find me o... @alexcaza
452 Followers 2K Following product eng. @unsplash | I build, bake, cook and make photos | prev: @usefluent @firstbloomhq @sportlogiq
blobby tables @blob8108
567 Followers 629 Following likes trains • overengineering a model railway in N gauge • learning circuit board design • writing code @monzo • he/him • https://t.co/0ECOewTkfZ or @[email protected]
Michael Bonds @_michaelbonds
188 Followers 696 Following Maker of Interwebs. Certified mechanic. Views and opinions are my own.
pancake hat @cinnamonrollio
138 Followers 997 Following
Cengiz Can @cengiz_io
819 Followers 1K Following Linux Kernel Engineer at @Canonical, Kernel Security Lead at @Ubuntu Mastodon: @[email protected]
LambdaDuck @Anka213
4K Followers 1K Following Functional programming and type theory enthusiast #Haskell #Agda. They/Them mastodon: https://t.co/yi842YCJhb bluesky: @anka213.bsky.social
Cass Costello @casspc
86 Followers 640 Following Data streams will save us. Rock me Amadeus. Opinions are my own. Reliably unmoored.
Luke Shillabeer @lukeshillabeer
139 Followers 241 Following Finished biological science, now I'm learning to code good; bbl. Also pretty partial to a lovely cup of tea ^_^
Gaussian @gaussianx
46 Followers 1K Following
Josh @JDStringfellow
406 Followers 793 Following
Fazt @FaztTech
49K Followers 307 Following El mundo de la tecnología está en constante evolución, y yo estoy aquí para compartir contigo las últimas novedades y tendencias
yalinglee @yalinglee
22 Followers 398 Following Platform engineer @ Hautelook | https://t.co/4rqMWnDAga. Mother of two, baker, aspiring gardener.
Andrew Gallant @burntsushi5
10K Followers 96 Following I love to code. I rarely check DMs. My email address is on my web site.
Lawrence K @yansudian
43 Followers 513 Following
Chris @cnmahon
199 Followers 6K Following
Eric Davies @iamed2
217 Followers 504 Following agender person who does things with computers and also cares about people https://t.co/jCuecRT3krPiX (Officieux) @pix
10K Followers 631 Following Camille Senior Security Druid at @Acceis Mastodon @[email protected] #IoT #InfoSec #LulzSec #Rants and #Stuff Former blue check
Joe @nopostco
2K Followers 2K Following From: Pascal, Amy (mailto:[email protected]) Sent: Thursday, January 23, 2014 02:04 PM To: Graham King Subject: Benedict cum batch wants to play bowie
J Palat @jpalat
139 Followers 793 Following
Bones 🏳️🌈 @drb0n3z
4K Followers 8K Following Co-Owner of @VIP_Wrestling / Head ref @dfw_all_pro / Head ref VIP_Wrestling / Cybersecurity / Nerd / 100% disabled vet / Opinions are invalid
todo pasa @tterrrrau
35 Followers 913 Following
Santiago Pastorino @spastorino
7K Followers 533 Following @wyeworks co-founder, @rustlang compiler team member and @rails core team alumni. Sponsored to work on @rustlang by Futurewei.
Oriol Francès (@orio... @oriolfa
57 Followers 689 Following I make (ideally good) things happen with computers. A very vanilla dad nerd. He/him.
Gloria Motos @gloria_motos
11 Followers 88 Following Concessionária Autorizada Honda Motocicletas Atuando há 16 anos no sertão sergipano! Fone: (79) 3411-1707/ 99977-0121 E-mail: [email protected]
安達 洋介 @yadachi_
47 Followers 262 Following
xXsauerXkrauseXx @SauerKrause
78 Followers 357 Following @[email protected] I'm autistic, so don't expect me to understand the social beyond basic patterns
Jared Smith @jaredthecoder
1K Followers 823 Following CTO @uncatexpense. Adj. Professor @nyuniversity. Formerly SecurityScorecard/@ORNL/@Cisco. CS PhD @UTKnoxville. VFL.
C0Rv!nuX @Corvinux
263 Followers 2K Following Cyber Futurologist, Rustacean, interested in the nuts and bolts of things, in truth, only atoms and void. E1b1b1a1b1a6a1c~ Mastodon:@[email protected]
Hunter Lester @GuilfordHunter
866 Followers 567 Following Former farm, produce, & dairy worker turned lover of computer science.