lukego

17 ms·

121.
by lukego 6y ago
Just found the TLAPS Tactics page: https://tla.msr-inria.inria.fr/tlaps/content/Documentation/T... Sounds like the first thing TLAPS does is to translate the TLA+ program into SMT and try to prove it with Z3.
122.
by lukego 6y ago
I'd love to find a "bottom up" description of a language like TLA+. Start from the appropriate primitive (SAT solver? SMT solver?), show how to encode an example model directly, add layers of syntax etc as necessary for more
123.
by lukego 6y ago
I really appreciate this effort. I'm coming back to Common Lisp after a long absence and I'm very interested in understanding what the most relevant projects are these days. Can be hard with Lisp due to the long history and strong
124.
by lukego 6y ago
I'm doing some McCLIM hacking this week. It's fun. So far it Just Works. I'm writing code to draw PCB designs for fabrication. Just getting started and highly speculative. I've been bouncing between various programming l
125.
by lukego 6y ago
I've ported Squeak Smalltalk to run on a Forth firmware substrate (OLPC XO.) That's not bootstrapping but it is a satisfyingly compact high-level OS.
126.
by lukego 6y ago
(I'd just like to acknowledge that my parent comment is pretty lousy. I don't know Derek and I'm making assumptions about his motives. I feel like it's fair game after his article "Why I gave my company to charity [
127.
by lukego 6y ago
He also acquired a second nationality, renounced US citizenship, and moved to a country that doesn't tax foreign sourced passive income. It's the most extreme example I've seen of planning your whole life around tax optimizat
128.
by lukego 6y ago
MrMoneyMustache shows one path that a lot of people follow. It does involve redefining "filthy rich" along the way though so there's no Ferraris involved. https://www.mrmoneymustache.com/2013/02/22&#
129.
by lukego 6y ago
Australia too. Quite vulgar but not especially common nor especially rare.
130.
by lukego 6y ago
I've recently bought second-hand Xilinx FPGAs on Ebay for $250 each with list price of $3500. They come on boards that have an unidentified manufacturing fault. Salvaging and reusing the chips seems realistic using a budget vapor phase
131.
by lukego 6y ago
Moved back to Sweden recently, as it happens :)
132.
by lukego 6y ago
It's a naïve joke though because while few of the non-smoking colleagues are driving around in Ferraris many of them are discretely funding a secure retirement. So the joke really is on the smoker.
133.
by lukego 6y ago
I'm starting a new project in Lisp in 2020. That's rolling my own CAD tools for learning hardware development. Lisp makes sense because it's a comfortable environment for interacting with my data. I'll be running the Lis
134.
by lukego 6y ago
Tangent: I'm about to start learning EDA and what I really want is a data format for my designs. Something that I can write my own code to generate and manipulate as well as using standard GUI tools. Is there any "data first"
135.
by lukego 7y ago
Turing award lecture papers.
136.
by lukego 7y ago
Soldering and reworking electronics.
137.
by lukego 7y ago
Guessing in practice you would melt some and see if it's shiny (leaded) or chalky (lead free.) Surely not foolproof for all alloys though. Otherwise you could see how hot your iron needs to be to make it melt.
138.
by lukego 7y ago
I really enjoy Common Lisp being imperative enough to make iteration and collection orthogonal. You can freely mix-and-match functions for traversing data structures (dohash, maphash, etc) and ways to accumulate values (setf, push, ext:coll
139.
by lukego 7y ago
Thanks for the context!
140.
by lukego 7y ago
(I'm having trouble with this seeming to be a feel-good anecdote about a high-pressure working environment in which people are burning out and killing themselves.)
141.
by lukego 7y ago
This is remarkably similar to the DIY version of a high-end soldering technique I've just learned about called Vapor Phase Soldering. I'm waiting for a bottle of Galden LS230 to arrive so that I can try this DIY method on some wha
142.
by lukego 7y ago
Homebrew I'd imagine.
143.
by lukego 7y ago
FOSDEM does some nice crowd sourcing by having presenters login and review the video of their own talks, identifying the appropriate start/end times and flagging whether any postprocessing/recovery is needed, then self-approving f
144.
by lukego 7y ago
I allow my kids (4 & 5) a fair bit of screen time. They each have a ThinkPad and they love Minecraft. They are learning to read and type to search the inventory, surf Curseforge for mods, and navigate the dialog boxes in MultiMC for ins
145.
by lukego 7y ago
This reminds me of being an employee in Stockholm. You get scolded if you haven't booked thirty days of vacation into the calendar. Someone comes to your desk and makes you pick the dates. You come back with a lot of energy too :-)
146.
by lukego 7y ago
I'm with GP. I'd read the study if they did an experiment - randomly assigned milk to people and watched the impact - but there's too little value in these purely observational studies from nutritionists. The field hasn'
147.
by lukego 7y ago
I'm glad to hear other people talking about how great the Intel 82599/Niantic was and how they have come off the rails since then. I'm so fed up that my new year's resolution is to make a new NIC that's like the 825
148.
by lukego 7y ago
Speaking as an Australian raising Swedish kids, it's going to be weird watching this with them in s couple of hours and acting like it's a natural thing to do! (Christmas is of course really about eating mangos and drinking cold b
149.
by lukego 7y ago
RaptorJIT has a mostly finished port of the bytecode interpreter to C. That should make new arches /much/ easier to support because you don't have to hand-code a VM in asm, only write a JIT assembler backend. Check it out at
150.
by lukego 7y ago
I love your posts about this stuff :) I was also an "intern" of sorts for Mitch as recently as 2009 or so. I wrote the audio driver for OLPC XO 1.5 and went to Taipei to help with the bringup. I was amazed to watch Mitch using For

More ›