The table-driven aspect is nice when you have user defined operators. I've used it inside a combinator based parser for a language with mixfix operators (e.g. _≡⟨_⟩_ ). Lean4 takes this to an extreme and has "syntax…
> It was around December 2023. A few other editors and I were chatting on Wikipedia’s Discord server, and we had all seen very strange articles with the same odd characteristics. I was afraid of that. I grabbed a…
I still enjoy Morrowind. And I've replayed Ultima IV, although it does get grindy at one point. (For one of my play-throughs as a kid, I got the grindy part and simply boosted everybody to level 8 by editing the save…
Have you seen this one: https://github.com/kisonecat/web2js It's TeX in wasm implemented by writing a pascal to wasm compiler, which seemed like a novel approach. (TeX is written in pascal and typically translated to C…
I found it immediately (on a model 3) and the car started bitching at me for using the wrong door release. It took me longer to find the "correct", electronic door button.
Back in college I played a similar game by drawing septagons with a straightedge and compass. They're not constructable, but a length within a three significant figures is easily constructed, and that's more accurate…
You're right. I don't see any evidence of what I claimed. It doesn't look like it was ever whitespace sensitive. This would have been in the 90's, probably Linux. I feel like the compatibility issue involved case…
On most news sites, the ads are annoying and the sheer weight of the third party tracking and ad javascript make them unusable. But I've found that a lot of news sites are bearable with javascript disabled. On chrome…
I also remember old school bourne shell wanting tabs in some places (case statements?), but bash doesn't have that issue. These days, I try avoid them outside of makefiles.
Yeah. On a similar note, without the computer aspect, I once had a prof tell me that he did not like character theory. If I remember right, there you calculate some numbers from a group and can prove some properties…
I think of those as emacs keys. Glad they work everywhere, but I suspect that someday they will go away.
The author of esbuild used Rust and later switched to Go. He describes some of his experience here: https://news.ycombinator.com/item?id=22336284 It is one person and one project, but I found it interesting to read…
John August has also talked about using plain text for movie/television screenplays, specifying a format based on markdown and hollywood standard: https://fountain.io/ Sharing aside, I imagine a plain text format would…
I also enjoyed Muse[1], which was made available in the iOS app store, and is now being maintained as "Allume"[2] (an unnamed company bought the Muse name). Essentially a digital pinboard, it was an interesting…
I'm not vegetarian, but Grand Central Bakery in Seattle/Portland had a Maitake sandwich that I loved enough to reproduce at home: "Crisp-roasted maitake mushrooms with garlicky labneh, fresh local raab, warm Middle…
Yeah when I'll make mashed potatoes, I mix pieces of peeled russets (which have a smoother texture) and red potatoes with the skin on. I like the taste of red potatoes and it gives the purée a rustic texture. When I…
Back in May, the iOS app "Muse" rebranded as "Allume". Their explanation was "An unexpected opportunity came up regarding the Muse name and trademarks, and as a result I'll soon be changing the name of Muse to Allumé."
tonksy also has some interesting opinions on syntax highlighting - not necessarily against highlighting, but taking a more minimalist stance against how highlighting is typically done:…
Electron requires effort to get single instance. I've had to implement it. You need to call this: https://www.electronjs.org/docs/latest/api/app#apprequestsin... and handle this event:…
Yeah, just the right oven. It took 90 seconds for pizza hacker in SF on a customized weber grill: https://www.mikesenese.com/DOIT/2010/05/wood-fired-pizza-on-...
This saved me from accidental resets in the past. I learned it existed because the files were showing up in mdfind
It happens when the indentation is established on the same line as other code, so having a rule that you need a newline to start indentation will avoid the issue. Examples from haskell: foo x y = do a <- something pure…
I don't mind indentation based languages. I used to hate them, but they've grown on me after using python, Haskell, Idris, Agda, etc. And I ended up making my own language indentation based (it is similar to Idris).…
That looks like a nice tool. It would be helpful if it could optionally run off of a data file. I've used "ncdu" to visualize my restic backups by writing a script that generates the ncdu data format, and more recently…
Not exactly removed, the feature was still there, but could be used only if your module was in Elm namespace (the compiler checked). It was kind of a "no soup for you" situation, which bothered me. Elm served its…
The table-driven aspect is nice when you have user defined operators. I've used it inside a combinator based parser for a language with mixfix operators (e.g. _≡⟨_⟩_ ). Lean4 takes this to an extreme and has "syntax…
> It was around December 2023. A few other editors and I were chatting on Wikipedia’s Discord server, and we had all seen very strange articles with the same odd characteristics. I was afraid of that. I grabbed a…
I still enjoy Morrowind. And I've replayed Ultima IV, although it does get grindy at one point. (For one of my play-throughs as a kid, I got the grindy part and simply boosted everybody to level 8 by editing the save…
Have you seen this one: https://github.com/kisonecat/web2js It's TeX in wasm implemented by writing a pascal to wasm compiler, which seemed like a novel approach. (TeX is written in pascal and typically translated to C…
I found it immediately (on a model 3) and the car started bitching at me for using the wrong door release. It took me longer to find the "correct", electronic door button.
Back in college I played a similar game by drawing septagons with a straightedge and compass. They're not constructable, but a length within a three significant figures is easily constructed, and that's more accurate…
You're right. I don't see any evidence of what I claimed. It doesn't look like it was ever whitespace sensitive. This would have been in the 90's, probably Linux. I feel like the compatibility issue involved case…
On most news sites, the ads are annoying and the sheer weight of the third party tracking and ad javascript make them unusable. But I've found that a lot of news sites are bearable with javascript disabled. On chrome…
I also remember old school bourne shell wanting tabs in some places (case statements?), but bash doesn't have that issue. These days, I try avoid them outside of makefiles.
Yeah. On a similar note, without the computer aspect, I once had a prof tell me that he did not like character theory. If I remember right, there you calculate some numbers from a group and can prove some properties…
I think of those as emacs keys. Glad they work everywhere, but I suspect that someday they will go away.
The author of esbuild used Rust and later switched to Go. He describes some of his experience here: https://news.ycombinator.com/item?id=22336284 It is one person and one project, but I found it interesting to read…
John August has also talked about using plain text for movie/television screenplays, specifying a format based on markdown and hollywood standard: https://fountain.io/ Sharing aside, I imagine a plain text format would…
I also enjoyed Muse[1], which was made available in the iOS app store, and is now being maintained as "Allume"[2] (an unnamed company bought the Muse name). Essentially a digital pinboard, it was an interesting…
I'm not vegetarian, but Grand Central Bakery in Seattle/Portland had a Maitake sandwich that I loved enough to reproduce at home: "Crisp-roasted maitake mushrooms with garlicky labneh, fresh local raab, warm Middle…
Yeah when I'll make mashed potatoes, I mix pieces of peeled russets (which have a smoother texture) and red potatoes with the skin on. I like the taste of red potatoes and it gives the purée a rustic texture. When I…
Back in May, the iOS app "Muse" rebranded as "Allume". Their explanation was "An unexpected opportunity came up regarding the Muse name and trademarks, and as a result I'll soon be changing the name of Muse to Allumé."
tonksy also has some interesting opinions on syntax highlighting - not necessarily against highlighting, but taking a more minimalist stance against how highlighting is typically done:…
Electron requires effort to get single instance. I've had to implement it. You need to call this: https://www.electronjs.org/docs/latest/api/app#apprequestsin... and handle this event:…
Yeah, just the right oven. It took 90 seconds for pizza hacker in SF on a customized weber grill: https://www.mikesenese.com/DOIT/2010/05/wood-fired-pizza-on-...
This saved me from accidental resets in the past. I learned it existed because the files were showing up in mdfind
It happens when the indentation is established on the same line as other code, so having a rule that you need a newline to start indentation will avoid the issue. Examples from haskell: foo x y = do a <- something pure…
I don't mind indentation based languages. I used to hate them, but they've grown on me after using python, Haskell, Idris, Agda, etc. And I ended up making my own language indentation based (it is similar to Idris).…
That looks like a nice tool. It would be helpful if it could optionally run off of a data file. I've used "ncdu" to visualize my restic backups by writing a script that generates the ncdu data format, and more recently…
Not exactly removed, the feature was still there, but could be used only if your module was in Elm namespace (the compiler checked). It was kind of a "no soup for you" situation, which bothered me. Elm served its…