working on the non-adjacent impossible
Boston, MA
Joined May 2010
- Tweets5.6K
- Following538
- Followers4.3K
- Likes4.2K
Pinned Tweet
We could have built bicycles for the mind but we built aircraft carriers instead, because we are fascinated by performance and complexity, and our culture embraces self-indulgence.
Jonathan Edwards retweeted
I'm doing a course based on my Cultures of Programming book! A perfect excuse to also record the material for anyone who prefers listening over reading.
Part 1: What can we learn from the 80 years of programming history & why Knight Capital lost $440m:
youtube.com/watch?v=Kjf6Min5…
Some programming feels fun, other programming feels annoying. Why?
PX/27 submission deadline Dec 10
2027.programming-conference.…
"With Fable, it was my observation that it is almost equally capable in any language, and the strong guardrails of Rust or other languages are not as pressing as they once were." @wvo
github.com/aardappel/goose
Jonathan Edwards retweeted
Can you compose independent UI components w/o modifying them?
Can the synchronization capabilities compose automatically too?
Can it be done at runtime, w/o prior knowledge of the components involved?
I call it The Component [Sync] Expression Problem
youtube.com/watch?v=fGmrPot4…
![The Component [Sync] Expression Problem & How Tutuca Solves It](https://pbs.twimg.com/card_img/2115456953258319872/TNEZRcDA?format=jpg&name=800x419)
What does it take for people to be able to adapt the computer systems they use? This question gives rise to many interesting challenges that have been researched in academia and practice for decades. Under the term substrates, this workshop brings together past and present research directions that explore and realize the vision of systems people truly own. 2027.programmingconference.o…
Jonathan Edwards retweeted
ok new week new topic. what’s everyone’s favorite joke ever made in a PL publication? I think mine is this one (from “The Myths of Object-Orientation” by James Noble)
I gave Claude my reqs for a PL research project and it recommended @moonbitlang second @fsharporg:
ADTs, pattern matching, structural equality, but also mutability and ref equality, basic collection libs, compile to JS with debugging, FFI for implementing a VDOM. Preferably VSCode tooling
So based on Claude's suggestion I try out @moonbitlang . Yo Claude debugging sucks - it's all mangled symbols! Claude says hold my beer, and writes a VSCode debugger customDescriptionGenerator based on reverse-engineering the name mangling algorithm! I'm scared now.
Live Programming Workshop will be online Sat Oct 17
liveprog.org/
Jonathan Edwards retweeted
Curious how to write a Flappy Bird clone in a spreadsheet (with time)? Come to my #oopsla talk in the afternoon! (15:30, East Hall 1)
Or read our paper about Timeline: tomasp.net/academic/papers/t… with @tomas_boda
“A memory-safe systems language with no heap allocator, garbage collector, or lifetime annotations. “
Too late, sorry: github.com/aardappel/goose
Jonathan Edwards retweeted
You remember we practically never move me to go read a good comp sci/eng paper?
Well, I saw this walk-and-talk invite, started to hope I could speak with Jonathan, and over next breakfast found the effort that dies with him unless you take it up. Here =>
subtext-lang.org/retrospecti…
“Excel meets JSON, but a graph, and it’s projected”
prog.red
@jakebrownson
Jonathan Edwards retweeted
The most ridiculous thing about the AI-coding age is that in the last 20 years programmers accepted otherwise all the kind of shit: terrible frameworks, languages, layers of complexity everywhere, everything super slow. Very very few protested, since destroying the field didn't involve their paycheck.
