Almondsetat

6 ms·

1.
by Almondsetat 5d ago
"google.com/goto considered harmful"
2.
by Almondsetat 6d ago
Probably something about integrating access control to a repository so a deparment has the source for a certain library, while the others only see the header files and compiled objects to use?
3.
by Almondsetat 6d ago
I have found these models to be useful either at super specific tasks (e.g., "take this function or algorith?m and find any black magic to make ot faster + validate and verify the hell oit of it"), or give it an entire thing to on
4.
by Almondsetat 6d ago
There are also plenty of things a compiler might not expose that end up being ambiguous. For example, C++ doesn't officially have a restrict keyword, so how can you express the fact that two memory regions never operlap and can be opti
5.
by Almondsetat 7d ago
>For the past year, Buckmaster and Alpöge had been using a variety of AI tools, including OpenAI’s Codex, to tackle the Navier-Stokes problem. Last month, their AIs had at long last found a solution to the Euler equations and verified it
6.
by Almondsetat 8d ago
Any torrents to keep it alive?
7.
Nanobench: A simple and fast single-header microbenchmarking library for C++(nanobench.ankerl.com)
2 points by Almondsetat 9d ago|0 comments
8.
by Almondsetat 10d ago
The surface of bugs in Lean is infinitely smaller than the human error involeved in a committee of peer reviewers. It's way more probable to say "it's proven because Lean says so" than "it's proven because a co
9.
by Almondsetat 12d ago
and you are entitled to talk about maths while rejecting maths
10.
by Almondsetat 12d ago
A quick google search shows different proof assistants have been used to obtain the Peano axioms from ZFC, such as Isabelle/ZF and Metamath. I think you're just wrong
11.
by Almondsetat 12d ago
why should they be obvious? they are derived and have been thoroughly proven.
12.
by Almondsetat 12d ago
Godel proved that any system expressive enough to produce an arithmetic is incomplete. He initially proved it for the peano axioms but then it got generalized. ZFC can produce an arithmetic. Also, before being arrogant and demanding explana
13.
by Almondsetat 12d ago
If you start with "I'm not a strong expert" maybe you should stop continuing saying wrong stuff. What you just wrote is completely wrong.
14.
by Almondsetat 13d ago
Which quantization?
15.
by Almondsetat 14d ago
Since you made no effort to point out the supposed oxymoron: no.
16.
by Almondsetat 15d ago
I don't understand the point of your question. The "problem" of an ex-employee consciously or subconsciously bringing his learned experiences at your company to a competitor is literally the reason why non-competes exist. In
17.
by Almondsetat 16d ago
I swear I see this exact kind of project every year under a new name
18.
by Almondsetat 16d ago
>Suppose your function doodle_widget is supposed to take a Gonzo Widget, but you're worried somebody might call it with a Non-Gonzo Widget and that can't work. Can't you just use concepts?
19.
by Almondsetat 16d ago
Because most AI generated websites are from people who don't know much and as such cannot even articulate the look they want
20.
by Almondsetat 16d ago
As would be running critical software certified for Windows on ReactOS as envisioned by GP. So, either we talk about an enterprise setting, in which GP already fucked up, or a more personal setting, in which both whaat GP and I said are rea
21.
by Almondsetat 16d ago
You completely stripped what I said from its context. GP explicitely said they donate to ReactOS in the hopes of one day being able to run that industrial software on it instead of on Windows. In this context, running the software on ReactO
22.
by Almondsetat 16d ago
Reverse engineering is protected under certain conditions, even if the EULA prohibits it
23.
by Almondsetat 16d ago
Why not spend some money on an uncensored LLM to reverse engineer or create an open clean room reimplementation?
24.
by Almondsetat 16d ago
Is this a bot reply?
25.
by Almondsetat 16d ago
Since the announcement is, frustratingly, low on details, did they implement the usual hue vs hue, hue vs sat, etc. controls? I don't do much color grading but my line of work requires using multiple cameras, thus I enjoy using a color
26.
by Almondsetat 17d ago
Who said openclaw cannot install radarr and operate it?
27.
by Almondsetat 17d ago
"hey computer, i want to watch a movie on my jellyfin server tonight, get it done" and openclaw autonomously finds the torrent, downloads it, moves it to the NAS, and you sit down at the end of the day with everhything set up
28.
by Almondsetat 17d ago
P2P communication is also a feature, which an entire class of applications would love to make use of. Instead, we need to spawn (and PAY for) TURN and STUN servers
29.
by Almondsetat 17d ago
Thank you for creating an account just for making stuff up nobody has said or even hinted at
30.
by Almondsetat 17d ago
You are making many assumptions. First of all, he is doing the deep dives by researching all those articles, and of course the resulting presentation will be very superficial. The point is exactly to publish a book to allow the reader to

More ›