Almondsetat

4 ms·

1.
by Almondsetat 5d 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 6d 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 7d ago
Ok, you found a bigger mountain, now what?
4.
by Almondsetat 7d ago
Is the ?4th a date?
5.
by Almondsetat 9d 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 11d ago
Go and Rust have much worse tooling for enterprise-level collaboration
7.
by Almondsetat 14d ago
"google.com/goto considered harmful"
8.
by Almondsetat 15d 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 15d 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 15d 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 17d 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 18d 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 19d ago|0 comments
14.
by Almondsetat 20d 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 22d ago
and you are entitled to talk about maths while rejecting maths
16.
by Almondsetat 22d 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 22d ago
why should they be obvious? they are derived and have been thoroughly proven.
18.
by Almondsetat 22d 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 22d 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 23d ago
Which quantization?
21.
by Almondsetat 24d ago
Since you made no effort to point out the supposed oxymoron: no.
22.
by Almondsetat 25d 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 25d ago
I swear I see this exact kind of project every year under a new name
24.
by Almondsetat 26d 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 26d 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 26d 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 26d 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 26d ago
Reverse engineering is protected under certain conditions, even if the EULA prohibits it
29.
by Almondsetat 26d ago
Why not spend some money on an uncensored LLM to reverse engineer or create an open clean room reimplementation?
30.
by Almondsetat 26d ago
Is this a bot reply?

More ›