someplaceguy

9 ms·

1.
by someplaceguy 1mo ago
You can do that with the Codex CLI/TUI as well.
2.
by someplaceguy 3mo ago
One of the most popular banks in Brazil doesn't have physical branches. It doesn't even have a functional website. App only.
3.
100+ Kernel Bugs in 30 Days(substack.com)
5 points by someplaceguy 6mo ago|1 comments
4.
by someplaceguy 7mo ago
> the DFA for an extended RE (including a lazy DFA implemented using derivatives, as here) is worst-case doubly exponential in the length of the expression The authors seem to claim linear complexity: > the result is RE#, the first ge
5.
by someplaceguy 7mo ago
> I still see AI making stupid silly mistakes. In contrast with humans, who are famously known for never making stupid silly mistakes...
6.
by someplaceguy 10mo ago
> Okay, that's not fair. There's a big advantage to having an external compressor and reference file whose bytes aren't counted, whether or not your compressor models knowledge. The benchmark in question (Hutter prize) doe
7.
by someplaceguy 11mo ago
All the more reason for asking the question?
8.
by someplaceguy 1y ago
> unless you were deliberately declaring and using near identical symbols. Yes, that would probably be one way to do it. > Which would violate the whole "Code is meant to be easily read by humans" thing. I'd think someo
9.
by someplaceguy 1y ago
> using the appropriate unicode characters might make it easier to read It's probably also a great way to introduce almost undetectable security vulnerabilities by using Unicode characters that look similar to each other but in fact
10.
by someplaceguy 2y ago
Recently I tried to reinstall an eSIM on my Android phone while overseas but was told by my carrier that the eSIM can only be activated while connected to antennas located in the carrier's country, i.e. it can't be activated overs
11.
by someplaceguy 2y ago
Even the EU's own official web portal [1] has a cookie pop-up that covers half the screen of my mobile phone when I visit it. [1] https://europa.eu/
12.
by someplaceguy 2y ago
Awesome, thanks!
13.
by someplaceguy 2y ago
What I meant is, why is it significant whether the asteroid impacted in the spring or not?
14.
by someplaceguy 2y ago
> The asteroid in spring hypothesis suggests that the asteroid impact that led to the K-Pg extinction event, occurred during spring season in the Northern Hemisphere. Why is that significant?
15.
by someplaceguy 2y ago
That's really cool! I wonder how soon I can buy one of these ESauron thingies.
16.
by someplaceguy 2y ago
> In the article n was set to 5. All of those arrays (except maybe 1) have exactly 5 elements. There is no variance No, the code was: # If there are < 5 items, just return the median if len(l) < 5: return nlogn_me
17.
by someplaceguy 2y ago
> The whole point of big-O notation is to abstract the algorithm out of real-world limitations so we can talk about arbitrarily large input. Except that there is no such thing as "arbitrarily large storage", as my link in the p
18.
by someplaceguy 2y ago
> Ultimately when an algorithm has worse complexity than another it might still be faster up to a certain point. Sure, but the author didn't argue that the simpler algorithm would be faster for 5 items, which would indeed make sense
19.
by someplaceguy 2y ago
I found this part of the code quite funny: # If there are < 5 items, just return the median if len(l) < 5: # In this case, we fall back on the first median function we wrote. # Since we only run this on a lis
20.
by someplaceguy 2y ago
return l[len(l) / 2] I'm not a Python expert, but doesn't the `/` operator return a float in Python? Why would you use a float as an array index instead of doing integer division (with `//`)? I know t
21.
by someplaceguy 2y ago
I don't disagree with you. However, my point was that the parent poster's reasoning was flawed. Stacking these services on top of each other in this way does not necessarily mean that an attacker has to compromise both services in
22.
by someplaceguy 2y ago
The person in question formalized the entire proof in Coq, which certifies its correctness. To me, that makes your conjecture very unlikely to be true...
23.
by someplaceguy 2y ago
I'm sorry, I don't get it. What are you suggesting to be the motivation to remain anonymous in this case?
24.
by someplaceguy 2y ago
I would argue that technically, the proof has an error because the author says: > Let X be the integers Z; for integers a,b, let `a ⊏ b` be `a|<|b`; and let the property Φ(a) be “a^2=2 b^2 for some integer b” (formally, `∃b ∈ Z. a^2=2
25.
by someplaceguy 2y ago
The first one can be trivially proved with automatic decision procedures and the second one is also very easy to prove, I believe.
26.
by someplaceguy 2y ago
I think I'm missing something... isn't there an error in the proof when applying the theorem of the principle of infinite descent? The theorem requires proving the following premise/antecedent (to deduce the consequent):
27.
by someplaceguy 2y ago
> The bet is that a compromise in both the service and wireguard at the same time is unlikely An RCE in wireguard would be enough -- no need to compromise both.
28.
by someplaceguy 2y ago
> > people who value their retinas when working at 3 AM. > You just need a well lit room to use light mode. Who wants a well-lit room at 3 AM?
29.
by someplaceguy 2y ago
Maybe this is what a white hole looks like...
30.
by someplaceguy 2y ago
I'm really curious about why I always hear about these horror stories in the US but I never hear about them happening in a EU country. Does anyone know why?

More ›