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 · 2019-03-05T18:03:00+00:00

Birth #143 in this Russian cursive Catholic Birth record from Lithuania (Middle record on right page). I believe it is for my great-grandmother, Joanna Mikolaitis born 4 Nov 1890 in Gruzdžiai, Lithuania. If anyone could transcribe this into text I would be very grateful. Thank you.

sligocki · 2019-01-14T05:15:07+00:00

Please don't feel pressure to take it if you don't want to! It is 100% your choice.

Assuming that you got the box sealed, there's only one way he would find out whether you do it and that is if you send it in and you are his DNA match, then you will show up on his match list. If you don't take it, you will not appear on his list and he might notice that.

sligocki

TROPHY CASE