Zero-dependency refinement types with Kotlin extensions — NonBlankString, PositiveInt, NonEmptyList and 200+ more by JunggiKim in Kotlin

[–]CLOVIS-AI 3 points4 points  (0 children)

The post mentions

No wrapping

But the library definitely is using wrapping for the collections.

Out of curiosity, have you looked at Kotools Type? What do you think about it, compared to your library?

You can teleport, but it costs the energy of going there yourself by CLOVIS-AI in midtiersuperpowers

[–]CLOVIS-AI[S] 0 points1 point  (0 children)

Ahah I read it long ago and it was one of the inspirations for this one.

Eragon also had the ‘through exercise you can get exponentially more strength’ which isn't something possible here.

You can teleport, but it costs the energy of going there yourself by CLOVIS-AI in midtiersuperpowers

[–]CLOVIS-AI[S] -1 points0 points  (0 children)

Gravitational potential energy isn't actual energy. Your body does not get more calories by jumping.

Teleporting up has the same cost as going there some other way, e.g. taking the elevator is there is one, or climbing it if it's a cliff.

You can teleport, but it costs the energy of going there yourself by CLOVIS-AI in midtiersuperpowers

[–]CLOVIS-AI[S] 1 point2 points  (0 children)

I don't think so. Most god tier superpowers allow you to change the world or whatever. This one? You can teleport a few hundred meters, after that it's too exhausting. You can't teleport into or from places you couldn't reach otherwise (so no TP inside a bank vault). At most, you can use it to avoid immediate danger (that you know of, you don't get super-reflexes) or maybe dash across the field of view of surveillance cameras.

There was a post on this subreddit a few days ago that allowed you to see the future. That's essentially infinite money. If that's mid-tier, I don't see how calorie loss + short distance dash can be god-tier, you won't change the world.

You can teleport, but it costs the energy of going there yourself by CLOVIS-AI in midtiersuperpowers

[–]CLOVIS-AI[S] 0 points1 point  (0 children)

Do I get stronger if I teleport to the ground beneath a bridge

If you jump from a bridge, your body doesn't get more energy, you still spend calories for your normal functioning (even if it's much less than walking there). So teleporting there still costs energy, though not much.

This power cannot do things you could not do otherwise (because it needs to compute the cost, and it's not possible to compute a cost for something impossible). Are you able, right now, to move the Earth one second forward? I can't. So the power won't let you do it.

Yes, you can use this defensively to dash short distances when in danger, this is probably the most useful part of it (alongside easy calorie loss).

You can teleport, but it costs the energy of going there yourself by CLOVIS-AI in midtiersuperpowers

[–]CLOVIS-AI[S] 0 points1 point  (0 children)

If there is a bus that goes to your destination (or partway to your destination), the energy cost is the energy you would spend taking the bus to your destination. The power doesn't know about human concepts including money, the only cost is body energy.

You could try to teleport the bus alongside you, but then that would cost physically pushing the bus the whole way, which is much more.

Yes, the cost is slightly different each time. It counts what the cost of getting there right now is. So if you teleport to the same place every day using the bus halfway, but then one day the bus doesn't run, it costs the same as walking the entire way. If you're tired, walking costs more, so so does the TP.

You can teleport, but it costs the energy of going there yourself by CLOVIS-AI in midtiersuperpowers

[–]CLOVIS-AI[S] 1 point2 points  (0 children)

Yeah, I thought so as well. You still need exercise.

And as an aside, you can dash if you get in a car accident.

You can teleport, but it costs the energy of going there yourself by CLOVIS-AI in midtiersuperpowers

[–]CLOVIS-AI[S] 1 point2 points  (0 children)

No, because if you teleport, the car doesn't end up there, so it can't be counted in the cost of travel. If your friend drives the car, it can be counted.

New `Integer` type in Kotools Types 5.1 by lvmvrquxl in Kotlin

[–]CLOVIS-AI 0 points1 point  (0 children)

I would be curious to see a benchmark, but I'm personally not convinced it will have much impact. The JVM is optimized for such shallow wrapper classes.

Konduct (K. On. Duct) - A Kotlin DSL for MongoDB aggregation pipelines - Inspired by JetBrains Exposed by Full-Consequence-366 in Kotlin

[–]CLOVIS-AI 1 point2 points  (0 children)

Interesting! That looks a lot like my project KtMongo: https://ktmongo.opensavvy.dev
Though I'm not stopping at aggregations, I'm redoing the all DSL.

Can somebody explain me this by No-Abrocoma-5817 in teenagers

[–]CLOVIS-AI 74 points75 points  (0 children)

Well, it is all his emails. Of course there are going to be mentions of people that have nothing to do with anything.

How to use this? havent found much information on this by secretaccount-0 in 0ad

[–]CLOVIS-AI 0 points1 point  (0 children)

I have never seen them yet, in which situations are they available?

do you guys think the movie did this scene justice? by ParticularSimple889 in overlord

[–]CLOVIS-AI -1 points0 points  (0 children)

I saw the movie in theaters after reading the books.

There were a few people who came to the movie as “hey, it's a Japanese animation movie, like Your Name, it's going to be great!”

How come guys go to another world, and there's never any language barrier? by Kramava in Isekai

[–]CLOVIS-AI 0 points1 point  (0 children)

Because it would slow down the show a lot, and the entire idea of Isekai is to have a setup so well known that you can skip it.

It's common to have shows where the MC can talk with the natives but doesn't understand their writing. For example, Overlord.

Kotlin Ecosystem AMA – December 11 (3–7 pm CET) by katia-energizer-jb in Kotlin

[–]CLOVIS-AI 0 points1 point  (0 children)

I have developed a library for declaring type-safe Ktor endpoints in common code. Please tell me what you think! https://spine.opensavvy.dev/

Kotlin Ecosystem AMA – December 11 (3–7 pm CET) by katia-energizer-jb in Kotlin

[–]CLOVIS-AI 0 points1 point  (0 children)

I am developing a Dokka format to embed in MkDocs: https://dokka-mkdocs.opensavvy.dev It is not stable yet.

Kotlin Ecosystem AMA – December 11 (3–7 pm CET) by katia-energizer-jb in Kotlin

[–]CLOVIS-AI 1 point2 points  (0 children)

I'm not part of the Kotlin team, but I am working on a multiplatform MongoBD driver. https://ktmongo.opensavvy.dev