Borealid

13 ms·

181.
by Borealid 1y ago
No, I was talking about https://www.tomshardware.com/desktops/mini-pcs/ryzen-mini-pc... . I don't think it's discontinued.
182.
by Borealid 1y ago
There was a recent announcement of a mini PC that was itself built into a folding keyboard - no screen. That would be the ideal device for this lifestyle.
183.
by Borealid 1y ago
VR headsets are usually quite smart. For better or for worse - and I personally think it's very much for the better - many AR glasses are a DisplayPort monitor that you wear on your face. They have inertial sensors and speakers, but th
184.
by Borealid 2y ago
Every non-gaming-focused Linux distribution offers a checkbox for encryption during the OS install process. Many of the gaming-oriented ones like Bazzite do too. When checked it uses cryptsetup and the full disk is encrypted.
185.
by Borealid 2y ago
When a user visits a play.google.com URL Google wants to be able to show either an "install" or a "launch" button contingent on whether the app is already installed. In other words, blame Google product management.
186.
by Borealid 2y ago
In an episode of the TV series "Star Trek: the Next Generation", there's an episode where the main characters encounter an alien species whose speech seems to defy translation. Each time the lead fails to understand the chief
187.
by Borealid 2y ago
This is conceptually similar to Ship of Harkinian ( https://www.shipofharkinian.com/ ). If someone cares enough about a particular game to put this level of tailored work into it, wonderful. There is a down side, though: be
188.
by Borealid 2y ago
I believe there exist some subset of turing machines that can be proven to run forever. But providing an oracle for the halting problem - of which an upper bound is one form - makes the Busy Beaver Game computable. To get back to the origin
189.
by Borealid 2y ago
The Busy Beaver Game is not a single Busy Beaver, but the game where the objective is to locate the longest-running program with a given program size . What makes it non-computible is largely the fact that how long the program can run for
190.
by Borealid 2y ago
The Busy Beaver game is finite in space, but infinite in time. If you restrict the execution to a finite amount of runtime, it becomes computable. An immortal human might be able to produce incomputable reasoning, but I would say it's
191.
by Borealid 2y ago
> it's not at all obvious to me that the set of axioms would be finite or even computable The reasoning is representable with and by a finite number of elementary physical particles and so must itself be finite. Because it is finite
192.
by Borealid 2y ago
What matters isn't that an AI "make connections", it's that the AI generates some text that causes a human to make the connections. It doesn't even matter if what the AI generates is true or not, if it leads the hum
193.
by Borealid 2y ago
> in debt (that we also can't pay for) "Can't" here is not a statement of fact. First off, the US government can and is paying the interest on the debt. Second, the debt is denominated in US dollars. If congress were
194.
by Borealid 2y ago
A static NAT is all you'd need for ULA to public 1:1. If you have a static NAT you don't need connection tracking on the router.
195.
by Borealid 2y ago
The blu-rays contains m2ts files, which have the same video data in them as an mp4 container would (h264, usually, vc-1 sometimes). Remuxing them can be done a NUC-class CPU. Transcoding them requires hardware support to do in real time wit
196.
by Borealid 2y ago
Yes, what I've got is like a streaming service, but at much higher quality and with a selection that doesn't rotate out as rights lapse. The stuff that Jellyfin would provide - being able to watch from a device using just a web br
197.
by Borealid 2y ago
The reason I'd use Jellyfin is to stream things to a non-Kodi client (a web browser). If I have a Kodi client, I would just read the files as-is. I don't believe that mkv supports bd-j menus. Happy to be proven wrong on that if yo
198.
by Borealid 2y ago
Firsly, I have multiple tens of terabytes of movies (painful to duplicate), and I watch them with their original menus in Kodi. Secondly, a BDMV can't be turned into a single correct linear representation - for example, the Star Trek T
199.
by Borealid 2y ago
Jellyfin's strategy for streaming blu-ray disc folders is to use ffmpeg to concatenate (and usually transcode) them to disc, then stream the result. It doesn't work very well - frequently, the concatenation process is sitting ther
200.
by Borealid 2y ago
There's a great exploration of this concept in Permutation City, a science fiction novel by Greg Egan. In the book, a deterministic human brain is simulated (perfectly) in random-access order. This thought experiment addresses all thre
201.
by Borealid 2y ago
The listed features are: 1. runs on every platform (KNative runs natively on Linux, Mac, Windows, Android, iOS. It can also run under the JVM non-natively, and anywhere Javascript runs non-natively. The native code can build for a variety o
202.
by Borealid 2y ago
Kotlin Native has every one of those features.
203.
by Borealid 2y ago
I wouldn't want a kettle that wears out after only 3-10 years of use.
204.
by Borealid 2y ago
Well, it could still provide credBlob (up to 32 bytes of data stored in the non-discoverable credential and handed back after verification). But mostly yes, it's losing the advantages of FIDO2.
205.
by Borealid 2y ago
Yes, to set a PIN protecting the non-discoverable credentials. The FIDO PIN can be changed while you have access to the authenticator and not to the credentials it previously created.
206.
by Borealid 2y ago
It's quite the opposite. Converting to words like yours, the argument is "could a powerful but not omnipotent god make themself more powerful", and the answer is "probably". If the god cannot grant themself powers t
207.
by Borealid 2y ago
If an LLM can solve a riddle of arbitrary complexity that is not similar to an already-solved riddle, have the LLM solve the riddle "how can this trained machine-learning model be adjusted to improve its riddle-solving abilities withou
208.
by Borealid 2y ago
English has ambiguous logical grouping. Two of the many parses of the relevant clauses are: A) (artificial intelligence or generative artificial intelligence) (technology or intellectual property) B) (artificial intelligence) or (generative
209.
by Borealid 2y ago
Over the type-C port they receive video, receive audio, receive power (<5W), transmit sensor data (accelerometers, orientation, etc), and receive commands such as switching to a 3-D display mode. They're pretty great and I think the
210.
by Borealid 2y ago
I don't believe gaben is the head of EA.

More ›