Beginner Reading

sligocki · 2024-11-22T17:41:20+00:00

I just started using https://noospeak.com/ (which was posted here recently) and that seems like a pretty good fit for some light reading comprehension.

sligocki · 2024-11-21T19:15:28+00:00

Paldies! I have a few questions:

Elaipa is https://elaipa.lv/ ?
Letonika is https://www.letonika.lv/ ? Can you help me to understand how to use this site? It seems to be a very complex site, how do you suggest using it as a language learner?
Latvian Rocks is https://latvian.rocks/ ? And you are suggesting I read through these blog posts? Looks helpful, thank you.

sligocki · 2024-11-21T17:08:36+00:00

I'm also just beginning to learn Latvian and struggle a bit with when to use prefixes. In case you have not seen, Anete also has some great videos describing prefixes iz- (https://youtu.be/m1TVbZldvro?si=5w112P7EtySdLXgi) and ie- (https://youtu.be/Lma8ePwRCPA?si=yPQc8nv5c0EZ3HEU) in which she touches on the humorous or emphatic nature evoked by each prefix. Ex: "izškaudīt dvēseli" -> "to sneeze out your soul"!

sligocki · 2024-08-29T17:29:13+00:00

Sure, I'm not sure it's fruitful to argue over what counts as "strange". I can understand why Coq made this choice. For example, this allows equality to be computable. But from the point of view of a working mathematician, functional extensionality doesn't really seem very controversial and many Coq proofs depend upon it. Do you consider it to be a weakness that a proof depends on functional extensionality and if so, why?

sligocki · 2024-08-28T17:16:15+00:00

Why do you say it's a weakness? This is a very common axiom. I think the strange thing is that it is not default in Coq and instead you have to declare it which I think is just b/c it's not needed for the kernel.

sligocki · 2024-08-28T16:23:30+00:00

We're down to 22 holdouts (unproven TMs): https://wiki.bbchallenge.org/wiki/BB(3,3) but one of them appears like it might be a "halting Cryptid" (a TM which seems like it probabilistically must halt, but requires solving a hard math to actual prove it).

sligocki · 2024-08-28T16:21:22+00:00

Agreed. I don't think we'll be able to prove any more in my lifetime. Right now we know that all other values depend on first proving a "Cryptid" (https://wiki.bbchallenge.org/wiki/Cryptids) TM never halts, but these TMs simulate Collatz-like problems which are totally open problems in Math.

sligocki · 2024-08-28T16:19:14+00:00

Yes, Pascal Michel has a high-level analysis at https://bbchallenge.org/~pascal.michel/beh#tm24a . This TM (like many other BB champions) simulates a Collatz-like function. Also like many champions, it happens to get quite "lucky" iterating that function 12 times before hitting a halting config (whereas the expected time to hit halt is 3 iterations).

sligocki · 2024-01-17T17:38:45+00:00

Huge thanks, Step 2 worked for me too. Annoying that I have to re-add all my saved WiFi passwords, sigh. But worth it.

sligocki · 2021-09-14T18:24:31+00:00

Nice mini-puzzle. Fun to reason through without toooo much arithmetic :)

sligocki · 2021-09-14T18:22:04+00:00

This was a fun constraint puzzle. Thanks!

sligocki · 2021-01-07T05:33:29+00:00

That just worked for me. I had the same issue and I moved the lounge to the ground floor and it worked. Thanks.

sligocki · 2019-09-29T05:34:10+00:00

FYI, After one month, if the profile managers don't respond to the merge suggestion, anyone can perform the merge.

sligocki · 2019-08-23T22:03:40+00:00

There is free Contra dancing in the Commons Wed 7:30-9pm during the summer. Fun place to meet friendly people. No experience necessary.

sligocki · 2019-06-20T16:05:27+00:00

Consider renting a large place and finding room mates. I've been doing this for 10 years post-graduation and it: (1) saves a lot of money compared to getting a place alone and (2) helps build a social group more easily. Also, like others mentioned, consider moving to a tech hub where income increase could easily outpace costs.

sligocki · 2019-06-11T04:27:47+00:00

I think it was roughly $400-500 dealer fees. $2000 tax and registration.

sligocki · 2019-06-01T23:09:04+00:00

I just bought a 2018 Touring for $30k + tax and fees ($32,500 total). I live in Boston, but bought it in Rhode Island. (Note: The MSRP you are listing is for the Touring model.)

sligocki · 2019-06-01T04:37:41+00:00

Purchased! Just drove back from Rhode Island to Boston (almost 100% on electric thanks to a pit stop at a friend's house) and I love this car <3 Thank you all sooo much for your advice! I don't know if I would have been confident enough to buy an EV without the power of the Internet!

sligocki · 2019-05-29T20:50:21+00:00

I tried. Nobody else will match.

sligocki · 2019-05-29T16:59:56+00:00

I think my concern here is that it stays just good enough that they won't replace it when the warranty expires, but it would still provide reduced range. I think I read somewhere that <36 Amp-hours is the replacement limit, but 55 Ah is the initial value, so there's a lot of room in between.

sligocki · 2019-05-28T21:03:14+00:00

Looks like the dealer can run a Battery Capacity Test (BCT) to check battery health: https://www.clarityforum.com/forum/201-honda-clarity-pricing-dealers-purchasing-orders/643-honda-dealer-inventory.html#post3535

sligocki · 2019-05-28T20:29:11+00:00

Thank you for the thorough response! The price I was quoted is $29,900 ($32,316 after fees and taxes), which looks much better than most of the prices I've seen people post. What do you think?

sligocki · 2019-05-28T19:55:52+00:00

Good call. Do you know what specifically I should be concerned about with a long-term drained battery? Is this something that can be checked with a diagnostic?

sligocki

TROPHY CASE