Almondsetat

3 ms·

1.
by Almondsetat 2mo ago
I have a chinese IP camera. From superficial research I know it has some CVEs to take control of it. Unfortunately, I don't have the technical knowledge to perform an attack and run some software to extend the camera's functiona
2.
by Almondsetat 2mo ago
Other than charity and donations, the only two ways of getting paid for developing FOSS are: 1) support contracts and 2) crowdfunding the next release. Digital goods live in a post-scarsity situation. Applying the same business model as rea
3.
by Almondsetat 2mo ago
Ok, you found a bigger mountain, now what?
4.
by Almondsetat 2mo ago
Is the ?4th a date?
5.
by Almondsetat 2mo ago
Solving a theorem is like climbing a new mountain. The mountain is already there, and there is a list of the hardest known mountains to climb. The point of climbing them and not just dropping with a plane on top of the peak is to help devel
6.
by Almondsetat 2mo ago
Go and Rust have much worse tooling for enterprise-level collaboration
7.
by Almondsetat 2mo ago
"google.com/goto considered harmful"
8.
by Almondsetat 2mo 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?
9.
by Almondsetat 2mo 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
10.
by Almondsetat 2mo 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
11.
by Almondsetat 2mo 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
12.
by Almondsetat 2mo ago
Any torrents to keep it alive?
13.
Nanobench: A simple and fast single-header microbenchmarking library for C++(nanobench.ankerl.com)
2 points by Almondsetat 2mo ago|0 comments
14.
by Almondsetat 2mo 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
15.
by Almondsetat 2mo ago
and you are entitled to talk about maths while rejecting maths
16.
by Almondsetat 2mo 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
17.
by Almondsetat 2mo ago
why should they be obvious? they are derived and have been thoroughly proven.
18.
by Almondsetat 2mo 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
19.
by Almondsetat 2mo 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.
20.
by Almondsetat 2mo ago
Which quantization?
21.
by Almondsetat 2mo ago
Since you made no effort to point out the supposed oxymoron: no.
22.
by Almondsetat 2mo 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
23.
by Almondsetat 2mo ago
I swear I see this exact kind of project every year under a new name
24.
by Almondsetat 2mo 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?
25.
by Almondsetat 2mo ago
Because most AI generated websites are from people who don't know much and as such cannot even articulate the look they want
26.
by Almondsetat 2mo 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
27.
by Almondsetat 2mo 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
28.
by Almondsetat 2mo ago
Reverse engineering is protected under certain conditions, even if the EULA prohibits it
29.
by Almondsetat 2mo ago
Why not spend some money on an uncensored LLM to reverse engineer or create an open clean room reimplementation?
30.
by Almondsetat 2mo ago
Is this a bot reply?

More ›