It indeed is, they’re actually good

I guess it could be some language with a totality checker where the total keyword goes between the type and the name? Idris has a total keyword but it comes before

I’m curious: is there any operating system where a program can somehow inherently trust it via some form of verification?

How else am I meant to make the cheese stick?

holy shit it’s the reformmobile

Read this in Wheatley’s voice

It actually is,

enterology (English) -> entero- (Latin prefix) -> ἔντερον (Greek) -> h₁énteros (PIE) -> intrō (Latin) -> enter (English)

You could say… I’m some king of gaster…

I got concerned here before I realised it was referring to the animal (“bird” here is a misogynistic term for woman)

Who asked about America

I’ve heard ICE is closer to the SA than ths Gestapo, since the Gestapo was mostly intelligence while SA was brute force

Haskell also tends to have really small main functions, since the functional paradigm encourages splitting it up

The “intransitive” verb form is still transitive, just expressed in the passive voice

“Fuck” can be used as an intransitive verb though: “John fucks”

Sometimes, when i fall asleep while doing something, i wake up dazed, confused and without any idea of how long I’ve slept or what i was doing

I have to reconstruct a timeline of the day based off clocks and memories

Is that what anaesthesia is like

mać

Here it’s like one or two weeks of snow and then rainy depression

Oh yeah and storms

I actually have a usecase for virtual keyboards - being able to easily change the layout on-the-fly (which is obviously impossible with a physical one)

My thoughts depend on what I’m thinking about

If I’m talking/writing in English I’m obviously thinking in English

Same with Polish

However, I tend to think of programming and computing stuff in English and maths stuff in Polish

It’s time for a nushell

Yeah there’s a weird assumption that everyone is American here

I think it got brought over from Reddit it sucks