Discussion
Ein Kino. Vor dem Film läuft Werbung. Ein Mann paddelt durch die Natur. Einblendung: "Mach Dir eine schöne Zeit". Es folgt noch mehr Natur, beschauliche Städte, Vögel, Paddeln. Zum Abschluss: "Echt schön. Sachsen-Anhalt."
Eine Mischung aus ungläubigem Lachen, Schnauben und lautem Ausatmen geht durch den Saal.
Es folgt der Film "Vaterland", worin Thomas Mann kurz nach Kriegsende Deutschland besucht.
in order to make use of this definition, we need to have definitions for each of the parts on the RHS of the equation
`inOrder` is one such thing on the RHS there, and defining it is an interesting little puzzle
here is a correct definition:
inOrder [] = True
inOrder (x :: zs) = True
inOrder (x :: y :: zs) = x <= y && inOrder (y :: zs)
@nuintari admittedly, I will always opt for a really good camera in a phone. And I think some of the cheaper models fall short in this regard.
@randahl I bought a really good camera for my photography needs.
My cheapie Moto phone camera is good enough, actually pretty decent for basic point and shoot work, but for serious photography, I reach for the DSLR. It has the benefit of not being managed by Google or Apple. I actually use a stupid simple Bourne shell script to manage my DSLR photos.
@ai6yr Is the Burning Man medical facility an homage to "Emergency!"?
@mattblaze Gage! DeSoto! Stat!
so, one of the classic ways of specifying a sorting algorithm in the functional program synthesis/derivation literature is more or less as follows:
sort xs = head (filter inOrder (permutations xs))
in order to make use of this definition, we need to have definitions for each of the parts on the RHS of the equation
`inOrder` is one such thing on the RHS there, and defining it is an interesting little puzzle
Yeah. You could say I’m a rebel.
My family enjoys a fairly reliable municipal water supply, but I would like to be more resilient in this area. Buying pallets of plastic bottles sounds awful. Does anyone have experience or insight around the installation of a (continually flushed, inline) tank for potable water?
Almost everyone in the USA has experience with that. It's called a "water heater." Works good.
Most of all, I hate all the pseudo-scientific retcons about the Force.
There are other things which were cringey (Jar-Jar, Jar-Jar's accent, trying to make "wizard" happen), but eh.
Oh, also, it occurrs to me that you probably watched the "special edition" version of the original trilogy, which goes back and puts a bunch of stupid stuff in those. (That is a whole different rant, though. Let's just keep it to: Han shot first. Jabba is an off-screen menace in the first movie. And Lando is in real danger in Cloud City.)
@leeloo yes, the 2TB version is with 2TB storage. Not memory.
@GhostOnTheHalfShell
On board ram numbers. The way prices for SSD and RAM are going people are gonna get creative.
@realn2s sorry, could have been clearer: Modus Operandi
incoming thread about program synthesis!
specifically, about how feasible it is to start from a fairly intuitive description of a problem (sorting) in natural language and transform that into a mathematical statement, similar to how we do word problems in mathematics or physics
so, one of the classic ways of specifying a sorting algorithm in the functional program synthesis/derivation literature is more or less as follows:
sort xs = head (filter inOrder (permutations xs))
@evan
It's the fact that people are still designing both the hardware and the software, and we still don't correctly know HOW the human brain even works in the first place.
@draken thanks, that's a really interesting hypothesis.
@bignose why are you confident in that? LLMs are great at a lot of things that computers haven't done well previously.
Sorry, the app encountered an unexpected error
Install bonfire.cafe
Get the full app experience
