kragen

49 ms·

841.
by kragen 1y ago
I agree. I'd add that security is always relative to not just an existing level of security but to a threat model. There are threat models relative to which Fil-C doesn't make things more secure. (I can't think of one unde
842.
by kragen 1y ago
Claire Wolf's PicoRV32 seems to get a lot of "simple and synthesizable RISC-V design to run on a cheap FPGA" use, although that's more typically for much cheaper FPGA's than an Artix A7, like an iCE40. SeRV is ev
843.
by kragen 1y ago
Do you expect that to change at some point?
844.
by kragen 1y ago
I think the argument is that, if they expected to receive high-quality contributions, then they'd be willing to take the risk of competitors using their software to compete with them, which an open-source license would allow. It usual
845.
by kragen 1y ago
Right, I was talking about installing Kafka, not installing Redpanda. Redpanda may be perfectly fine software, but bringing it up in that context is a bit apples-and-oranges since it's not open-source: https://news.ycombina
846.
by kragen 1y ago
I think the intention of the original license was to make the software unpalatable to SaaS vendors who want to keep their changes proprietary, not unpalatable to enterprises in general.
847.
by kragen 1y ago
It's a shame that Wasm is so hostile to runtime code generation. I've been trying to figure out how to design something that's better on that axis.
848.
by kragen 1y ago
I think it applies to anyone who distributes it; https://www.eclipse.org/legal/epl-2.0/ says: “Contributor” means any person or entity that Distributes the Program.
849.
by kragen 1y ago
There are a pretty large number of "serious" companies that distribute code under the GNU GPL, which has similar but more stringent copyleft terms. IBM, for example, which also originated the Eclipse Public License, and TI, and A
850.
by kragen 1y ago
Surprised by your comment, I took a gander at graphviz; it's about a quarter of a million lines of code if you discount lib/sparse/color_palette.c and lib/edgepaint/lab_gamut.c, which are hundreds of thousands of li
851.
by kragen 1y ago
This is a very nicely presented graph layout algorithm, and it produces very readable CFG output.
852.
by kragen 1y ago
For me control-mousewheel zooms and shift-mousewheel pans horizontally.
853.
by kragen 1y ago
This may be essential if you're connecting it to an audio amplifier. I learned this the hard way by burning out someone else's very expensive tweeters with 31.25kHz PWM.
854.
by kragen 1y ago
It's probably worth mentioning the 2400bps (300 bytes per second) LPC10 codec built into SoX. If you have SoX installed, try rec -t lpc10 speech.lpc and then speaking into your microphone for ten or fifteen seconds before you
855.
by kragen 1y ago
I mean, setting up Zookeeper, tweaking the kernel settings, configuring the hardware, the kind of stuff mentioned in guides like https://medium.com/@ankurrana/things-nobody-will-tell-you-se... and https://du
856.
by kragen 1y ago
Sometimes buying a longer-lived fridge for more money is still a bad bargain. If the short-lived fridge lives 20 years and the longer-lived one lives 100 years, the longer-lived one is a bad bargain if it costs twice as much, at any discou
857.
by kragen 1y ago
Right, open source is generally of benefit to users, not to the author, and users do get some of that benefit from being able to see the source. I wouldn't want to look at it myself, though, for legal reasons.
858.
by kragen 1y ago
Mostly I've just been struggling to keep my head above water, but I've been experimenting with submilliwatt autonomous personal computing, LuaJIT, and radically simplified windowing systems. Planning to visit the US next year for
859.
by kragen 1y ago
Getting a 288-core machine might be easier than setting up Kafka; I'm guessing that it would be a couple of weeks of work to learn enough to install Kafka the first time. Installing Postgres is trivial.
860.
by kragen 1y ago
Definitely not in the case of Kafka. Even with SSD that would limit it to around 100kHz. Batch commit allows Kafka (and Postgres) to amortize fsync overhead over many messages.
861.
by kragen 1y ago
This sounded interesting to me, and it looks like the plan is to make Redpanda open-source at some point in the future, but there's no timeline: https://github.com/redpanda-data/redpanda/tree/dev/lic
862.
by kragen 1y ago
UB was added to C when it was 15 years old, and the current understanding of UB is from about 10 years after that. It isn't essential to C; an implementation that defines all the undefined behavior would still be compliant and capable
863.
by kragen 1y ago
Interesting, so you really can enforce constness on references? Does that mean the above code will crash on Fil-C?
864.
by kragen 1y ago
No, that does give a warning.
865.
by kragen 1y ago
(But revealing your identity would not.)
866.
by kragen 1y ago
Having a trustworthy channel for verified app loading is a vital security tool. F-Droid is such a channel; the Google Play Store is not. F-Droid inspects the source code of the applications they build, removes malware and other antifeature
867.
by kragen 1y ago
We just had a thread about this on https://news.ycombinator.com/item?id=45740383 .
868.
by kragen 1y ago
Hopefully Pizlo will correct me if I get this wrong, but I don't think Fil-C's pointer tagging enforces constness, which isn't needed for C in any case. This C code compiles with no warnings and outputs "Howlong\n"
869.
by kragen 1y ago
Yes, Google has much greater competency . But when their interests run counter to their users' interests, as in the particular case we're talking about where they are nuking F-Droid from orbit, thus depriving users of access to
870.
by kragen 1y ago
Good to see you back! I hope you're doing okay; I know you ran into some real trouble a couple of years ago.

More ›