chc4

16 ms·

211.
by chc4 4y ago
Handling circular references is pretty important! Things like closing over an environment in a scripting language usually creates a cyclic reference, for example (stack frame contains a closure, which contains a reference to...the parent st
212.
by chc4 4y ago
For parallelism I'd expect something like Cilk (or Rayon, which was inspired by it), where there's some syscalls for spawning and then joining on tasks, but the VM handles starting and managing the thread pool. For concurrency
213.
by chc4 4y ago
Penumbra has a scheme for trustless 3rd party scanning that they use for private addresses that you might be interested in. It uses a "Fuzzy Massage Detection" cryptographic protocol that is analogous to a Bloom filter, so you can
214.
by chc4 4y ago
I've been on twitter since 2009 and have 100k+ tweet. Since they've killed all third-party clients I've basically stopped using twitter, and have no intention of using the (bad) official client. Good job Elon!
215.
by chc4 4y ago
The root cause of the bug isn't the kernel dereferencing a NULL and causing UB. It's the kernel doing error handling and attempting to kill the oopsing task and continue. If the semantics of Rust panics also did a kernel oops, u
216.
by chc4 4y ago
Yes, in an ideal world your kernel shouldn't have any bugs. We don't live in an ideal world. Security engineering is the field of practical mitigations - given that there are, in fact, null pointer dereferences in the kernel, mm
217.
Samsara, a safe Rust concurrent cycle collector(redvice.org)
7 points by chc4 4y ago|0 comments
218.
by chc4 4y ago
Lua 5.0 doesn't have the incremental garbage collector, only the original mark-and-sweep collector. The pdf they based the blog post off of even says the incremental GC is upcoming in 5.1, and you can read through https://
219.
by chc4 4y ago
I took a break from working on my dumb Rust JIT project (lineiform) to write a safe concurrent garbage collector library (samsara) for a few months. It's mostly done now (save for figuring out good benchmarks to tell how bad it is), so
220.
by chc4 4y ago
MMTk.io is a library that provides VM-agnostic GC bindings, and several different algorithms you can plug in as a collector (stop-the-world mark-and-sweep, semispace, generational gc, etc)
221.
by chc4 4y ago
Yes. I always tip 15%, every time, for everything that has it as an option, even before COVID.
222.
by chc4 4y ago
Haha, woops! I didn't realize that :)
223.
by chc4 4y ago
Have you read the Copy-and-patch compilation paper? It seems broadly similar to what you're describing, and Deegen. They use GHC's calling convention for it's snippets which has only caller-saved registers and all arguments p
224.
by chc4 4y ago
I do use it. I'm in a few different chatrooms with friends that have decent traffic, including the general "hoon programming help" groups that have higher traffic. It is pretty slow, both because it's a decentralized ch
225.
by chc4 4y ago
- Programming Language dev: I think compilers and VM runtimes are neat, and like talking to people in the space on twitter or reading new papers that come out about it. The /r/ProgrammingLanguage discord server is a great place to
226.
by chc4 4y ago
SBF (and like half the people at Alameda) worked at Jane Street or other big name financial firms. They weren't ignorant of traditional finance.
227.
by chc4 4y ago
Use Pleroma. It's much easier to setup and better architectured technically. Also all(?) ActivityPub servers support the old Twitter API, so some third party Twitter apps have support for it - Twidere on Android definitely does, at lea
228.
by chc4 4y ago
3D XPoint, used in Optane memory, used memristors.
229.
by chc4 4y ago
Sorry, you're right; Chromium and Safari do, not Firefox.
230.
by chc4 4y ago
Yes. If you index out of bounds in a Rust program, it will raise a panic. This is infinitely better than causing memory unsafety and creating a remote code execution exploit, and the best you can possibly do.
231.
by chc4 4y ago
I have bad news for you: both Chromium and Firefox allow any page to submit arbitrary SQL statements by default, which has caused several actually-for-real exploits, most of them related to buffer overflows due to integer overflow or use af
232.
by chc4 4y ago
CodeQL is exactly the query side of this - it builds a database of facts about your code, which you can query in their language which compiles to datalog, in order to write lints (sometimes in a language-agnostic manner). It doesn't ha
233.
by chc4 4y ago
It's a use-after-free in FontFaceCache ( https://wololo.net/2021/10/14/use-after-free-webkit-vulnerab... and https://github.com/Cryptogenic/PS5-4.03-Kernel-Exploit/blob/...
234.
by chc4 4y ago
One of the entire points of a unikernel is that you don't have to do a TLB flush on context switch, which especially post-Meltdown is very expensive...because you never change your page table or have context switches! Having a seperate
235.
by chc4 4y ago
Some BSDs (and Zircon/Fuchsia) block any syscall instructions that don't originate from inside the vDSO. Which means the only way to do them is to go through libc (well, the parts of libc that are provided by the vDSO, but seman
236.
by chc4 4y ago
Servo supported the CEF (Chronium embedded framework) API for embedding. See https://github.com/paulrouget/servoshell and https://github.com/jdm/servo-embedding-example
237.
by chc4 4y ago
ARM pointer authentication can be used for all pointers. Shadow stacks only protect against overwriting the return pointer.
238.
by chc4 4y ago
Conventual wisdom is the overhead of write barriers is somewhere around 5-10%. There are tricks you can use to reduce it, though; you can coalesce the barriers for objects together into one block of operations if you have a JIT, only do the
239.
by chc4 4y ago
I got an Asus Zenfone 8 mostly because it was one of the smaller Android phones available. It's mostly stock with a few UI changes, and I don't think it had any bloatware apps preinstalled that I can remember.
240.
by chc4 4y ago
Sorry, you're right, I was thinking of write barrier schemes. Off the top of my head I think most non-moving GCs use only write barriers and not read barriers now, though, along with writes being less common than reads, which is maybe

More ›