Would you get on a plane knowing its systems weren't code reviewed by humans?
310 karma · joined March 25, 2015
Would you get on a plane knowing its systems weren't code reviewed by humans?
I would split out read & write concurrency. With SQLite's WAL mode it supports many readers and one writer. Lobste.rs is a read heavy site so I think SQLite was a good call, especially since now that production is running on SQLite, the proof is in production. If the site was heavy on writes, I would agree with you.
As to why not postgresql or another database, SQLite was as simple as you could get on one box. It is simply a library call rather than a separate process that lives outside of your web application. https://lobste.rs/s/ko1ji1/lobste_rs_is_now_running_on_sqlit...
There's actually a built in if to sqlite: https://sqlite.org/lang_corefunc.html#iif
The only reason why I built it as a UDF was because I originally didn't find an if function. Though I'm not sure how I accomplished that thinking back :)
I switched from Windows 10 to Debian a year ago (didn't even bother with windows 11 with how much anti-consumer features it had).
Everything works for me on Debian, with the additional bonus that my operating system is no longer spying on me.
https://www.nasa.gov/humans-in-space/artemis/
tldr: for science and a stepping stone towards a crewed mission to Mars
Godwin's law...
> it cannot be taken for what it is. It does not matter what we feel, what we want to feel, we can enjoy it for a second and then swallow it down and not write an article like that.
As an American, I felt extremely proud seeing 4 astronauts (3 Americans, 1 Canadian) come back after 10 days in space and the amount of coordination it takes, regardless of politics.
$ ping6 github.com
ping6: github.com: Address family for hostname not supportedNew in 2.14:
* libgcrypt 1.11.
* LVM LV integrity and cachevol support.
* EROFS support.
* GRUB environment block inside the Btrfs header support.
* NX support for EFI platforms.
* shim loader protocol support.
* BLS and UKI support.
* Argon2 KDF support.
* TPM2 key protector support.
* Appended Signature Secure Boot Support for PowerPC.
* New option to block command line interface.
* Support dates outside of 1901..2038 range.
* zstdio decompression support.
* EFI code improvements and fixes.
* TPM driver fixes.
* Filesystems fixes.
* CVE and Coverity fixes.
* Tests improvements.
* Documentation improvements.
* ... and tons of other fixes and cleanups...The only thing I see are some docs and a binary, no source.
Link to source code: https://computerhistory.org/blogs/photoshop-software-license...
I don't think he should stop, because I think he's right. We lack a definition of intelligence that doesn't do a lot of hand waving.
You linked to a paper with 18 collective definitions, 35 psychologist definitions, and 18 ai researcher definitions of intelligence. And the conclusion of the paper was that they came up with their own definition of intelligence. That is not a definition in my book.
> second a definition is obviously not a prerequisite as evidenced by natural selection
right, we just need a universe, several billions of years and sprinkle some evolution and we'll also get intelligence, maybe.
Since you provided a source for your numbers, I'll bite. Formalize results into mechanical proofs that can be verified by computers so that we build a library of computer proofs. You can't bullshit a computer.
I'm not sure how it would work for statistical results, but defining a formalized standard might be a good first step for deriving numbers from raw data instead of relying on the authors to calculate the statistics themselves.
Would highly recommend the tutorial as it is really well done.