titzer

32 ms·

631.
by titzer 2y ago
Thanks for doing this. Although your comment also has me a little sad in that what once flourished by the millions now has to be nursed by the dozens. Keep up the good work!
632.
by titzer 2y ago
It's absolutely nuts to me that any entity has the Full Software Authority (FSA), which is the ability to push out (closed-source) kernel-mode software to a mind-boggling large fraction of the world's computing base. Talk about
633.
by titzer 2y ago
You can apply additional static checks to Wasm, e.g. control flow analysis, and reject programs without obvious loop bounds or unbalanced locking operations. Or you could apply dynamic techniques like tracking acquired locks and automatical
634.
by titzer 2y ago
WebAssembly is a better choice for sandboxing kernel code. It has a full formal specification with a mechanized proof of type safety, many high-performance implementations, broad toolchain support, is targetable from many languages, and a c
635.
by titzer 2y ago
Of the top of my head: - Play / stop - Increase / decrease speed - Go to next section / riff / verse / chorus [1] - Loop this phrase / riff / verse / chorus - Turn off drums / bass / guitar
636.
by titzer 2y ago
Neat project! I've been using TuxGuitar for years and I hate the UI so much. The ergonomics around basic functionality like "loop this section" and "speed up / slow down the tempo" are so bad. I feel like it wa
637.
by titzer 2y ago
Virgil solved this a little differently. The initialization expressions for fields (outside of constructors) as well as implicit assignment of constructor parameters to fields happens before super constructor calls. Such initialization expr
638.
by titzer 2y ago
There are a couple nice features about Overleaf, like collaborative editing, fairly quick turnaround rebuilding, and being able to double-click to jump back and forth between the PDF and the source. But being forced to edit text in a their
639.
by titzer 2y ago
If you're trying to do control flow analysis on an AST, you're going to have a bad time. The article is a blinking red advertisement to not try to analyze loops at the source level.
640.
by titzer 2y ago
Oh, they didn't delete it, they just jammed it all through some machine learning model that "compressed" it and will hallucinate it back for you on demand. What could be better than a work of art that automatically updates it
641.
by titzer 2y ago
> if you nail the memory management technique all the other items will tend to work themselves out. From my experience, implementing a language runtime for a GC'd language in a non-GC'd language will lead you down one of two w
642.
by titzer 2y ago
Virgil uses a simple stop-the-world semispace copying collector. I did that because it's better to start moving rather than nonmoving. I think the hotly contested questions in systems programming are all complete red herrings. It'
643.
by titzer 2y ago
No, I really want to point into the stack and walk stack frames, look at the guts of objects, arrays, map memory, forge pointers to new code (because I wrote a JIT compiler), etc. That is brazen UB in C/C++ and compilers will do horrib
644.
by titzer 2y ago
Pretty much all interesting low-level systems stuff is UB in C/C++ and has been for years. That's dumb. The reason we need low-level systems stuff is to bit-bang on hardware; put data in hardware formats; look at the low-level rep
645.
by titzer 2y ago
More knowledge is good. Hopefully it inspires people to avoid UB and demand better diagnostics and debugging tools for UB. Avoiding UB can include such activities as completely avoiding programming in the language that has UB. UB is a post-
646.
by titzer 2y ago
We were talking about recycling. You read my comment and thought it said "humans bad, nature good" and went immediately to "humans good, nature bad, because swamps and malaria and uranium". That was a horrible misreading
647.
by titzer 2y ago
Worldwide ocean plastic kills vast quantities of marine life. It's an enormous problem that affects entire ecosystems. Malaria is a complete red herring. "you just have no idea what you’re talking about" is just plain rude. N
648.
by titzer 2y ago
You're talking about the 0.0001% of things it doesn't recycle. But almost every single molecule of your body will be recycled in dozens of different ways by hundreds and thousands of hungry little mouths that specialize in recycli
649.
by titzer 2y ago
I'd even go further and say that nature generally doesn't torture things for amusement the way the worst humans have done. Usually "nature is cruel and cold" underpins a "kind" humanist worldview that justifies
650.
by titzer 2y ago
Just throwing it in a hole perpetuates the unsustainable fossil fuel addiction. Does burning it perpetuate that addiction worse (and as a side-effect produce even more CO2)? Yes, so on one level I agree with you, but on another level, we n
651.
by titzer 2y ago
You know what's awesome? The biosphere , which recycles 99.9999% of its own matter in a vast, global cooperative, driven by unending clean source of energy that is literally beamed in from space with no waste products. Chucking it all
652.
by titzer 2y ago
Forget code smells. "This code tastes bad ."
653.
by titzer 2y ago
There is also this ( https://github.com/mbbill/Silverfir ) and Wizard ( https://github.com/titzer/wizard-engine ). I wrote a paper about Wizard's in-place interpreter and benchmarked lots of runt
654.
by titzer 2y ago
FWIW there are a bunch of benchmarks we've put up here: https://github.com/composablesys/wish-you-were-fast/tree/mas... They run on nearly all engines.
655.
by titzer 2y ago
I'm curious if you tried Wizard. A cursory look at some of the benchmarks looks like at least some have dependencies other than WASI. How did you run on them on the other engines?
656.
by titzer 2y ago
Really cool product! I want this for the display on a fully-featured laptop, not a reader. I want to code in the sun. All I want is a sweet sweet terminal and IDE. Is that on the roadmap?
657.
by titzer 2y ago
Maybe today's third graders are as literate and lucid as yesterday's sixth graders? Hope springs eternal...
658.
by titzer 2y ago
How about not having a corrupt political system? You know, one with transparency, rules, polices and punishes conflicts of interests, and corrupt politicians and judges lose their jobs and go to jail when they break the rules. Or we could j
659.
by titzer 2y ago
> The gotcha I didn't spot at the time is that a compiler is (I think, could be argued either way) easier to write than a partial evaluator. I agree that this is sometimes true, but there are several, IMHO bigger, issues: 1. The par
660.
by titzer 2y ago
I don't really get the gushing over this post in the comments, it papers over entire fields of program analysis in a single breath. While I like Graydon and respect his point of view, this paragraph is hopelessly over-simplified. >

More ›