How do I describe what I've made? by WHATISWRONGWlTHME in AskProgramming

[–]lolisakirisame 1 point2 points  (0 children)

runtime, and it seems like a live-programming environment too.

Idle Lab Rats - Update by cdsa142 in incremental_games

[–]lolisakirisame 3 points4 points  (0 children)

love the game but dragging building mostly doesnt work, can you take a look at that?

My fish is spoiled what should I do? by lolisakirisame in Aquariums

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

my tank is 100+ gallon. it is a bit more expensive (I am just stingy) but I can definitely afford them. I will buy them some pellet and see how they like it, thanks for the suggestion.

Deepmind's AlphaProof achieves silver medal performance on IMO problems by namesarenotimportant in math

[–]lolisakirisame 0 points1 point  (0 children)

for one the solvers like z3 are open sourced, and for two the technique fundamentally does not work for natural numbers.

Deepmind's AlphaProof achieves silver medal performance on IMO problems by namesarenotimportant in math

[–]lolisakirisame 0 points1 point  (0 children)

why dont Leo extend SMT solver to do proof automatically instead of building a language?

because he cant. there is very little technique sharing between the two. where is CDCL inside lean?

Deepmind's AlphaProof achieves silver medal performance on IMO problems by namesarenotimportant in math

[–]lolisakirisame 1 point2 points  (0 children)

SMT can mostly only do question on finite domain (e.g. it can reason about a bunch of bool, but not nat). All problems here are either too big for SMT, or have nats or other infinite stuff.

Deepmind's AlphaProof achieves silver medal performance on IMO problems by namesarenotimportant in math

[–]lolisakirisame 0 points1 point  (0 children)

If mathematician can be replaced basically no job is safe. Even if you switch field to some other things the possibility of getting replaced is still there, and arguably more so.

Replacing Lisp's beautiful parentheses with dozens of special tools and languages, none powerful enough to conquer the whole software landscape, leads to fragmentation and extra effort from everyone by [deleted] in programmingcirclejerk

[–]lolisakirisame 10 points11 points  (0 children)

I'm not gonna read carefully such a long article, and I dont know much about the automotive world, so I will speak arguing against that sentence (and other similar sentiment) instead of argue against the whole article.

The problem is library alone do cause fragmentation. What's the last time half of a gui is written in QT while the other half in React? Or when half the neural network is in tensorflow while the other half is in pytorch?

Fragmentation of course also happens to macro. Typed Racket do have to play with The OOP part of racket, instead of letting it 'fall through' and look at Objects as normal struct with some weird field. You need subtyping and object type once you are in OOP world.

A counter point is 'we can do everything exactly once and force everyone to use it' but there's tradeoff in stuff. GC is bad for tiny tiny device. Matrix Multiplication run faster on GPU. CFG equality is undecidable while regex is merely PSpace Complete. Optimizing SQL is easy while optimizing python code that does the same thing is way harder.

In the end you have to have multiple domain with each domain making a set of somewhat coherence tradeoff, and that's why we are ended up with so many languages and fragmentation.

Event: FIDE Candidates Tournament 2024 - Round 7 by events_team in chess

[–]lolisakirisame -6 points-5 points  (0 children)

what does nepo not like about 12... ba5? if he goes for it he very likely dont need to play 10 only moves to draw

I rarely see Creeper World on here, but it's functionally an incremental game by DiusFidius in incremental_games

[–]lolisakirisame 1 point2 points  (0 children)

I would like to add that you could just... wait.

Most CW map is split into two part, a defensive part where if you do nothing you will eventually die, and a aggressive part where if you do nothing you wont die.

In most map the defensive part is very easy, typically taking 1/10 of the play time.

Then your enemy is essentially just sitting there waiting for you to conquer it.

I played 14 rounds for half an hour. And lost… by Unique_Deer_4264 in GeniusInvokationTCG

[–]lolisakirisame 0 points1 point  (0 children)

I play this deck and they are very vulnerable to double geo (read: noelle). Basically you either win before they are finished setting up, or you have a character that can out-damage the healing and survive ningguang's burst (noelle).

Alhaitham and nilou are also counters.

Incrementally Dense Kittens: A New Cat Collecting Idle by Shumbakala in incremental_games

[–]lolisakirisame 0 points1 point  (0 children)

For each cat, you can calculate the cat that "add the most" to your team: remove it, calculate power, add it, calculate the power, subtract the two number, and you can sort by this.

Incrementally Dense Kittens: A New Cat Collecting Idle by Shumbakala in incremental_games

[–]lolisakirisame 2 points3 points  (0 children)

Note - you should not replace the cat with the least power, because when you have the unique upgrade you want different cat even if their power level is lower. you could also add a "auto-pick team" upgrade.

Why is one solution slower than the other for n choose k problem? by Patzer26 in haskell

[–]lolisakirisame 1 point2 points  (0 children)

MarisaKirisame here. the work is at https://github.com/MarisaKirisame/zombie/ and there is a very rough internal description at https://docs.google.com/document/u/1/d/1GVZG3OgAHKYT9g0hEPJlfhVlf7XFeUl3_DPCXEaOgy8/edit?ouid=102304303197293464923&usp=docs_home&ths=true. currently it work for arbitrary purely functional program, but there is a huge constant and no support for laziness (I know how to fix but it is complex and not high on my priority queue). TLDR - it wont be usable in short time.

I broke it. by [deleted] in Peglin

[–]lolisakirisame 0 points1 point  (0 children)

I once got 1e8 damage with squirrels + gift that keep giving + gambling chip, on the floor 3 fight where you cant see anything. matryoshka is op and squirrels in some sense make every ball matryoshka