pornel

23 ms·

391.
by pornel 1y ago
I think in case of CPython it's just Python being slow to do anything. There are costs of the interpreter, GIL, and conversion between Python's objects and low-level data representation, but the FFI boundary itself is just a trivi
392.
by pornel 1y ago
You know that Rust supports scoped threads? For the borrow checker, they behave like same-thread closures. Borrow checking is orthogonal to threads. You may be referring to the difficulty satisfying the 'static liftime (i.e. temporary
393.
by pornel 1y ago
I don't know what you're referring to. Rust's threads are OS threads. There's no magic runtime there. The same memory corruption gotchas caused by threads exist, regardless of whether there is a borrow checker or not. Ru
394.
by pornel 1y ago
I like Hyundai's HDA much more than Tesla's. With Tesla it's all-or-nothing, and when it inevitably drives poorly, I can only turn it off. It physically resists me turning the steering wheel while it's driving, and overc
395.
by pornel 1y ago
Go's goroutines aren't plain C threads (blocking syscalls are magically made async), and Go's stack isn't a normal C stack (it's tiny and grown dynamically). A C function won't know how to behave in Go's r
396.
by pornel 1y ago
Tracking in external system adds overhead not only for filing the issue, but also for triaging it, backlog management, re-triaging to see if it's still a problem, and then closing it when it's finished. Issues in an external syste
397.
by pornel 1y ago
Shared mutable state is the root of all evil, and it can be solved either by completely banning sharing (actors) or by banning mutation (functional), but Rust gives fine-grained control that lets you choose on case-by-case basis, without co
398.
by pornel 1y ago
There are some artificial limitations, but I love the upside: I don't need defensive programming! When my function gets an exclusive reference to an object, I know for sure that it won't be touched by the caller while I use it, bu
399.
by pornel 1y ago
There may be lots of uninformed post-hoc rationalizations now, but it couldn't have started with everyone collectively deciding to irrationally dislike Ada, and not even try it. I suspect it's not even the ignorant slander that
400.
by pornel 1y ago
SQLite's lock is blocking, with a timeout that aborts the transaction. An async runtime can have a non-blocking lock that allows other tasks to proceed in the meantime, and is able to wait indefinitely without breaking transactions.
401.
by pornel 1y ago
The related "Belgium is unsafe for CVD" post explains that if you discover any vulnerability in anything in Belgium, it automatically creates a legal obligation on you, with a 24h deadline , to report this secretly and exclusivel
402.
by pornel 1y ago
Sharing one SQLite connection across the process would necessarily serialize all writes from the process. It won't do anything for contention with external processes, the writes within the process wouldn't be concurrent any more.
403.
by pornel 1y ago
Buying has no accountability, no judges. Probably not even a proper paper trail. They're spending public money, so the cost doesn't matter to them either. With this administration they can get unlimited funding.
404.
by pornel 1y ago
Why would they be less likely to be bombed? Zaporizhzhia Nuclear Power Plant got bombed in 2022. There's no strong deterrent there. These plants don't blow up like nukes, or even Chernobyl. Nuclear disasters require very precise
405.
by pornel 1y ago
The US is not that exceptional nor principled. The concept of "freedom of speech" is absolute when Republicans want to say Republican things, but it's a "national security issue" when Muslims make too much noise. Wh
406.
by pornel 1y ago
There's a difficult balance between letting the model simply memorize inputs, and forcing it to figure out a generalisations. When a model is "lossy" and can't reproduce the data by copying, it's forced to come up
407.
by pornel 1y ago
I don't think memory mapping does anything to prevent false sharing. All threads still get the same data at the same address. You may get page alignment for the file, but the free-form data in the file still crosses page boundaries and
408.
by pornel 1y ago
You could get 100% on the benchmark with an SQL query that pulls the answers from the dataset, but it wouldn't mean your SQL query is more capable than LLMs that didn't do as well in this benchmark. We want benchmarks to be repres
409.
by pornel 1y ago
Of all the places I think China has the least sentiment for protecting business of industries it doesn't want, to keep a line going up on paper. Their push for renewables and energy independence is very deliberate. When they reach the
410.
by pornel 1y ago
This is so far fetched and full of assumptions. There's no guarantee that a "super intelligent" AI will have goals and values aligned with what's good for humanity, or even care. If we train the AI to value what we value
411.
by pornel 1y ago
LLMs use tokens, with 1d positions and rich complex fuzzy meanings, as their native "syntax", so for them LISP is alien and hard to process. That's like reading binary for humans. 1s and 0s may be the simplest possible repres
412.
by pornel 1y ago
This has been true since the beginning of HTML email. It hasn't stopped it from proliferating. It hasn't stopped it from being de-facto mandatory, and has no chance of reversing the course now. HTML is going to be inseparable part
413.
by pornel 1y ago
Rust already supports switching between borrow checker implementations. It has migrated from a scope-based borrow checker to non-lexical borrow checker, and has next experimental Polonius implementation as an option. However, once the new i
414.
by pornel 1y ago
> actually prove that aliasing doesn't happen in select cases In the safe subset of Rust it's guaranteed in all cases. Even across libraries. Even in multi-threaded code.
415.
by pornel 1y ago
The English language is awful, and we keep updating it instead of moving to a newer language. Some things are used for interoperability, and switching to a newer incompatible thing loses all of its value.
416.
by pornel 1y ago
It's funny that when OpenAI developed GPT-2, they've been warning it's going to be disruptive. But the warnings were largely dismissed, because GPT-2 was way too dumb to be taken as a threat.
417.
by pornel 1y ago
My guess is that the public library interface of GCC doesn't support it this way. This back-end uses the confusingly-named libgccjit (not as JIT), which gives access only to a subset of GCC's functionality. If something isn't
418.
by pornel 1y ago
You can't use this implementation to bootstrap Rust (in the sense of bootstrapping from non-Rust language or a compiler that isn't the rustc). This GCC support here is only a backend in the existing Rust compiler written in Rust.
419.
by pornel 1y ago
Compression is limited by the pigeonhole principle. You can't get any compression for free. There's every possible text in Pi, but on average it's going to cost the same or more to encode the location of the text than the tex
420.
by pornel 1y ago
I thought you'd link to the one by Steve Mould, who implemented a snake game on it https://www.youtube.com/watch?v=rf-efIZI_Dg

More ›