bmacho

14 ms·

271.
by bmacho 11mo ago
Obviously the statements of the parent comment, even if are true, don't apply to every single individual, but to the majority/vast majority. While the parent hasn't provided any proofs , you alone are not really a counter ex
272.
by bmacho 11mo ago
I don't know if they used such a method, but it is possible to provide a proof for the key before it is actually useful. E.g. everyone provides a hash for their key first, and the actual key a some seconds later, when all the hashes f
273.
by bmacho 11mo ago
A lot of people say that lightweight desktops/distros help. Probably GNOME/KDE unnecessarily use your SSD, network, GPU and other resources even when you are idle, compared to using a minimal WM and only starting the daemons you a
274.
by bmacho 11mo ago
https://en.wikipedia.org/wiki/Closed-form_expression#Compari...
275.
by bmacho 11mo ago
Let T^S = {f| f:S->T} be all functions from a source set S to a target structure (set + operations + relations + axioms) T. You can lift all the operations and relations from T to T^S, and you'll get a structure with the same type s
276.
by bmacho 11mo ago
~a month ago I saw a comment on HN someone stating that the only possible way to send data from computer to phone is to convert it to base64, open it in a text file (several pages), photo them, OCR them and convert them back on the phone. T
277.
by bmacho 11mo ago
> It's not that people are unimpressed with AI - they're just tired of constantly being bombarded with it, and it sneaking its way into where it's not wanted. "Generate any image you want!" "Analyse this thi
278.
by bmacho 11mo ago
^ is not the symbol of exponentiation but the symbol of superscript, just like _ is the symbol of subscript.
279.
by bmacho 11mo ago
Otherwise please use the original title, unless it is misleading or linkbait; don't editorialize. https://news.ycombinator.com/newsguidelines.html
280.
by bmacho 11mo ago
It is solvable from user space. E.g. TrackerControl https://github.com/TrackerControl/tracker-control-android can do it, it is a local vpn which sees which application is making a request and blocks it. You can write y
281.
by bmacho 11mo ago
Indeed, an update can't be more malicious than the permissions allow it to be. You have a calculator app with limited permissions, it is "safe" to set to allow the developer to update it. No danger in that. But I don't t
282.
by bmacho 11mo ago
> I don't really see how you can both allow developers to update their apps automatically (which is widely promoted as being good security practice) and also defend against good developers turning bad. These are not compatible , bu
283.
by bmacho 11mo ago
> I wonder if there is a consistent way to force structural revisions. Ask for multiple solutions?
284.
by bmacho 11mo ago
[deleted]
285.
by bmacho 11mo ago
> So what is this story? An invitation for researchers to work out the details, and actually write the (thus-far fictional) 47-page paper? A teaser that such a paper might be forthcoming? A hope that this solution might materialize? Or j
286.
A Tour of the Acme Editor [video](youtube.com)
1 points by bmacho 11mo ago|0 comments
287.
by bmacho 11mo ago
I believe GP meant that the idea of C/C++ should be abandoned, that is, that C and C++ are compatible languages. GP thinks that they should diverge more when necessary, none of them should be held back for the compatibility with the ot
288.
by bmacho 11mo ago
People are saying that nvidia doesn't have any moat for 20 years. And nvidia hasn't been dethroned, but grown into the largest company in the world in the meantime.
289.
by bmacho 11mo ago
There is also Erlang the Movie 2 trying to sell Erlang (called Outlaw Techno Psyhchobitch in the video) with rock and hot chick: https://youtu.be/rRbY3TMUcgQ?t=262 And they were right, rebranding was all Erlang needed 13
290.
by bmacho 11mo ago
You are right, Git for Windows is by random people. I don't know why I was so sure that it was a Microsoft product. > Possible. But then when they are content with both the kernel and the userspace, why should they switch at all?
291.
by bmacho 11mo ago
Knowing Microsoft, it will be both. That is, ship every runtime ever provided. Win32, Linux kernel, GNU and NT kernel, all of them. Ms already ships a Linux kernel, and msys2/git bash, and they won't stop doing it.
292.
by bmacho 11mo ago
> I look forward to the world inventing demonyms for the citizens of the European Union, because at least it will mean that our emerging national body is getting mindshare ! USA is a country and EU is not
293.
by bmacho 11mo ago
Sitting in my bathtub I am more a continent than North-America
294.
by bmacho 11mo ago
I don't think Poe's law is applicable here on HN/anymore in general. Writing something stupid is not as valuable/funny as it was in 2005. The lack of /s or /j is only one half of the problem, the other half is
295.
by bmacho 11mo ago
It can style RSS without enabling javascript and all that spy and malware.
296.
by bmacho 1y ago
> Pick your poison. Permission system? X11 with a permission system is the next logical step for Unix graphics. There is absolutely no need to break 40 years of graphic software, or throw away 40 years of accumulated features.
297.
by bmacho 1y ago
Funny you mention this. Zig's colorless async was purely solving the unergonomic calling convention, at the cost of knowing if a function is async or not (compiler decides, does not give any hints and if you get it wrong then that&#x2
298.
by bmacho 1y ago
> You're using recursion. No, see GP. > `runreq()` calls `sum_()` which calls `sum()` in `return l[0] + f(f, l[1:])`, where `f` is `sum()` Also no, see GP.
299.
by bmacho 1y ago
You don't have to use recursion, that is, you don't need language support for it. Having first class (named) functions is enough. For example you can modify sum such that it doesn't depend on itself, but it depends on a func
300.
by bmacho 1y ago
Jokes on GP, I give up reading most comments when I don't like them anymore, usually after 1-2 sentences.

More ›