~ 🔁︎ Vftdan
@dysfun
Is a type system even good if typechecking doesn't require running an SMT solver?
Link to post
@dysfun
Is a type system even good if typechecking doesn't require running an SMT solver?
Link to post
🥴1
~ 🔁︎ tgirl johnny truant 🏳️⚧️🏳️🌈
people were weird at me about using Hz to measure "accepted connections per second", so I'm pleased to announce that I'm going to start measuring it in Becquerel instead
Link to post
people were weird at me about using Hz to measure "accepted connections per second", so I'm pleased to announce that I'm going to start measuring it in Becquerel instead
Link to post
Happy New Year!
I think I have even less to say this time. Things from the previous year post still mostly apply.
My communication online continues to be primarily with @hatkidchan and in chats he is a member of.
I think I was mostly writing in C and a bit in Java in the free time. My biggest project was probably input event remapping utility/service. I also tried writing an interpreter for a minimalistic dynamically-scoped language, but I stopped at the attempt to introduce coroutines that are required (unless I add another features) to make the language Turing-complete, everything using C on a single call stack, so I had to implement stack-like structures for everything that is asynchronous or otherwise risks overflowing the C call stack.
In Java I was modifying or writing my own small Minecraft mods, and also I modified a keyboard application for Android.
Thanks everyone!
I think I have even less to say this time. Things from the previous year post still mostly apply.
My communication online continues to be primarily with @hatkidchan and in chats he is a member of.
I think I was mostly writing in C and a bit in Java in the free time. My biggest project was probably input event remapping utility/service. I also tried writing an interpreter for a minimalistic dynamically-scoped language, but I stopped at the attempt to introduce coroutines that are required (unless I add another features) to make the language Turing-complete, everything using C on a single call stack, so I had to implement stack-like structures for everything that is asynchronous or otherwise risks overflowing the C call stack.
In Java I was modifying or writing my own small Minecraft mods, and also I modified a keyboard application for Android.
Thanks everyone!
❤4
~ The Minecraft equivalent of car-dependent infrastructure is elytra-dependent infrastructure.
Link to post
Link to post
❤1😁1
Forwarded from 0xFABC0FFEEBADC0DE
Why did we stop using these?
I'd want a pocket computer just like this, with a cheap low-power display and a compact basic keyboard, but with modern silicon that can run Linux in text mode, a wireless card and a sleek minimalist chassis.
Like a separate device as a replacement for Termux on my phone, whose battery could last a while.
I'd want a pocket computer just like this, with a cheap low-power display and a compact basic keyboard, but with modern silicon that can run Linux in text mode, a wireless card and a sleek minimalist chassis.
Like a separate device as a replacement for Termux on my phone, whose battery could last a while.
❤1
~ Does #TeX/#LaTeX provide a way for overfull hboxes to overlap the left margin instead of the right margin (exactly by the amount it is overfull)? I tried to use flushright environment, but it doesn't seem to shift the overfull hbox.
Link to post
Link to post
~ I think all software (including libraries) should be split into security-critical and interfacing parts with fully back-compatible interface connecting them, so that everything that interfaces the user and other software can be pinned without preventing security vulnerabilities from being fixed.
Link to post
Link to post
❤3
Vftdan Channel
~ I think all software (including libraries) should be split into security-critical and interfacing parts with fully back-compatible interface connecting them, so that everything that interfaces the user and other software can be pinned without preventing…
(one of the things this is meant to be is a solution to xkcd 2224)
Vftdan Channel
~ I think all software (including libraries) should be split into security-critical and interfacing parts with fully back-compatible interface connecting them, so that everything that interfaces the user and other software can be pinned without preventing…
Dependency example for a single package:
Vftdan Channel
xwdtopnm cannot handle more than 24bits per pixel. It can read form stdin ImageMagick at least reads it, but drops alpha channel anyway. It can read from stdin ffmpeg is the only one who properly handles alpha. But it CANNOT read from stdin for this format…
Another example of such things:
to fetch a file via a single simple HTTP request one can use both
but a task that requires both granular connection options and a recursive download strategy doesn't seem to be feasible with either of these tools.
to fetch a file via a single simple HTTP request one can use both
curl and wget,but a task that requires both granular connection options and a recursive download strategy doesn't seem to be feasible with either of these tools.