janekm

23 ms·

211.
by janekm 6y ago
A seemingly obvious approach would be to try to get GPT-X to generate candidate proofs and then get a tool like Lean to validate them. Which presumably doesn't work or else I suppose the article would have been about that...
212.
by janekm 6y ago
I also expected the same arguments to prevail for TikTok though. It feels hard to argue that TikTok is somehow not a first amendment platform? The fact that political organising occurred on the platform should be case closed...
213.
by janekm 6y ago
I believe this is the study you are referring too: https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7456194/ Massive effect size which somewhat compensates for the small N in this seemingly well-designed study.
214.
by janekm 6y ago
I would argue if you're using QFNs or BGAs you should be designing in metric anyway as that's the native unit for those.
215.
by janekm 6y ago
A2:B10 (including the results for Intersteller{sic}) are the prompts, it's very confusing in the video. The results for "The Irishman" are from GPT-3.
216.
by janekm 6y ago
I once had the idea for a global event queue, to enable new types of application interaction. Then twitter came out and I thought "oh well, that basically does what I was thinking of". Didn't quite turn out that way when they
217.
by janekm 6y ago
But presumably also the common use of big torches for materials like torch-on-felt?
218.
by janekm 6y ago
I don't believe you are correct. In the US corporations enjoy "Corporate Personhood", e.g. the corporation itself enjoys many of the same rights as a US person: https://en.wikipedia.org/wiki/Corporate_per
219.
by janekm 6y ago
Not just same board... the RAM is literally stacked right on top of the SoC. It’ll be interesting to see what Apple will do on desktop... maybe some stacked RAM plus more on the board? Having full control over memory / bus architecture
220.
by janekm 6y ago
The PCB isn't really needed. It's just the ESP32 module and servo driver board (the one you can buy from Adafruit) combined on one PCB, the instructions show how to wire those up separately (I stared at the PCB for a few minutes t
221.
by janekm 6y ago
In theory, you could fingerprint the host OS first and then run the appropriate commands (of course more tricky with more custom Linux setups, does CTRL+ALT+Fn still work to get to a text console?): https://www.cise.ufl.edu/
222.
by janekm 6y ago
The telescoping arm is cute, and provides benefits for reaching into constrained spaces like a washing machine, but in the first clones it would likely be replaced with the standard "cylindrical" (e.g. industrial robot style) arm.
223.
by janekm 6y ago
I’m going to guess that the real AAA card would have your actual name on it.
224.
by janekm 6y ago
The DS18B20 clones are very popularly assembled into a waterproofed probe with a cable and metal cap. It's a very useful item which as far as I know is difficult to obtain from one of the official distributors (and would cost significa
225.
by janekm 6y ago
It's my go-to part for this purpose also (and I don't believe I've encountered any clones so far, knock on wood). Another part I've used in a high-volume application is the Holtek HT42B534 which is great because it'
226.
by janekm 6y ago
My first reaction was that it could be a recruitment drive of sorts to help build up their hardware team. Apple have been really smart in the last decade in buying up really good chip development teams and that is experience that is really
227.
by janekm 6y ago
Well... I have an iPhone7 with an unreliable worn-out Lightning port sitting next to me, so I can kind of see the value in having the cable wear out rather than the socket in the phone...
228.
by janekm 6y ago
There are 30 candidate vaccines (probably a lot more by now). 32 if you include the two that are non-weakened forms of virus that are being proposed for variolation.
229.
by janekm 6y ago
The reason a vaccine is months or years away is only because we are testing whether it is safe enough to give to billions of people. The reason we do that is because a virus can cause disease both directly but also in unexpected ways (e.g.
230.
by janekm 6y ago
Sounds pretty similar to the concept of “software agents” which was popular in the mid ‘90s: http://www.cs.ox.ac.uk/people/michael.wooldridge/pubs/iee-re... Part of the concept was that the agents would actua
231.
by janekm 6y ago
I'm surprised you don't remember the Rabbit of Paris Metro: https://en.wikipedia.org/wiki/Rabbit_of_Paris_Métro (maybe they changed it?)
232.
by janekm 6y ago
1. Apparently China can now make the balls for ballpoint pens (a metallurgical milestone, supposedly?): https://www.businessinsider.com/china-has-finally-figured-ou... 2. Fab process tech is pretty firmly in Dutch/Swis
233.
by janekm 6y ago
3. a lot of the messaging is kid-inclusive (e.g. warnings about getting your hands crushed in subway doors)? At least in Hong Kong and Japan you will see a lot of kids using public transport independently, can't remember about Singapor
234.
by janekm 6y ago
It needs a large enough network of users. There are rumours that Apple will come out with similar beacons, and the Covid-tracking API means iOS will already be scanning in the background for users that enable that, so there may be some hope
235.
by janekm 6y ago
That's it exactly. Looking through the website of Ingka group they are all malls with an IKEA as the anchor store. Which makes perfect sense for IKEA group... In a normal mall the anchor store gets the best lease deals, so may as well
236.
by janekm 6y ago
How about something more clear like: "Ikea to open shopping malls in the U.S." The details can be in the opening paragraph...
237.
by janekm 6y ago
We're not talking about the folks in bunny suits here, obviously.
238.
by janekm 6y ago
Getting a custom VFD made would be a very expensive process indeed. If you need a very small number of segments then Dalibor Farny can make a custom Nixie tube, which is similar technology: https://www.youtube.com/watch?v=1n
239.
by janekm 6y ago
I've been giving this some more thought and I think in many ways the photos from modern smartphones are more similar to paintings than what we are used to from photography. They try to create a visual representation of what our visual
240.
by janekm 6y ago
I think you have somewhat unrealistic expectations of what even a decent photographer could achieve with a graduated neutral density filter (not to mention tilt/shift lenses... maybe 0.1% of even professional photographers use those).

More ›