ltratt

7 ms·

1.
by ltratt 2mo ago
> The downside of manually narrowing is more code, but the upside is clarity. This, IMHO, is where things get tricky: quite often, writing more code is at odds with clarity. I don't think there's a simple relation here -- more
2.
Local Reasoning for Global Properties(tratt.net)
2 points by ltratt 3mo ago|0 comments
3.
Local Reasoning for Global Properties(tratt.net)
4 points by ltratt 3mo ago|0 comments
4.
by ltratt 3mo ago
We did have a project some years ago looking at extending LuaJIT on which Tom Fransham did excellent work. Alas, the funder's priorities moved on (as is their right!), so we didn't get to finish it. It was a bit sad, as we (well,
5.
by ltratt 3mo ago
This looks interesting, and definitely useful for non-C/Python languages, which existing reducers I know of mostly don't have explicit support for! I can't get it to build though (I've filed an issue). I was also wonderi
6.
Test-case reducers are underappreciated debugging tools(tratt.net)
153 points by ltratt 3mo ago|20 comments
7.
by ltratt 5mo ago
It would really be good if someone could provide an updated overview of all of the "GCs for Rust" created thus far -- for a while I tried to keep up with them, but there are just too many! When we wrote the Alloy paper, we took Ma
8.
by ltratt 5mo ago
> If this project would be able to detect the interpreter hotspots itself and completely automate the procedure, it would be great. I don't think that's realistic; or, at least, not if you want good performance. You need to use
9.
by ltratt 5mo ago
You're quite right that since we're working with LLVM IR, adapting to other languages is probably not _that_ difficult, though these things always end up taking more time than I expect! Since the majority of real-world problems in
10.
by ltratt 5mo ago
Our fork of LLVM does add a pass, amongst other changes, but we also have to do things like change stackmaps in a way that breaks compatibility. Whether stackmaps in their current incarnation are worth retaining compatibility for is above m
11.
Retrofitting JIT Compilers into C Interpreters(tratt.net)
135 points by ltratt 5mo ago|26 comments
12.
Some Things I've Learned About Software [video](youtube.com)
1 points by ltratt 8mo ago|1 comments
13.
by ltratt 10mo ago
I'm assuming you're referring to the Python finaliser example? If so, there's no syntax sugar hiding function calls to finalisers: you can verify that by running the code on PyPy, where the point at which the finaliser is cal
14.
What Context Can Bring to Terminal Mouse Clicks(tratt.net)
2 points by ltratt 11mo ago|0 comments
15.
What Context Can Bring to Terminal Mouse Clicks(tratt.net)
3 points by ltratt 11mo ago|0 comments
16.
by ltratt 11mo ago
The only way to forbid it would be to forbid creating pointers from `Gc<T>`. That would, for example, preclude a slew of tricks that high performance language VMs need. That's an acceptable trade-off for some, of course, but not
17.
by ltratt 11mo ago
We don't exactly want Alloy to have to be conservative, but Rust's semantics allow pointers to be converted to usizes (in safe mode) and back again (in unsafe mode), and this is something code really does. So if we wanted to pro
18.
by ltratt 11mo ago
If you've used Chrome or Safari to read this post, you've used a program that uses (at least in parts) conservative GC. [I don't know if Firefox uses conservative GC; it wouldn't surprise me if it does.] This partly refl
19.
Garbage collection for Rust: The finalizer frontier(soft-dev.org)
144 points by ltratt 11mo ago|180 comments
20.
Why Firsts Matter(tratt.net)
2 points by ltratt 1y ago|0 comments
21.
Why Firsts Matter(tratt.net)
1 points by ltratt 1y ago|0 comments
22.
by ltratt 1y ago
As Koffiepoeder suggests, since the vast majority of content on my site is static, I only have to compress a file once when I build the site, no matter how many people later download it. [The small amount of dynamic content on my site isn&#
23.
Comparing the Glove80 and Maltron Keyboards(tratt.net)
82 points by ltratt 1y ago|43 comments
24.
The Fifth Kind of Optimisation(tratt.net)
1 points by ltratt 1y ago|0 comments
25.
The Fifth Kind of Optimisation(tratt.net)
1 points by ltratt 1y ago|0 comments
26.
Better Shell History Search(tratt.net)
213 points by ltratt 1y ago|93 comments
27.
Can we get the benefits of transitive dependencies without undermining security?(tratt.net)
85 points by ltratt 2y ago|87 comments
28.
Structured Editing and Incremental Parsing(tratt.net)
133 points by ltratt 2y ago|54 comments
29.
I Prepare to Make a Video on Programming(tratt.net)
1 points by ltratt 2y ago|0 comments
30.
Recording and Processing Spoken Word(tratt.net)
1 points by ltratt 2y ago|0 comments

More ›