Levitating

> (obviously in the real world, there would be terms and conditions, but it's an interesting way to talk to clients about definitions in their data)

Not necessarily, you can't apply terms and conditions to a sign. But original intent does matter, you can reason over why the shop owners put the sign there in the first place. Which is likely to allow their customers to park while making a purchase.

> "is it a vehicle?" and "is it in the park?"

I don't think these are trivial questions at all. There's no sound definition of a vehicle.

If your definition depends on transporting humans than a wagon or even self-driving truck is not a vehicle. If your definition depends on transporting goods in a self-propelled manner than humans are vehicles.

> Same thing about the WW2 tank that's not working. A vehicle that doesn't work is still a vehicle.

That completely depends on your definition of a vehicle. According to your definition an object that once met the conditions to be a vehicle will always be a vehicle. You can apply Theseus's ship to the WW2 tank replacing it's parts and then at what point does it seize to be a vehicle?

If your definition on vehicle depends on transporting humans than a wagon seizes to be a vehicle. If your definition depends on transporting objects in a self-propelled way than humans become vehicles.

> This felt very easy.

There's no right or wrong answers, so can it really be easy?

> We're going to need sites where 100% of contributed content is human-written.

I don't think the boundary should live at human-written or AI-written, it should just be factual.

This weekend I was playing Stalker 2 and got frustrated that the trader prices in the game seem nonsensical. I spent a lot of time trying to research the mechanic but most guides and some wikis are outright wrong. They either buy into the games marketing or just assume mechanics work as expected.

So what I did was I let Claude read through my game files. 5 minutes later I ended up with a document that very concretely explains all the factors that influence trader prices with references to the game scripts to back it up.

My point is that having AI write game wikis is fine, as long as the information is verifiably correct.

NetBSD isn't the first to use the name. My pet text editor is also called atto: https://git.levitati.ng/Levitating/atto

Yet the chemistry nobel prize of 2024 went to researchers at Google Deepmind.

I have hard time accepting this is a real image. Do pollen really look like that?!

I found this blog while making a map of the inner solar system for my wall. The dataset and code from this post proved really valuable: https://tabletopwhale.com/2019/06/10/the-solar-system.html

Thanks for whoever at HN re-submitted this submission (I think that's what happened?).

Huh this kind of resonates with me. In high school I used to be chronically tired and would sleep any chance I got. Doctor really didn't know what to do with it. As a student I have little time constraints and my sleep schedule just drifts all over the place, I woke up at 4am today.

Perfectly aligned.

> There’s no way this will ever directly make back the salaries and time spent on it so far.

It does if it keeps their valuation in the trillions.

In my limited experience with OCaml, Opus has problems using the paradigm correctly. For instance it sometimes avoids recursion when it obviously fits.

It gets it right after a few attempts.

I used it for a long time but the configuration of nginx just allows for more stuff.

I have my own configuration template for nginx: https://git.levitati.ng/Levitating/nginx.conf

Ease of configuration, I think? I don't remember my gripes with fcgiwrap exactly.

I have used it and I've even made PR for it which led to a response from the lighttpd maintainer: https://github.com/gnosek/fcgiwrap/pull/62

Essentially I wanted fgciwrap to be able to accept arbitrary response bodies without headers, so I could use it with programs that weren't actually made for cgi. Lighttpd supports this but apparently that's an happy accident.

CGI is great. Sadly nginx doesn't support it natively as opposed to lighttpd.

I like this project for adding CGI to nginx: https://github.com/pjincz/nginx-cgi

There's also methods of starting Rack applications directly form nginx via passenger[1]. Rack is the CGI like interface for ruby webapps: https://github.com/rack/rack It easily allows for writing applications and middleware with a few lines of ruby.

[1]: https://www.phusionpassenger.com/documentation/Users%20guide...

Projectors aren't cheap though? Especially if you want to use them in a lit room.

No, just pick your technology better. My LineageOS phone and framework laptop do nothing of the sort.

This is good advice but a simpler solution is to just not buy these things? Coffee machines don't need internet. Your thermostat doesn't either.

> fm is just a refinement of the md format

If we're talking about the 3 dashes surrounding a yaml doc at the top of the markdown file, I don't think that's a refinement at all? It breaks the markdown spec as far as I'm aware.

I can't really think of a scenario where that would be useful? File-size is more indicative of quality anyway.

Multiple extensions typically denote nested filetypes.

Like files.tar.xz may be decompressed with xz and then extracted with tar to get the directory "files".

I think in your case .md.fm would be a greater fit, as the front matter is read first. Or just .fmd

I was under the impression David just had some strong opinions on dbus.

I think knees also just wear out.

Small text.

BIG TEXT.

COLORED BIG TEXT.

Medium-sized text.

Coloured download button.

I've tried such devices for ~40 euro but found the quality lacking

Has always been the case.

Website has all the hallmarks of AI slop.

Do you want to bet on that prediction

ChatGPT is a private paid service. Don't you think it's good that your government provides this independently and for free?