dunham

36 ms·

451.
by dunham 4y ago
Yeah, I'm using this for λ and ∀: /* -*- coding: utf-8 -*- */ { "~/" = ("insertText:", "λ"); "~a" = ("insertText:", "∀ "); } It looks l
452.
by dunham 4y ago
I'll second that. I was able to use that documentation to write javascript code that reads and queries a sqlite database. (Just as a learning exercise, I don't have a practical use for this.)
453.
by dunham 4y ago
I too enjoy having an extra layer of protection from the companies writing apps. (And the companies providing libraries to them, like Facebook.) And for my own stuff, the sandboxing gives me a layer of protection from vulnerabilities in the
454.
by dunham 4y ago
> It could be expressed in a text syntax, and with more or less difficultly, other languages could get a similar graphical overlay. Yeah, Makecode Arcade has a similar UI with mappings to and from both Python and Javascript. https:&#x2F
455.
by dunham 4y ago
I haven't had time to do a deep dive, but Glamorous Toolkit also looks quite interesting: https://gtoolkit.com/
456.
by dunham 4y ago
For me, on an intel mac, the issue is overheating. The CPU will throttle down to about 25% once it gets to hot and everything gets laggy/janky. Teams seems to crank stuff up enough to trigger this. I've found that disconnecting t
457.
by dunham 4y ago
You can turn it into a loop with a case statement inside if you collect the connected component of tail called functions and make those the cases. But it’s gonna be a big function. You can split it up a bit if you use a trampoline, but then
458.
by dunham 4y ago
Agda users rely heavily on unicode. It looks like they have editor support for it in the form of backslash sequences that turn into unicode. They write stuff like: Tyᴹ : (A : Ty) → {X₀ X₁ : Set} → (X₀ → X₁) → Tyᴬ A X₀ → Tyᴬ A X₁ → Set
459.
by dunham 4y ago
The last two we gave our kid were James Polk and John Adams. I get them back because I'm letting my 9 yr old bank money with me at 10%/mo. I'm hoping it teaches him to save and to be mindful of spending. If it grows too much
460.
by dunham 4y ago
Yeah, that’s what I tried, even named the volume Ventura. It has worked in the past with previous releases e.g. Monterey. It sounds like the original poster (and some commenters) was trying to do this too, had done in the past, and was surp
461.
by dunham 4y ago
> I, er, accidentally updated my laptop to the beta Good to know it wasn't just me. I also expected it to be an installer that let me choose a different volume to install on.
462.
by dunham 4y ago
I clicked on your link, recognized the logo and realized that I've had a pair of klein wire cutters for the last 30 years. They are my favorite cutters, I found them on the ground when I was a kid, in front of the telephone box in our
463.
by dunham 4y ago
About two years ago, I posted mushrooms twice on iNaturalist (not Seek) and quickly got updates with a more specific identity from other users, so I think there is an active community out there. They were amanita muscaria -> american ama
464.
by dunham 4y ago
I learned about them a few years ago when a bought a house and was trying to identify the plants in the yard. Prior to that I had seen them in San Francisco and wondered if they were edible. I snack on the fruits when ripe, but haven’t made
465.
by dunham 4y ago
The same thing but for the PyBadge (because I have one) is on my long list of ideas. Mainly to learn how forth works. But I'm playing around with other stuff at the moment (dependently typed languages).
466.
by dunham 4y ago
And you get to learn new words like dunny and dobber.
467.
by dunham 4y ago
Thanks. I've taken CFLs there in the distant past, but didn't know they took lithium batteries.
468.
by dunham 4y ago
This is how it worked with Sun Microsystems parts back in the day. You'd put in an order, they'd send the replacement with a return label for the original. I presumed they did testing and maybe refurbished the parts, but no idea w
469.
by dunham 5y ago
If you click through the link on that page (and click on Compiler), there are a series of articles on the development process - step by step bootstrapping stages and some further development past that point. It's a really interesting r
470.
by dunham 5y ago
I think they're designed to be more durable too. A consumer microwave / food processor isn't intended to run 8 hours a day. Any particular brands on the induction stoves? I may want to move on from gas someday.
471.
by dunham 5y ago
I had an obscure machine ("Interact") in the early 80's that had an 8080, 16 kb of memory, and a cassette drive. There was an assembler for it. If I remember right, you read the editor from tape, edit and save your file, then
472.
by dunham 5y ago
I enjoy cooking. I go to restaurants like that to experience new food and maybe take away a few ideas. A Meal at a three star restaurant is very expensive, but it's an experience I've enjoyed. (I've also enjoyed meals at plac
473.
by dunham 5y ago
So far I haven't had this issue. I am in Seattle (for years), still have my 415 (San Francisco) phone number, and can still filter spam by ignoring calls from 415. If you don't mind sharing, which provider are you using? And, if
474.
by dunham 5y ago
Simon Peyton Jones does his presentations in comic sans, but I probably wouldn't use it for running text.
475.
by dunham 5y ago
There was a project out of MIT CSAIL back in 2006 that did automated extraction of tabular data from web pages. e.g. product lists on a store site. It recognized pagination and looked for a sequence repeated DOM structures (and what varied
476.
by dunham 5y ago
I'd also love to see an offline-first version of the datomic model. I've thought about datomic + crdts in the past, and it seems like ":db/unique :db.unique/identity" properties would be an issue. Whether or no
477.
by dunham 5y ago
I don't think they really care as long as they get a cut. Maybe if they get enough negative publicity people will turn on them and they'll clean things up, but I doubt they'll do anything until it cuts into their profits. I&#
478.
by dunham 5y ago
The alphabets (and typefaces, like blackboard bold or cursive) are mathematicians' version of syntax highlighting. They are often used to represent different types of objects.
479.
by dunham 5y ago
I got to experience this while driving through Oregon. I ended up with a check engine light because the guy didn't screw the gas cap back on correctly.
480.
by dunham 5y ago
> it was one of the first titles that many DVD adopters bought I remember it being bundled (in the same box) with my first DVD player.

More ›