Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
_flux
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
13 ms
·
211.
▲
by
_flux
11mo ago
What were the actual fixes like?
212.
▲
by
_flux
11mo ago
Many people are already developing and fixing FFmpeg. How many people are actively looking for bugs? Google, and then the other guys that don't share their findings, but perhaps sell them to the highest bidder. Seems like Google is doi
213.
▲
by
_flux
11mo ago
I think the idiom by itself is good, and that could be the reason why LLMs prefer it: a hypothetical test groups liked it. The problem comes from that LLM prefers it way too often . And I suppose it would be a bit difficult to change it to
214.
▲
by
_flux
11mo ago
xcancel link for those without X account: https://xcancel.com/melissa/status/1985889161388441892 Probably the article the Tweet references (Jan 2024): https://securityboulevard.com/2024/01
215.
▲
by
_flux
11mo ago
That's slightly disingenuous, as in the case of ppx_deriving you always need to state the type of the expression to call it, e.g. show_file or [%derive.show: (int * int) list] from the page. It's basically the sa
216.
▲
by
_flux
11mo ago
The article mentions that global type inference is painful, and Rust made the right call by requiring annotations, but actually I think the OCaml model is closer to the optimum: you can still annotate functions and perhaps you should (in fa
217.
▲
by
_flux
11mo ago
No, that's actually my real and only Xorg, it's the child process of /usr/libexec/gdm-x-session and that process is owned by my real user id, and the Xorg process provides /tmp/.X11-unix/X1 that e.g.
218.
▲
by
_flux
11mo ago
Hmm.. On my Debian ps axuw|grep Xorg says root 34595 2.7 0.4 26146280 532248 tty4 Sl+ Nov13 783:33 /usr/lib/xorg/Xorg vt4 -displayfd 3 -auth /run/user/1000/gdm/Xauthority -noliste
219.
▲
by
_flux
11mo ago
I'm not a practioner of cryptography, but I would be wary about timing attacks that might become possible if such a dynamic runtime is introduced. At least relevant pieces of code would need to be re-evaluated in the Fil-C environment.
220.
▲
by
_flux
11mo ago
Surely the data must go to the OpenAI servers, how else would they use LLMs on it? We cannot see if that data ends up in the training data. Personally I would just believe what they say for the time being; there would be backlash in doing s
221.
▲
by
_flux
11mo ago
As I understand it, the main point of Anubis is to reduce the costs caused by (AI company) bots and agent-generated load is still a lot less than simply spidering the complete web site; it might actually be quite close to what a user would
222.
▲
by
_flux
11mo ago
Perhaps it'll be sooner than you expect: actually having proper fixes made by AI for the issues found with AI.
223.
▲
by
_flux
11mo ago
Maybe the new C++ profiles that are supposedly going to make C++ a safe language could do it.
224.
▲
by
_flux
1y ago
With a good library you could do just that, by having the functions return only queries and then expand them to the actual values (by interacting with the DB) after applying the filtering to it?
225.
▲
by
_flux
1y ago
Presumably lower voltage/current is provided first?
226.
▲
by
_flux
1y ago
Have you seen OCaml? Though its inference stops at module boundaries (but you don't need to annotate them) and for some more special type features. In addition it solves some type inference problems by having e.g. different operators o
227.
▲
by
_flux
1y ago
> Your mistake is thinking that the user wants an algorithm that solves Wordles efficiently. Or that making and invoking a tool is always a more efficient solution. Weird how you tell that user is not worried about solving the problem ef
228.
▲
by
_flux
1y ago
In some other typed languages, that is. E.g. in C++, OCaml, Haskell, F#, Kotlin, and Rust (a non-exhaustive list) you can have non-nullable strings, and other objects.
229.
▲
by
_flux
1y ago
Surely there are algorithms to more effectively solve Wordles, and many other word puzzles, than LLMs? LLMs could stil be in the loop for generating words: LLM proposes words, deterministic algorithm tell the score according to the rules of
230.
▲
by
_flux
1y ago
What tasks would those be, that wouldn't be better served by using e.g. a Python script as a tool, possibly just as component of the complete solution?
231.
▲
by
_flux
1y ago
But if you don't have GPS, then you don't have a high-confidence low-precision absolute position input to your system? Whereas with wheels you already get a lot of data about that when they are not turning at all. A friend tried t
232.
▲
by
_flux
1y ago
Surely the basic flashing mechanisms used nowadays will first check checksum (and hopefully a device magic), and then you have a relatively short time window when it actually does the flashing after which it reboots? Even small devices nowa
233.
▲
by
_flux
1y ago
Are there modern cheap IMUs that are able to hold position for some time available? My understanding is that using plain accelerometers and gyros will drift quite soon due to noise, while some cars (e.g. Tesla) maintain their position quite
234.
▲
by
_flux
1y ago
I believe it's because of firewalls. You need to be either UDP or TCP to work in the Internet at large. Though SCTP did find its place as a layer in WebRTC.
235.
▲
by
_flux
1y ago
Syncthing from phone to a directory on PC? That's what I do. Though I don't then put them into any system. Yet.
236.
▲
by
_flux
1y ago
Assuming you trust GitHub CI, why doesn't attestation bring the same value? I haven't really looked into what it entails in establishing an attestation for a CI-built package, though, but I thought the idea was that you will at le
237.
▲
by
_flux
1y ago
I do wonder if it's the case of "90% of completeness takes 90% of time; the remaining 10% takes another 90%". Though, I suppose even if true, it would still be a pretty good timeframe.
238.
▲
by
_flux
1y ago
I experimented a bit, and with a hot air station it's possible to de-emboss them, exactly for the purpose of fitting more cards in my card wallet.. I didn't try it on an active card, though, and I suppose the problem solves itself
239.
▲
by
_flux
1y ago
This is not a release version, though, is it? Or has some additional extensions on top of it? I've had bad experiences on the latter, as in a lot of breakage occurred :/.
240.
▲
by
_flux
1y ago
They have a reason mentioned by others, however what was news to me that the Google Android application registration also requires them! https://developer.android.com/developer-verification#registe... says Register your app
More ›