Programmer, currently looking new opportunities.Former faculty @middlebury CS, PhD @CornellCIS. Exploring the intersection of computing & law.He/him.

Cambridge, MA
Joined October 2007
Maybe we've become too enamored of the notion of value and worth as applied to people, and it's time to give it a break. Here's my hot take: people don't have value (or worth), they have rights and responsibilities. People's skills, abilities and assets have value (or worth).
1
8
Caught a stomach bug and now I have a craving for toast with Nutella.
114
What the hell happened to the iOS control panel? Looks like someone shotgunned icons across a bunch of screens at random.
116
As I've been diving into compilers, I (re-)discovered C--. But it looks like it died out in the mid-2000s (except maybe for GHC). Can anyone provide a reason or context around this?
133
All this election nonsense reminds me that one of my "someday" projects is to do a comparative study of national constitutions, starting with India & the USA. And yes, seeing if/how much they can be formalized using modern tools like Lean.
1
1
296
This is the first time in my life that I'm making a big change, but no direction so far has felt 100% right. Not sure if that's just a side effect of getting older, or something more fundamental.
1
156
So, is "cooked" good or bad? Asking for me and my fellow confused millennials.
3
3
458
So is anyone not back-tracking on remote work? Asking for a friend. (It's me, the friend is me)
128
Born to be a hobbit, need to be a Ranger.
83
Ok, funemployment was fun, but now I’m bored, so I’d like a job and to come back to Boston ASAP please.
90
Womp womp passed final round interviews for a research position at a certain big tech company, but doesn't look like they can find me a matching team, so guess I'm still looking for gainful employment.
1
1
3
732
This entire thread is 🔥🔥🔥
Someone else said: “Art Nouveau is when it looks made by elves. Art Deco is when it looks made by dwarves.” And after looking into it, I think they’re a genius and 100% correct.
170
TypeScript question: What's the idiomatic way to share configuration between different parts of a program? I want to load the config from a TOML file in one file and have it easily be used in multiple other files.
1
126
Today's Selection summarizes some discussions that have been going on recently about what the IndieWeb is and who it's for: v4.basus.me/journal/2024/09/…
79
It's funny how sometimes when you actually stand up and look your problems in the eye, they melt away and the solutions become immediately obvious.
1
103
TIL that Factor is still alive and well. It was one of the projects that started my love of programming languages 15-20 years ago. Seems like these days, I'm often reminded of how much I love working on languages & computing infrastructure in general. re.factorcode.org/2024/09/fa…
73
I finally sat down and wrote a list of (some of) the projects I want to do. There's probably enough in there to keep me busy for a couple of years, but for now let's just see how much I can get done by the end of the year. [1/2]
1
123
That means I'll probably be writing a lot of TypeScript in the near future. That's not ideal, but TypeScript seems like the most suitable tool at hand for the time being. [2/2]
1
47
Great summary of cool things happening in the OCaml ecosystem (and the people making them happen).
Replying to @Kelset @reasonml
I think so 😁 It's definitely experiencing a bit of a renaissance relative to its past. Some exciting things happening: - 5.0 Release which removed the GIL and added an effect system which has enabled multicore capabilities. - The tooling is getting exponentially better (see the work on Dune by @leostera, @etiennemillon, and team) - Significantly improved onboarding experience and docs thanks to queen of OCaml hersel, @sabine_s_ - @_anmonteiro, @javierwchavarri, @davesnx and their team at @ahrefs continuously improving Melange (a compiler for compiling OCaml + ReasonML to JS - melange.re/v4.0.0/) - @janerstreet is working on a fork of the compiler to add "opt out GC" giving way to semantics and performance akin to Rust (blog.janestreet.com/oxidizin…) - Exciting research/features like Modular Explicits being added to the language (and maybe Modular Implicits in the future) - More exciting research/projects like Picos, a standardized interface for all the new concurrency and scheduler runtimes to program against to allow seamless inter-opt which will hopefully be a catalyst for a lot of growth in the ecosystem (github.com/ocaml-multicore/p…) - @andreypopp and friends enabling JSX syntax via .mlx files in OCaml code just as you would use it in Reason And you probably know this, but for other readers, ReasonML is just an alternative syntax for OCaml - they both compile to all the same targets and use all the same tooling and can even inter-opt in the same project.
2
154
I think I need to do a better job of separating my personal and hobbyist interests in computing and programming from my professional ones.
1
158
They're baaaaack! I cannot express in words how much hope this gives. And I'm pretty damn good with my words. Linkin Park was a big part of my teenage part. I definitely ugly cried a couple times watching this. youtube.com/watch?v=IL1nlWOc…
117