S.R. Weaver ☑️'s Avatar

S.R. Weaver ☑️

@lwflouisa.bsky.social

You can find me over at my Mastodon Instances. I develop probabilistic reasoning RPGs focused on language acquisition. Also DSLs for Quantissertion.

557 Followers  |  916 Following  |  32,209 Posts  |  Joined: 16.11.2024  |  1.6821

Latest posts by lwflouisa.bsky.social on Bluesky

Much better. So what exactly is wrong with wikipedia?

07.12.2025 00:43 — 👍 0    🔁 0    💬 0    📌 0

Wikipedia examples dont give me a great first impression.

07.12.2025 00:41 — 👍 0    🔁 0    💬 0    📌 0

Ah answer set might be able to help with random search optimizers I make.

07.12.2025 00:37 — 👍 0    🔁 0    💬 0    📌 0

Yes there are tungues where there isnt a distinction between me and I. But I wont go quite that far.

07.12.2025 00:27 — 👍 0    🔁 0    💬 0    📌 0

The challenge isnt logic programming but making one thats useable in OSV word order.

07.12.2025 00:26 — 👍 0    🔁 0    💬 0    📌 0

Oh man the naming conventions of tech people: Anduril and Pottasco.

Granted psychiatric programming might offer anti depressants.

07.12.2025 00:23 — 👍 0    🔁 0    💬 0    📌 0

Mostly Im wanting to know who Id be competing with if I make my own logic programming language for AI.

07.12.2025 00:21 — 👍 0    🔁 0    💬 0    📌 0

Wow Answer Set Programming seems like a breath of fresh air compared to Ruby.

07.12.2025 00:20 — 👍 0    🔁 0    💬 0    📌 0

Excuse me, paying for a programming language? Might as well fork over cash to speak English.

07.12.2025 00:08 — 👍 0    🔁 0    💬 0    📌 0

Im asking that as in my particular use case I frequently use a French prefix and Japanese suffix, and the negation rule determined by the origin of the prefix.

But Quantiassert is one exception.

06.12.2025 23:33 — 👍 0    🔁 0    💬 0    📌 0

Like asking a chatbot why French only has assert, and what you get is a tirade about logic and how you cant prove a negative.

In any other context that would be considered an evasion, but Im not convinced LLMs have the capacity to know what that means.

06.12.2025 23:30 — 👍 0    🔁 0    💬 0    📌 0

In the civilian use case, not national defence.

In Natsec that I understand.

06.12.2025 23:27 — 👍 1    🔁 0    💬 0    📌 0

That or theyre a propagandist.

06.12.2025 23:25 — 👍 1    🔁 0    💬 0    📌 0

In fairness we have humans who wont answer things theyre asked and is more of a personality defect than about quantifiable intellect.

06.12.2025 23:24 — 👍 1    🔁 0    💬 0    📌 0

Je affirm un negatif cette cette article es merde.

06.12.2025 23:10 — 👍 0    🔁 0    💬 0    📌 0

Thank you random article for confirming an issue I wasnt even asking about.

In wanting to know how you would assert in other contexts in Francais. I couldnt care less if Santa or Unicorns exist.

06.12.2025 23:08 — 👍 0    🔁 0    💬 0    📌 0

To make it confusing English has both assertion and affirmation, while it seems Francais just has affirm.

06.12.2025 23:02 — 👍 0    🔁 0    💬 0    📌 0

Bare in mind I was a writer first before a tech person.

06.12.2025 22:58 — 👍 0    🔁 0    💬 0    📌 0

Japan is deploying missles to Taiwan? Why are they assisting China again?

Ah you mean ship missles to Taiwan.

06.12.2025 22:55 — 👍 0    🔁 0    💬 0    📌 0

Yes if I sound opinionated its because doll making is a different thing from defence spending.

Doll in this case is meant literally. Even if flies around like a drone.

06.12.2025 22:52 — 👍 0    🔁 0    💬 0    📌 0

Also there is a reason you dont see supersonic stealth planes that often.

Zipping around is kind of mutually exclusive from sneaking.

06.12.2025 22:48 — 👍 0    🔁 0    💬 0    📌 0

Im more interested in hover aircraft and figuring out a way to track jet lag and mitigate, which could benefit way more than people that can afford a supersonic liner.

06.12.2025 22:44 — 👍 0    🔁 0    💬 0    📌 0

Also what a difference, first they were saying no sonic boom then they said just a bump.

Rather than worrying about multiday trips and feeding passengers.

You know. Like cruise liners.

06.12.2025 22:43 — 👍 0    🔁 0    💬 0    📌 0

You know in most contexts the entire point of aircraft is transportation of people, to other countries and continents.

You going to try to replace passengers as well? After all you wont have to feed them.

06.12.2025 22:40 — 👍 0    🔁 0    💬 0    📌 0

Id rather people tell me they wanted to work with me or teach how to manage teams than passive aggressive shit like telling people they need more than one person.

06.12.2025 22:36 — 👍 0    🔁 0    💬 0    📌 0

Even if Hypercore came out with a fully free version its a band aid solution, and not relevant to teams of one person.

06.12.2025 22:33 — 👍 0    🔁 0    💬 0    📌 0

Also not scaleable? Big whoop if I cant afford Hypercore. Not everyone is a multiperson team.

06.12.2025 22:28 — 👍 0    🔁 0    💬 0    📌 0

I agree with the future of AI society guy about statements.

I may end up calling these Quantisserts, which blends logical assertion with continuous probabilistic evaluation.

06.12.2025 21:24 — 👍 1    🔁 0    💬 1    📌 0

Now building in quantissert into my dsl.

06.12.2025 21:22 — 👍 0    🔁 0    💬 0    📌 0

Outside of shit tier debate bro channels.

06.12.2025 21:20 — 👍 0    🔁 0    💬 0    📌 0

@lwflouisa is following 17 prominent accounts