stingpie

u/stingpie@lemmy.world
4 posts · 258 comments

Recent posts

Recent comments

Therapist: Do you think your dives into math are a type of avoidance for difficult problems in real life?

Me: You know what's really interesting? I just thought of this, but recipes can be really well represented by a directed, weighted hypergraph. Each hyperedge is an action, the weights are the measurements, and so following the directed hyperedges will result in the meal the recipe is for. It more naturally captures how recipes can be non-linear than regular list based recipes!

Regarding what "sounds" hot, I think 100 makes more sense as the "super hot" number than 40. Although both numbers are arbitrary, 100 is less arbitrary. (Sorta. We just culturally define 100 to be an important number) Fahrenheit makes more sense if you think of it as "0 feels super cold, 100 feels super hot" although I'll admit it's a little strange that room temperature is 3/4s up the scale. That could be solves with a logarithmic scale, but that would probably be worse than either system.

If you want a more in-universe explanation, there's a practical limit on how quickly a society can progress when it is stretched across interstellar scales. People will inevitably start working on the same problem and come to similar solutions if they can't talk to each other. Famously, calculus was invented twice, at the same time, because Isaac Newton & Leibniz couldn't communicate with each other. With the internet, it's much easier to discover whether another person is working on the same problem (or has even solved it for you) but if it takes 100 years to send a signal from one colony to the next, then the Internet is useless.

It's funny to me that your worldbuilding involves something as specific and as unknown as a internet protocol.

But also, they've had computers for 95 THOUSAND years?? And how long had humans had computers by first contact? The fact that they had such a head start, yet are still within a 100-200 years of human technological development makes them seem kinda incompetent, honestly.

And they're only on the third version of IP? I've heard of technical debt, but wow. They're developing the Internet on the same timescale we developed agriculture.

Instead of spinners, you should use progress bars. When the endpoint of a process is unknown, you should just have a ticker that displays an increasing number. In codex, for example, just show me the number of tokens read or generated so far. It gives me feedback that the process hasn't frozen, and it provides useful information. What an easy and cheap solution!

on KICKS · c/unix_surrealism · 4 pts · 31d

It's interesting how girl being raised to be a technomage soldier instilled a tendency for cruelty. Torturing then killing the matabot is kinda fucked up, they're sapient. Although matacorp are clearly bad, I don't think they would stoop to that level. As nasty as they are, they're a corporate entity, and torture is beyond the veil of faux decency they have to adhere to.

LLM stands for "large language model" in other words, it is a big neural machine. Saying they don't use LLMs is like saying the ocean isn't blue, it's azure.

on Ancient Staff · c/wizards · 4 pts · 36d

Wizard, get off the stage, your health is soft, You need to quaff a potion to cure your cough. Oh, you think your precious little staff can halt the gaffe where everybody looked at you and began to laugh? Old man, take a look at yourself, you're not top shelf, you're lesser than a cobbler's helper elf.

I think there are programming paradigms that haven't even been discovered yet. Rock music was "discovered" centuries after baroque music, and composers back then would have thought baroque music is the ultimate musical genre, which could not have been improved upon.

I've been working on a programming language recently that sort of programs itself. It's hard to explain how it works, since I approached it from a mathematical direction, but for a domain and range defined with a set of correct input-output pairs, there are an infinite number of functions which correctly maps one input to its corresponding output. If we define f_1 as all functions which correctly map the first IO pair, f_2 as functions which correctly map the second IO pair... Etc etc until we reach f_N, then the set intersection of all f_1...f_N is the set off all functions which satisfy our requirements. From this set of known correct functions, we can sort them by speed or some other trait.

But the devil's in the details there. I won't go into how I get f_1...f_N, but I'm having fun thinking about it & designing it. It may even be useful some day.

on Belial · c/unix_surrealism · 8 pts · 70d

Someone's about to learn about the dark art of writing APL, and the ancient torture method of reading APL.

on Well that settles it · c/autism · 3 pts · 77d

The problem I have is that there is a loss of specificity, not that Asperger's and autism are fundamentally different. Autism used to be defined as the cluster of autism-like symptoms paired with a developmental problem with language. Asperger's was very similar, except that the impairment was with social interaction and non-verbal communication rather than linguistic aspects. Nowadays, while there is a lot of overlap, the difference is more like car vs truck rather than car vs SUV. You can classify a truck as a type of car, but you can't classify a car as a type of truck.

nutrek is "woke" in the most boring way possible. It doesn't attempt to challenge the viewer at all. It's all vague reassurances that go "Oh yes! Aren't you so very moral? People should have rights! Have a dog treat for being so smart!" You know what I wanna see? How about some postgenderism. Have a society in which binary and nonbinary are both REgressive.

What about an alien race that sees identity as a form of oppression? If identity is used as a way to gauge what someone is and is not allowed to do, is that system restrictive or freeing?

Come on, Star Trek! Give something I can sink my teeth into. I'm starving for something that questions me, that I can actually think about.