layer8

5 ms·

61.
by layer8 18d ago
> we urgently need to come up with good ways of explaining the value of having a large pool of human mathematical experts, even if it is no longer part of their role to find new proofs of theorems. This is the main issue, and while I ful
62.
by layer8 18d ago
I’d say the deciding factor is that it has bugs where both fixing and not fixing them can have a negative impact. If there were no known bugs and there was no harm in using it, I’d probably just leave it there and not disturb anything, give
63.
by layer8 18d ago
It reduces n items to one item, recursively. The items don’t have to have the same type. Arguably accumulate is a more fitting name. I think of “reduce” as in cooking, boiling a volume of stuff down to some essence. I also agree that a
64.
by layer8 18d ago
Physics/cosmology-related HN submissions tend to have poor comment quality, so this being upvoted to the front page isn’t too surprising, unfortunately.
65.
by layer8 18d ago
Sounds like you are the second type of people mentioned in the article.
66.
by layer8 18d ago
Developers are making a lot of important decisions in detail that the product manager has little understanding of, and these often lie exactly in the disparity between natural and formal language. What the product manager writes isn’t a ful
67.
by layer8 18d ago
The second screenshot with “1 3 Next” seems pretty hard to justify. Taking care that such incongruent representations can’t happen even in the face of inconsistent backend caches is part of proper UI state management.
68.
Federal Reserve issues FOMC statement(federalreserve.gov)
3 points by layer8 18d ago|1 comments
69.
by layer8 18d ago
In any case, it should be a formal language, and we haven’t finished exploring that space. I don’t expect that we will have anytime soon.
70.
by layer8 18d ago
When you want to change the resulting program (“formal logic”), you generally don’t change the prompt and regenerate everything (like you would do with source code). Instead, you provide new natural-language instructions to have the LLM per
71.
by layer8 18d ago
Submitters can rectify the title after submitting.
72.
by layer8 19d ago
That’s a great idea, and would be a much better feature than the unimaginative things Mozilla has been implementing. It’s so disappointing.
73.
by layer8 19d ago
It’s been going on since 2016, which by the end of the current term will already be roughly half a generation. And what has been destroyed in the first half of this term alone will take longer than that to rebuild. While there are troubling
74.
by layer8 19d ago
It means shared values and a willingness to hold long-term commitments.
75.
by layer8 19d ago
US governance has become so unreliable, destructive and inane, with little prospect of reverting back to what is once was, given the US’ internal political and societal landscape, that being under its “wings” now constitutes a major risk fo
76.
by layer8 19d ago
It’s meant in the sense similar to “omae wa mou shindeiru” (“you’re already dead”), i.e. that defeat has already become unavoidable.
77.
by layer8 19d ago
In lower case you’d flip from d to q (or to b).
78.
by layer8 19d ago
> it's also not possible to determine if a pair of images came from the same device. It’s possible for Apple, as stated in the blog post (e.g. “which lets the device later produce signatures that Apple can attribute to that specific
79.
by layer8 19d ago
The one issue I have it that it lets Apple determine if two reference images were taken by he same defice. In particular if one of the images is of an ID, or otherwise contains identifying information, that is a privacy downside, and author
80.
by layer8 19d ago
https://archive.ph/eMe1U
81.
Operation Epic Fury [pdf](media.defense.gov)
3 points by layer8 19d ago|0 comments
82.
by layer8 19d ago
I would assume that the photo includes the page number.
83.
by layer8 19d ago
I found that Japanese book sales cards [0] work very reliably as bookmarks and don’t fall out. One can easily make them oneself out of thin, preferably non-smooth (friction-y) paper, by folding a strip in two and cutting out a lip for easie
84.
by layer8 19d ago
I just get rid of most books after reading, knowing that I won’t reread the great majority of them or need them as a reference. For the few that I might unexpectedly end up wanting to reread, it’s okay if I’ll have to reprocure them. That c
85.
by layer8 19d ago
From what I see, most software being created in these spaces isn’t made by startups.
86.
by layer8 19d ago
> I can make a pretty accurate guess each morning based on how I feel. So you don’t actually need the ring? :) This is actually a serious question: I would want to use a smart ring for the things I can’t tell by myself. But then I also c
87.
by layer8 19d ago
I submit Jean-Paul Gaultier for your consideration.
88.
by layer8 20d ago
Yes, the keyboard is pretty bad in various ways. I’m still surprised how many comments in this thread (and similar threads in the past) are mentioning the autocorrection, implying that they haven’t turned it off.
89.
by layer8 20d ago
Don’t project your parents on every Windows user. :)
90.
by layer8 20d ago
It has always worked for me when I needed it.

More ›