Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
frabert
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
19 ms
·
61.
▲
by
frabert
2y ago
I think what they're saying is that you can't easily target a fixed-wing aircraft flying miles above ground with hand-held equipment like you would a helicopter
62.
▲
by
frabert
2y ago
> We have lots of formally verified programs that show useful work can be done here Yes, if you start writing your program with the explicit intent of making such proofs possible, then it can be done. What Rice's theorem says is tha
63.
▲
by
frabert
2y ago
1. Most JS engines are vastly more complex to embed than Lua, which is one of the easiest pieces of software to compile I can think of 2. You're conflating common browser APIs with JS. A JS engine does not provide a canvas, or a DOM. V
64.
▲
by
frabert
2y ago
Hi! Original author of libdmusic here -- kudos for the effort, I feel like I'm one of the very few people who know the struggle of getting useable audio out of original DirectMusic files :)
65.
▲
by
frabert
2y ago
We're talking audiophiles, it's not like they're trying to cheap out.
66.
▲
by
frabert
2y ago
I'll take this opportunity to plug a similar doodad I made that generates english-ish words: https://bertolaccini.dev/cromulent.html It's just a Markov chain built by tokenizing a corpus of English words into syll
67.
▲
by
frabert
2y ago
see also: Rapid Unscheduled Disassembly or, from the Kerbal Space Program fanbase: lithobraking (as opposed to aerobraking)
68.
▲
by
frabert
2y ago
Author here - that's not the case, this post was in the works for months haha Maybe it's a bit of Baader–Meinhof phenomenon at play?
69.
▲
The life and time of an Abstract Syntax Tree
(blog.trailofbits.com)
3 points
by
frabert
2y ago
|
0 comments
70.
▲
by
frabert
3y ago
Lack of motivation to work on more technical stuff after having done the same all day at work? Mental exhaustion? Wanting to spend the remaining free time with loved ones instead?
71.
▲
by
frabert
3y ago
I made a similar tool with the same name a couple of years ago :D https://github.com/frabert/ClangQL
72.
▲
by
frabert
3y ago
> It isn’t hyperbolic to say what you can do with Rive is about to change in an earth-shattering way. Actually, I think this is exactly what "hyperbolic" means
73.
▲
by
frabert
3y ago
Probably kakoune
74.
▲
by
frabert
3y ago
You could do what USB does and limit the current until the device signals it wants full power!
75.
▲
by
frabert
3y ago
This is unwanted advice, I know, but here is what I would do: I'd make it so that both the transmitter has a very high output impedance (so that plugging in an headphone causes its output to drop to near zero) and the receiver has very
76.
▲
Binary type inference in Ghidra
(blog.trailofbits.com)
1 points
by
frabert
3y ago
|
0 comments
77.
▲
by
frabert
3y ago
Is lithium normally mined in its elemental form? If not, its volatility as an ore might be wildly less than in its metallic form
78.
▲
by
frabert
3y ago
Does constructive here mean that you can always find a new prime given a set of primes you "think" are all the ones that exist?
79.
▲
by
frabert
3y ago
What you say is only true if your firewall is configured to do so. By default (without any firewall), all traffic is exposed to every interface I believe. EDIT: I stand corrected
80.
▲
by
frabert
3y ago
https://www.sultanik.com/cv
81.
▲
by
frabert
3y ago
It's totally possible to shape a bimetallic strip in a way that makes it bistable, thus clicking between the two states, just like an electrical switch which uses springs inside which are normally not noisy either.
82.
▲
by
frabert
3y ago
What you're hearing when your coffee maker cycles on and off may actually be a bimetallic strip used as temperature control so technically not a relay
83.
▲
by
frabert
3y ago
Also not the Mali GPU https://developer.arm.com/Architectures/Bifrost
84.
▲
by
frabert
3y ago
What is all this supposed to mean? All I can understand is that they somehow want to provide a natural language interface to a kernel? Why kernel(tm)?
85.
▲
by
frabert
3y ago
What would you expect to be stolen by MITMing the connection between you and a plaintext blog?
86.
▲
by
frabert
3y ago
I think it was Nintendo who put Rambus DRAM in the N64
87.
▲
by
frabert
3y ago
re2c is a better alternative to flex imo. Also lemon (from the sqlite project) in place of bison/yacc.
88.
▲
Shouldn't distant objects appear magnified?
(astronomy.stackexchange.com)
550 points
by
frabert
3y ago
|
174 comments
89.
▲
by
frabert
3y ago
For point 2, NiMH cells are _way_ less prone to leakage than alkalines. In fact, I've never seen a leaky NiMH cell (that hadn't completely vented due to severe overcharge, anyway)
90.
▲
by
frabert
3y ago
Rellic[0] is a decompiler that uses a similar, more modern approach to turn LLVM IR into goto-free C code [0]: https://github.com/lifting-bits/rellic
More ›