ltratt

9 ms·

61.
Why Aren't Programming Language Specifications Comprehensive?(tratt.net)
1 points by ltratt 4y ago|0 comments
62.
Why Aren't Programming Language Specifications Comprehensive?(tratt.net)
2 points by ltratt 4y ago|0 comments
63.
Distinguishing an Interpreter from a Compiler(tratt.net)
2 points by ltratt 4y ago|0 comments
64.
How Might Generative AI Change Programming?(tratt.net)
2 points by ltratt 4y ago|0 comments
65.
How Might Generative AI Change Programming?(tratt.net)
3 points by ltratt 4y ago|0 comments
66.
How Might Generative AI Change Programming?(tratt.net)
6 points by ltratt 4y ago|0 comments
67.
by ltratt 4y ago
I not only welcome reasonable scepticism, but I do my best to facilitate it. I have accrued sufficient evidence over time of my own fallibility, and idiocy, that I now try to give people the opportunity to spot mistakes so that I might corr
68.
by ltratt 4y ago
Hello Filip -- I hope life is treating you well! I'm happy to clarify a couple of things that might be useful. First, VM authors I've discussed this with over the years seem roughly split down the middle on microbenchmarks. Some v
69.
More evidence for problems in VM warmup(tratt.net)
87 points by ltratt 4y ago|34 comments
70.
More Evidence for Problems in VM Warmup(tratt.net)
2 points by ltratt 4y ago|0 comments
71.
UML: My Part in Its Downfall(tratt.net)
226 points by ltratt 4y ago|241 comments
72.
UML: My Part in Its Downfall(tratt.net)
7 points by ltratt 4y ago|1 comments
73.
by ltratt 4y ago
For those of us with Unix-y mail setups the move to OAuth2 can be a bit tricky, but there are now several different programs to help (spurred, I suspect in no small part, by Microsoft/Exchange's stance). The ones I know about are:
74.
A Week of Bug Reporting(tratt.net)
1 points by ltratt 4y ago|0 comments
75.
A Week of Bug Reporting(tratt.net)
1 points by ltratt 4y ago|1 comments
76.
Making a Video of a Single Window(tratt.net)
77 points by ltratt 4y ago|38 comments
77.
by ltratt 4y ago
Honestly, I haven't tried Xvfb in years. That said, I did have another motive by keeping things simple. Even though xwininfo is very X11 specific, I hope that it's easier for people to work out an alternative for other platforms a
78.
Making a Video of a Single Window(tratt.net)
3 points by ltratt 4y ago|2 comments
79.
How and why to do link-time symbol wrapping (or not?)(humprog.org)
6 points by ltratt 4y ago|0 comments
80.
by ltratt 4y ago
I always try to be respectful towards other software in my writing and I fell short this time. I hope you'll accept my sincere apologies! > the tool chain target names, which I think was your real complaint Yes, this was solely what
81.
What's the Most Portable Way to Include Binary Blobs in an Executable?(tratt.net)
1 points by ltratt 4y ago|0 comments
82.
How I clean my glasses(tratt.net)
314 points by ltratt 4y ago|328 comments
83.
Chance, Luck, and Risk(tratt.net)
1 points by ltratt 4y ago|0 comments
84.
What makes a good research proposal?(tratt.net)
52 points by ltratt 4y ago|10 comments
85.
Multiplicity Choices Are Hard to Model and Change(tratt.net)
23 points by ltratt 4y ago|1 comments
86.
Using a "proper" camera as a webcam(tratt.net)
575 points by ltratt 4y ago|487 comments
87.
Where Do Research Problems Come From?(tratt.net)
53 points by ltratt 4y ago|16 comments
88.
by ltratt 4y ago
It's absolutely possible, because the hardware doesn't care about your compilation model: you can mix normal pointers and capabilities as you wish. A challenge is that it's easy to go from capability -> pointer, but harder
89.
by ltratt 4y ago
I agree that you don't want non-CHERI Rust code to have to know about capabilities in any way. However, if you are using Rust for CHERI, you need to have some access to capability functions otherwise, even in pure capability mode, you
90.
Making Rust a Better Fit for Cheri and Other Platforms(tratt.net)
101 points by ltratt 4y ago|39 comments

More ›