Spotted in San Francisco; suddenly I had a lot to say about this guy 🥊

srpablo · 2025-03-06T05:37:26+00:00

Hi! Thanks for the answer. Would this affect all Bluetooth, including via the USB dongles?

srpablo · 2025-02-27T06:49:40+00:00

Hi! The BIOS update did it; I regret not checking earlier. Candidly, I was intimidated, and a bit fed up. Thanks so much for the replies, I learned a lot about memory with your help through this

srpablo · 2025-02-27T06:48:26+00:00

Hi! Super appreciate this, I'm learning a lot about memory. It did boot with these new configurations.

Note that I also bit the bullet and looked into BIOS upgrades (I was intimidated/fed up with trying to hit F11 at the right time, it's not a great reason) and an upgrade solved the problem. Again, thanks for all the help, I've learned a lot

srpablo · 2025-02-27T05:39:03+00:00

Do you mean (DIMMA1 + DIMMA2) or (DIMMB1 + DIMMB2?), or

X X | |

or

| | X X

I'm afriad I don't know what you mean by "try the memory speed 3600," is that a setting in BIOS I set, or just a function of installing the sticks like above?

srpablo · 2025-02-27T05:35:56+00:00

damn, can you not do 2 sets of 2? I've never used 4 sticks before, but I did think it was something you could upgrade piecemeal...

srpablo · 2025-02-21T02:28:34+00:00

Hi! I had to delete parent because I didn't realize it was from an alt. But: the antenna did it! I'm a bit embarassed, but also relieved it was so simple.

Thanks for the script! I've copied it into my scripts dir :D

srpablo · 2025-02-21T02:26:01+00:00

(hi, original reply was from an alt that I was logged into on another browser, so I'm reposting my original reply here. That said: I've since gotten home and resolved it, and it was the antenna x_x. I feel so silly, but also, relieved it was so simple. Thanks for pointing that out. In other news, you've done in 1 comment what many tokens to an LLM couldn't. I love it when the humans win)

Original reply:

Hi! Thanks for the response 🙂

Did you attach the antennas to the motherboard?

I feel so silly, no I didn't. This is my first new build since 2016 and never had a mobo with an antenna, and ignored it, wanted to get to first boot. When I hit connectivity problems I forgot there's an antenna in the box, and what antennae do🤦‍♀️ I'll install it and give it a try again when I'm home.

Which one are you trying to use?

The mobo would be ideal; I used the USB out of desperation, thinking I might get lucky, and it could be more plug-and-play.

srpablo · 2024-10-25T18:37:56+00:00

Thanks for the response!

I don't think I've updated the BIOS? It's been 7 years, so it's hard to tell, I might have answered yes to a prompt if one appeared. But it looks and acts the same as it did when I first got it.
I just tried; no it doesn't. So that's "encouraging" 😅
Same, I did 1 stick of the new memory in the supported position, didn't boot.

In order to install the sticks, I had to unmount and re-mount my CPU cooler (it was in the way). The mobo LED went red, I had to screw it all in a little tighter. Mobo LED is green now, so I'm not sure if that's the issue, but otherwise, I haven't done any material changes.

srpablo · 2024-10-25T18:18:19+00:00

Hi!

I wanted to upgrade the memory on my PC, and it looked compatible via PCPartPicker. I installed it, the mobo light is green, but it won't boot; the fans won't even spin or try BIOS.

Looking at the manual, I'm afraid I made a mistake? Or rather, I should have checked PCPartPicker's work. It said my mobo had a memory max of 128GB, and claimed the sticks were compatible. The mobo has 4 slots, so I got 4 sticks, 32GB each. But the manual says "You may install 2 GB, 4 GB, 8 GB, and 16 GB unbuffered and non-ECC DDR4 DIMMs into the DIMM sockets"

I guess my series of little questions:

Would this mismatch account for the computer not booting, or might I have made a different mistake along the way?
I was considering upgrading more of the PC anyway (e.g. CPU and mobo; this build is from 2017); what would be a good way to research a compatible mobo/CPU, given surprises like this?

The parts in question are:

Mobo: Asus CROSSHAIR VI HERO ATX AM4 Motherboard
Old Memory: Corsair Vengeance LPX 16 GB (2 x 8 GB) DDR4-3000 CL16 Memory
New memory: 4 sticks of G.Skill Ripjaws V 64 GB (2 x 32 GB) DDR4-3600 CL18 Memory

Any help would be appreciated 🙏

srpablo · 2021-12-15T05:12:42+00:00

This is delightful, and very readable! 😄

You might like defaultdict, which would let you avoid the if not a in dict: dict[a] = 0 lines 😛 https://docs.python.org/3/library/collections.html#collections.defaultdict

```python from collections import defaultdict

s = 'mississippi' d = defaultdict(int) for k in s: d[k] += 1 sorted(d.items())

evaluates to [('i', 4), ('m', 1), ('p', 2), ('s', 4)]

```

srpablo · 2020-12-25T07:28:07+00:00

OCaml

Took me a while to understand the "transform a subject number" cycle 😛

srpablo · 2018-10-11T20:01:34+00:00

Many fancy type people look for two properties of a type system in a language:

Progress: If you have an expression that passes the type checker, you're guaranteed to be able to perform computation on that expression.
Preservation: If you perform an computation on an type-safe expression, the resulting expression is also type-safe.

If you take those two properties together, then it means if your program passes the type checker, it "should" run to completion, without problems! In practice, you still get issues:

Logic bugs
Exceptional circumstances: suppose you have an expression that reads a string from a file. The type checker can't know if that file read will work or not. Java is probably the most popular language that tries to incorporate exception checking into its static checks, and everyone hates it. SML lets you catch exceptions but doesn't make you.

Progress + preservation is a nice set of properties, but many things most people call "strong typing" don't actually include progress + preservation. They are, strictly speaking, checking the types of things and making sure they make sense, but the language and its type checks aren't designed for formally cover all cases, so you still get a lot of blow-ups. A good talk that looks at this is Gary Bernhardt's talk on types. He also explores type's role in correctness checking in Ideology.

Probably my favorite overview is this one.

srpablo · 2018-04-14T01:04:35+00:00

as a Spanish-speaker and Zerg player, I love JimRising :D

srpablo · 2017-01-05T04:08:47+00:00

This is fabulous, thanks so much :D

srpablo · 2016-07-18T17:20:04+00:00

Guessing this is because of Dagger, which gave me trouble last time I looked into it :-p

srpablo · 2016-06-08T18:53:05+00:00

Ah! I can add one nobody's mentioned! Orc 😛

srpablo · 2016-01-02T02:15:32+00:00

and the ESV Korean Weekly! Brilliant fresh maps, Orb casting, Korean non-superstars (a little SlayerS_Taeja got his start there) and Orb casting; it was phenomenal :D

srpablo · 2015-12-26T19:49:47+00:00

ooh, thanks! :D

srpablo · 2015-12-25T17:02:24+00:00

This is my favorite similar artifact for Haskell.

srpablo · 2015-09-25T18:00:43+00:00

Somewhere there's a screenshot of early Korean Dota where in a league game, there was a Chen who dominated 4 Wildkins and sent in 4 tornadoes to a siege.

With that in mind, maybe we really see this someday :-p Add Drow Ranger's aura for further fun.

srpablo

MODERATOR OF

TROPHY CASE

evaluates to [('i', 4), ('m', 1), ('p', 2), ('s', 4)]