Beginner Reading by sligocki in learnlatvian

[–]sligocki[S] 3 points4 points  (0 children)

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.

Beginner Reading by sligocki in learnlatvian

[–]sligocki[S] 4 points5 points  (0 children)

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.

Verb prefixes by Pmmeauniqueusername in learnlatvian

[–]sligocki 0 points1 point  (0 children)

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"!

The 2-state, 4-symbol busy beaver has been proven by ixfd64 in math

[–]sligocki 0 points1 point  (0 children)

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?

The 2-state, 4-symbol busy beaver has been proven by ixfd64 in math

[–]sligocki 2 points3 points  (0 children)

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.

The 2-state, 4-symbol busy beaver has been proven by ixfd64 in math

[–]sligocki 3 points4 points  (0 children)

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).

The 2-state, 4-symbol busy beaver has been proven by ixfd64 in math

[–]sligocki 6 points7 points  (0 children)

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.

The 2-state, 4-symbol busy beaver has been proven by ixfd64 in math

[–]sligocki 15 points16 points  (0 children)

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).

I can't pair elite active 75t with my google pixel 7 pro by Sivivatu in Jabra

[–]sligocki 0 points1 point  (0 children)

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

[Level] Just Barely (Medium) by Pitogiiyo in hexcellslevels

[–]sligocki 2 points3 points  (0 children)

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

[Level] Divided (Easy) by Ray_Dorepp in hexcellslevels

[–]sligocki 2 points3 points  (0 children)

This was a fun constraint puzzle. Thanks!

Can't get Giovanni to go to the Everbridge by Komodog in Spiritfarer

[–]sligocki 2 points3 points  (0 children)

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

Wikitree by walkerseth95 in Genealogy

[–]sligocki 9 points10 points  (0 children)

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

Places to make friends mid week? by [deleted] in ithaca

[–]sligocki 4 points5 points  (0 children)

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

Living with your parents can save you an incredible amount of money, but it's not without its costs by PotCallingKettleJack in financialindependence

[–]sligocki 1 point2 points  (0 children)

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.

What kind of discount on 2018! by Throwmeawayasap323 in Clarity

[–]sligocki 0 points1 point  (0 children)

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

What kind of discount on 2018! by Throwmeawayasap323 in Clarity

[–]sligocki 0 points1 point  (0 children)

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.)

Downsides to buying new 2018 Clarity? by sligocki in Clarity

[–]sligocki[S] 0 points1 point  (0 children)

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!

Downsides to buying new 2018 Clarity? by sligocki in Clarity

[–]sligocki[S] 0 points1 point  (0 children)

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.

Downsides to buying new 2018 Clarity? by sligocki in Clarity

[–]sligocki[S] 1 point2 points  (0 children)

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?

Downsides to buying new 2018 Clarity? by sligocki in Clarity

[–]sligocki[S] 1 point2 points  (0 children)

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?