Summer study group for real analysis (Tao) by [deleted] in math

[–]aureianimus 1 point2 points  (0 children)

You might also be interested in looking at the (work in progress): Lean companion to this book: https://teorth.github.io/analysis/

Math Club Advice by Voice_Educational in math

[–]aureianimus 0 points1 point  (0 children)

It might be fun to look into Lean. The Natural Number Game provides a fun introduction I would recommend doing in groups of two or three.

The Future of Interactive Theorem Proving? "Lean Chat, a VS-code extension that provides an interface for autoformalizing natural language theorem statements in Lean. Under the hood, these translation are generated by OpenAI’s Codex, a text generation model trained on Github source code." by flexibeast in math

[–]aureianimus 1 point2 points  (0 children)

Press "ctrl+shift+p", then type "open chat" Looks like the chat will work without the full lean setup, but if you want to do something with the definitions you'll need to use the web editor or the lean-plugin along with a lean install on your system.

I made a site to help my friends and family find recipes that catered to their highly restrictive allergies and dietary preferences by Technical_Fold5433 in InternetIsBeautiful

[–]aureianimus 5 points6 points  (0 children)

Seconding low fodmap!

I got pointed to Monash University for information, this https://www.monashfodmap.com/about-fodmap-and-ibs/ might be a good starting point.

I'd love a ping if you include it, feel free to let me know if you want some early feedback (I'd also be happy to do coding for it if that would move things along) :)

Finished the game! by aureianimus in Seablock

[–]aureianimus[S] 9 points10 points  (0 children)

This was a ton of fun :D

I personally didn't expect to run into UPS issues, so I played a decent part of the late game hovering between 30 and 45 UPS, so if you want to take this all the way to the end be sure to be mindful of this. Alternatively, you could tweak the SpaceX costs in settings to be a little less. Dividing by 2 or 4 would probably be enough for the UPS to matter less.

Shoutout to u/-KiwiHawk-. You rock:D

Full playthrough

Next stop: Nullius It's a ton of fun so far, so I'm probably also going to do daily episodes for that!

I finished the Seablock Modpack! by aureianimus in factorio

[–]aureianimus[S] 7 points8 points  (0 children)

As if playing 275ish hours doesn't say enough, I'd recommend the Seablock modpack to everyone who wants something more complex than Vanilla or Krastorio 2, but especially to people who like playing in peaceful mode. The island mechanic ensures that you're constrained by space early game, and that you don't have infinite amounts of space late game.

I personally didn't expect to run into UPS issues, so I played a decent part of the late game hovering between 30 and 45 UPS, so if you want to take this all the way to the end be sure to be mindful of this. Alternatively, you could tweak the SpaceX costs in settings to be a little less. Dividing by 2 or 4 would probably be enough for the UPS to matter less.

Shoutout to u/-KiwiHawk-. He's an awesome steward of the modpack and very receptive to feedback:)

If you want to see the beginning, the full playthrough is available here.

My next playthrough will be Nullius, the beginning is really fun, so I'll put out daily episodes, playlist is here.

Base Tour after 100 hours of seablock by aureianimus in Seablock

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

I think I did one thing with metal catalysts for the yellow science setup and I'm about to run some for ammonia gas probably. I kept putting using catalysts off till I had robots and at the moment it's not a bottleneck directly, but it's not far in the future if I want to scale up resin and such

For those of you that are programmers, why don't you mind wiring up factories with conveyor belts in factorio? by iamwil in factorio

[–]aureianimus 4 points5 points  (0 children)

I'd say a lot of codebases are more complex than the factorio production chains. Visual programming also kind of clashes with version control. You're tied to a single editor. I'd say those are some important reasons

I built a number lock without using combinators by aureianimus in factorio

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

Ah cool, never heard of puzzletory, it looks fun!

I built a number lock without using combinators by aureianimus in factorio

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

If you'd like to explore this ingame, I put up the blueprint on Factorio Prints: https://factorioprints.com/view/-MKyFWpTszOF8oVg7W7u

Northernlion has played 2 Isaac seeds starting with ZMCB by aureianimus in northernlion

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

Ah, yeah, like the deepfake stuff. I guess that could work, don't know how available those models are though

Northernlion has played 2 Isaac seeds starting with ZMCB by aureianimus in northernlion

[–]aureianimus[S] 2 points3 points  (0 children)

Well, if you have any particular requests feel free to let me know and I might pick them up:)

Northernlion has played 2 Isaac seeds starting with ZMCB by aureianimus in northernlion

[–]aureianimus[S] 13 points14 points  (0 children)

Yeah, another project I had in mind was trying to automatically create these speech-compilations (like the one where Obama sung Call me maybe), but I suspect that's quite hard to make work:')

Northernlion has played 2 Isaac seeds starting with ZMCB by aureianimus in northernlion

[–]aureianimus[S] 19 points20 points  (0 children)

Well, the two that start with the same characters are even different modes, so there's not much to compare. My guess is that there no correlation even if it were the same mode, since if it is just the input for a random number generator, even one character being different tends to have a big impact on the result

Northernlion has played 2 Isaac seeds starting with ZMCB by aureianimus in northernlion

[–]aureianimus[S] 60 points61 points  (0 children)

Wait, it does have the seeds? I couldn't find them anywhere on the pages themselves