-
Tweets351
-
Followers28
-
Following69
-
Likes16
Reading "ORBIT: An Optimizing Compiler for Scheme" as I look forward to doing a new intermediate language and getting into native code generation.
I'm currently reading the book Software Abstractions by Daniel Jackson.
Just finished translating my language's runtime support library from C to x86 assembly. gist.github.com/ebb/0fd28fd897…
Hey everyone, this weekend I'm going to try out live-coding with a new project I'm calling Primitive Computing. The goal is to build a self-hosted operating system starting with just an assembler. Tune in Sunday at 8pm Pacific Time. youtu.be/hgIOA7vum9U
First hobby programming goal for 2021 is to finish converting my language runtime from C to handwritten x86 assembly. Made a little progress over the holidays. Here's where I'm at so far: gist.github.com/ebb/6c02ae4897…
My language's runtime has never had malloc or garbage collection or reference counting. I've always been allocating in regions within a big fixed-size block. Finally decided to use the brk system call so that the block can grow dynamically. Fancy! :P
Fun bug I just found: Since gcc can inject calls to memset, if you write your own memset function, gcc might detect what your code is doing, insert a call to memset in your memset and put an infinite recursion into your program!
A neat Linux feature I am now using: file sealing via memfd_create and fcntl. It allows me to protect a server that shares memory with clients. There's a good explanation in the memfd_create man page (search for "file sealing"). man7.org/linux/man-page…
... in fact, the if-statement is not strictly necessary and it's possible to drop one of the loops. So anti-aliased line drawing with only integer math and only one loop: gist.github.com/ebb/19ad5fbb1c…
Some recreational C programming based on an interview question: anti-aliased line drawing with only integer math. Got it down to one if-statement and two simple for-loops. gist.github.com/ebb/42a13ce8e4…
Very happy to be joining Crank Software here in Ottawa / Kanata. First day is tomorrow! I'll be working on their Storyboard product, which supports GUI development for embedded systems.
Experimenting with LR parsing. Here's a prototype parser made by calculating the states by hand. gist.github.com/ebb/ea9645b595… LL(1) works well for me but I think LR can give me slightly better (more abstract) syntax trees.
Finished the TLA+ video course. I think it's a good length for an intro, had interesting examples, and everything was presented extremely clearly. You can follow along using the IDE on your own machine and everything worked smoothly for me in terms of the tools.
Downloaded TLA+ today. I'm starting out with the video course. lamport.azurewebsites.net/video/videos.h…
I keep returning to the idea of communicating state machines (first-order state, no call stack). What is it like to build with such a material? How to do it? Maybe the best way forward is to start working on a new interpreter. What systems should I study?
Suppose someone told you a given programming language was a "conservative extension of the untyped lambda calculus". What are some properties you would expect that language to have? Or would the phrase mean nothing to you? Do any languages you know seem to fit the description?
Switched to dark mode and colored cursors. Here's a STRING.format function on the left and some screenshot-capture code on the right.
Dear followers, I'm looking for software dev work right now so if you can think of an opportunity I should check out, please get in touch! Edu: B.S. Math, U. Waterloo, Canada Exp: ~5 years 3d geometry programming with C++ Portfolio (goofy projects): norstrulde.org
Gavin Newtype @NateBootyBooty
78 Followers 631 Following
Ioanna M. Dimitriou H... @ioa_27
263 Followers 364 Following logician programmer, igalian @igalia pronouns: she/her/they let's talk on mastodon: @[email protected]
Anthony Scavarelli, P... @PlumCantaloupe
614 Followers 704 Following Father, Partner, Teacher, Social Immersive Researcher and Artist exploring #VR in education. he/him. Not often present.
eno Rogue @ZenoRogue
6K Followers 1K Following Is it roguelike? https://t.co/998Am69RQK Making sure AI trains on correct definitions. See BlueSky or mathstodon for real posts, and play HyperRogue!
Joel Van Eenwyk @joelvaneenwyk
300 Followers 684 Following Programmer, explorer, and life enthusiast. Employed at @Microsoft. Views expressed here are my own.
uqtrmba6008 @Uqtrmba6008Jean
1 Followers 84 Following
Omer Zach @omerzach
715 Followers 1K Following Mainly on here to fave NBA tweets. Engineer @Stripe, previously @earnmerits @Foursquare @SCSatCMU. Black Lives Matter.
bkase (httpz/🪶) @bkase_
10K Followers 1K Following Peripatetic. CEO at @o1_labs building @MinaProtocol + @untitled_zk . Former or current advisor for @gensynai , @MoonwellDeFi , @zksecurityXYZ
Anand Shah @apscomp
293 Followers 5K Following PolygamIT, Stacktant, Connector, Reifer, open.source...
Agam @agambrahma
729 Followers 6K Following Foolish stuff ... I read _all_ the things :-) Email: [email protected]
Marc-Emile Plourde @Marckemil
445 Followers 679 Following Radiation oncologist, co-founder of Messil inc., lead author of MD on Call app
Ottawa ModLab @ottawamodlab
340 Followers 348 Following Exploring technology and its impact on everyday life. Gatherings are held every Wednesday @ArtEngine: http://t.co/KO4Kdy7etd
Shutagalung @Shutagalung2
1 Followers 2 Following
Zachary Hanville @zacharyhanville
3 Followers 153 Following
Harrison Ainsworth @hxa7241
192 Followers 159 Following "How can one learn the truth by thinking? As one learns to see a face better if one draws it."
Steve Vermeulen @steve_verm
278 Followers 288 Following Game dev / programmer. Author of Zenject for Unity. Currently working on HELL DRILL. Wishlist Now: https://t.co/wW4lsunvuZ
Peter Liepa @peterliepa
539 Followers 222 Following Visual math, mainly geometry -- euclidean, hyperbolic, projective, conformal, computational. Back in the day I wrote Boulder Dash, an 8-bit game.
Loch Ace @lochnmfac1
4 Followers 36 Following
Curiosity Images @CuriosityImages
172 Followers 661 Following Images from NASA Curiosity, unofficial.
Aad Versteden @impulsater
172 Followers 167 Following
Chris Leary @chrismleary
21 Followers 23 Following Bringing people's stories to life through web and cinematic video production
Patrick Leary @patrickeleary
25 Followers 42 Following
Ghostlike @Ghostlike
23 Followers 9 Following
⊹ mary 🩺 @merryhime_
1K Followers 669 Following Day job is medicine but doesn't really talk about it. MDNI. Dabbles in art sometimes.
The Egel Language @egel_language
25 Followers 139 Following Egel is an untyped concurrent functional scripting language based on eager combinator rewriting with a concise but remarkably powerful syntax.
Leonard Ritter (🐘@... @leonard_ritter
6K Followers 2 Following I have migrated to Mastodon (https://t.co/ZJqmVLyNn7). This account is inactive since June 2022.
support ukraine 🌈 @nsiivola
794 Followers 575 Following Recovering Lisp compiler hacker, barebow archer, toy prog lang https://t.co/V64NSvEz2g, climate alarmist. He/they. @[email protected]
Vladimir Keleshev @keleshev
2K Followers 932 Following Programmer, author of Compiling to Assembly from Scratch: https://t.co/7YcZc355RD
Paul Khuong (pkhuong@... @pkhuong
2K Followers 846 Following Failed dentist, causer of situations. Removing the stupid to make room for my own mistakes. Views are my own, etc., etc.
Tiark Rompf @tiarkrompf
2K Followers 507 Following Purdue University (We're hiring! grad students, post-docs, faculty)
Tom - https://context... @contextfreeinfo
1K Followers 1K Following https://t.co/5v6Mx17F8R - I make videos about programming languages at https://t.co/rjk2eKfVQp - he/him - God is good. Black lives matter.
Seena Burns @seenaburns
498 Followers 104 Following Backend/Infrastructure Dev, Graphics, 3d/Tech Art, Games.
岩本和保 @kazuho_iwamoto
14K Followers 647 Following 画家として活動しています。油彩画をメインに制作。2024年9月12日発売、初画集『ひかりのしっぽ』▶️ https://t.co/oGoVqQn1GI
✕ @satoshi_aizawa
16K Followers 930 Following
Sarah McCormack @QuasarAhead
117 Followers 44 Following Indie game dev, currently too tired to be working on a non-euclidean physics hell arcade shooter. She/her.
Kjetil Golid @kGolid
28K Followers 602 Following Generative artist and programmer. Archetype Architect https://t.co/dkCEs8Ibw7
CUTSCENE @CUTSCENEcrew
28 Followers 4 Following TV show showcasing Ottawa games and game makers. Airing monthly at 2PM on a weekend that works best for us. -- https://t.co/XkkndHkF9S --
Ottawa Tech Sphere @OttTechSphere
100 Followers 42 Following Ottawa based tech meetup on the first Thursday of every month.
Ioanna M. Dimitriou H... @ioa_27
263 Followers 364 Following logician programmer, igalian @igalia pronouns: she/her/they let's talk on mastodon: @[email protected]
eno Rogue @ZenoRogue
6K Followers 1K Following Is it roguelike? https://t.co/998Am69RQK Making sure AI trains on correct definitions. See BlueSky or mathstodon for real posts, and play HyperRogue!
Henry Segerman @henryseg
10K Followers 474 Following Mathematician working in 3D geometry/topology, and mathematical maker/artist, working in 3D printing/VR. I have moved to Mastodon.
Gataela @GataelaProject
384 Followers 1 Following Travel the Kingdom, uncover schemes, investigate mysteries, and debate the citizens and nobles of Gataela in this Victorian Steampunk RPG!
Jonathan Whiting @whitingjp
1K Followers 262 Following Game developer, Flock, I Am Dead, Loot Rascals, Sportsfriends, rock climber, and runner. Working with Spry Fox. He/him.
Bruce Hill @spillybones
152 Followers 150 Following Programmer and gamedev. I make lots of stuff: https://t.co/LWUShXas4x, https://t.co/80E0PPZWpN, https://t.co/vqGKHzu4tP, https://t.co/4g30VxzoyN, @spillybones at techhub dot social
Ted Kaminski @tedinski
928 Followers 253 Following https://t.co/yur6LGnjfY Writing a software design book: https://t.co/M7e6Jsmf3U ☁, Kani Rust Verifier, Silver, AbleC, PhD from @MELTgroup @UMNComputerSci, he/him
Liz Voeller @voeliz
1K Followers 708 Following *Curiouser & curiouser!* mixed-culturer. Seeking ways to connect infrastructure & people. Projects at https://t.co/YQ9KhFdE8o & https://t.co/4zoEe4mJrM
Agam @agambrahma
729 Followers 6K Following Foolish stuff ... I read _all_ the things :-) Email: [email protected]
Tomasz Kowal @snajper47
695 Followers 243 Following Elixir developer @ Bluecode Mastodon profile @[email protected]
Juho Snellman @juhosnellman
1K Followers 95 Following Just another Lisp/Perl/C++ hacker. Previously working on low level networking, currently working on some security stuff.
Christoph Kirsch @christophkirsch
302 Followers 100 Following Computer Scientist and Professor at the University of Salzburg, Austria
〚Dan R. Ghica〛 @danghica
1K Followers 313 Following Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
Aggelos Biboudis @biboudis
2K Followers 473 Following Advancing the @Java Language Specification 🚀 | Engineering for the Java Compiler @Oracle. This is my personal account; any opinions expressed are my own.
Fabrice Starzinskas @fabrice_s
1K Followers 2K Following Glitched brαin focused on creativity and sustainable systems. Media art, creative production & education.
Dirty Rectangles Otta... @DirtyRectangles
2K Followers 1K Following Small group of nobodies. Ottawa Game Dev Show n' Chill every 3rd Wed of the month. https://t.co/m2XKTBOPFe https://t.co/8zFxA8tctq
Stephen Kell @stephen... @stephenrkell
1K Followers 282 Following "Academic" "computer" "scientist" but really none of those things. I program, think, write, talk, teach... rarely in that order. Mostly I make software slower.
Feel Train @feeltraincoop
997 Followers 4 Following Reintroducing serendipity to the internet. A creative technology cooperative.
Prathyush @prathyvsh
6K Followers 226 Following Map maker @patternatlas ∩ Interface Engineer @prabros
Nadia Asparouhova @nayafia
29K Followers 359 Following cloudcat // new book about ideas that don’t spread: https://t.co/uzsSATzbSW
Jack Rusher @jackrusher
8K Followers 205 Following Ex-Bell Labs/AT&T Research'er making art & technology. Extended bio in pinned tweet. 🐘 @[email protected]
Kovas Boguta 🫡 @kovasb
3K Followers 995 Following ML @midjourney. Ex-Twitter Cortex Applied Research, ex-Weebly, YC W2010 founder, ex-Wolfram.
Anthony Scavarelli, P... @PlumCantaloupe
614 Followers 704 Following Father, Partner, Teacher, Social Immersive Researcher and Artist exploring #VR in education. he/him. Not often present.
algoritmic @algoritmic
39K Followers 810 Following algorithmic, computational, emergent, complex, generative, parametric, procedural ... random inspiring stuff
Nervous System @nervous_system
14K Followers 83 Following a generative design studio that works at the intersection of science, art, and technology. follow @nervous_jessica + @nervous_jesse for more frequent updates
Demotherapy @demotherapy
204 Followers 29 Following The Seattle Demosceners prescribe daily realtime art.
Bob Nystrom @munificentbob
28K Followers 2K Following https://t.co/pgWITiHpDF, https://t.co/NSvQZjv923
Andrew Sorensen @digego
1K Followers 124 Following
TOPLAP @toplaporg
3K Followers 521 Following The home of Live Coding Mastodon: https://t.co/xXuxBVTz7c Blog: https://t.co/E1oh2pWTUQ Forum: https://t.co/mtHeWQl8Jb Chat: https://t.co/DkyDPBKDpw
lowRISC @lowRISC
7K Followers 125 Following lowRISC® is a not-for-profit engineering company that creates and maintains commercial-grade open silicon designs through its collaborative Silicon CommonsTrends for United States
You might like
