remexre

23 ms·

331.
by remexre 4y ago
I'm developing one at https://git.sr.ht/~remexre/rtf -- it's nowhere near ready for general use, but idiomatic code looks like: : parse-digit ( u -- u -1 | 0 0 ) { DUP $30 $3a WITHIN } { $30 - TRU
332.
by remexre 4y ago
> It doesn't have to, you just add a zero byte at the end of the embedded byte sequence in the object file. It's up to the programmer to make the choice how to interpret that. Like, are you proposing that the ideal semantics fo
333.
by remexre 4y ago
https://github.com/camel-cdr/execfs ?
334.
by remexre 4y ago
How does the compiler know if an array is a string or not?
335.
by remexre 4y ago
It doesn't have useful types for a lot of low-level abstractions; take, for example, all the stuff hanging off of stdenv -- if I'm trying to get nixpkgs up and running for a new C compiler that's neither GCC nor Clang, for ex
336.
by remexre 4y ago
This is the userspace part of the driver, not the kernelspace part; the existing open-source graphics drivers already are (for the most part) in C++, because extern "C" is less of a pain than writing a compiler in pure C
337.
by remexre 4y ago
Yep, a basic security check for any endpoint that accepts JSON: what happens when you hand it 4KiB of '[' characters
338.
by remexre 4y ago
Is there a non-homotopy type theory with univalence?
339.
by remexre 4y ago
Univalence seems generally useful for verified software engineering, if we could get it in a system with regularity.
340.
by remexre 4y ago
Could this be integrated into the LLVM SafeStack pass? (I don't know how related Zig still is to LLVM, or if your thing would be implemented there.)
341.
by remexre 4y ago
See this subthread: https://news.ycombinator.com/item?id=31810249
342.
by remexre 4y ago
It would also be kind of nice if web developers knew they couldn't use more than 4GiB per tab, so didn't even try to get close :P
343.
by remexre 4y ago
no, fork creates a new address space, vfork doesn't the posix_spawn mentioned in the article is effectively the equivalent of CreateProcess
344.
by remexre 4y ago
Isn't vfork much worse in terms of the problem the author is talking about, since the child can now acquire locks in the _parent's_ address space?
345.
by remexre 4y ago
Just got a 504 on login, so I think it's still ongoing.
346.
by remexre 4y ago
Which ones are connectable to it? And does this rely on the "replace the USB3 controller with a PCIe bridge" hardware mod?
347.
by remexre 4y ago
Yeah, I thought the threat model there was "people sure do love random not-particularly-trustworthy public CDNs"
348.
Rustc: Add do yeet expressions to allow experimentation in nightly(github.com)
78 points by remexre 4y ago|60 comments
349.
by remexre 4y ago
Joking around with friends seems reason enough
350.
by remexre 4y ago
Oftentimes there's some optimization that it'd be really nice if you could perform, but it's possible to write code that the optimization would result in a miscompile of without analysis that's too hard to do without k
351.
by remexre 4y ago
That is absolutely not my experience with academic PL work, as someone in that field. From my perspective, it seems like we're currently undergoing a renaissance of more principled approaches to resource management than GC (especially
352.
by remexre 4y ago
Once you want some macros for "obvious abstractions," use a macro assembler; then once you want a more consistent macro language reinvent Forth on your macro assembler; then once you want a complete stdlib reinvent Lisp on Forth
353.
by remexre 4y ago
Git allows empty commits, but a fun hack might be hooking up the Vim undo/redo tree to git commits + reverts
354.
by remexre 5y ago
> On my POWER9 Talos workstation, typical ./configure runs take longer than the builds themselves. This is because fork+exec is still a slow path on POWER. It is similar on ARM, MIPS, and many other RISC architectures. Anyone know h
355.
by remexre 5y ago
Also sudo mode, right? They had to authenticate to the whole website again too, before doing this!
356.
by remexre 5y ago
I've noticed the same thing, but (like n=2, so take it with a grain of salt) even for authors whose other writings I enjoy; I wonder if there's something weird with how they structure the incentives for writing there such that thi
357.
by remexre 5y ago
I guess one advantage is that it's a lot harder to get (safe) Rust that compiles while doing something awful with regards to important subtleties of C++ not obvious to a "C with classes programmer" (e.g. Rule of 5 stuff); my
358.
by remexre 5y ago
(Have never written Zig) Does the design of the language make them less (or more) likely to occur, though? e.g. all these things are possible in Forth too, but the design of the language definitely seems to conspire to make them less likely
359.
by remexre 5y ago
my big personal nit is poor async support; e.g. async disk IO is recent in Linux, and AFAIK all the Unices implement POSIX aio as a threadpool anyway. not being able to wait on "either this mutex/semaphore has been signaled, or th
360.
by remexre 5y ago
Note that AGPL and _not_ having a CLA means that this _isn't_ the case, because... you don't have a CLA.

More ›