skavi

11 ms·

151.
by skavi 2y ago
I am really really excited for general coroutines [0] to make it into Rust. All the flexibility and testability of explicit state machines while being far less annoying to write. [0]: https://doc.rust-lang.org/std/ops&#
152.
by skavi 2y ago
if you ignore WW2 for some reason?
153.
by skavi 2y ago
Safari on an iPhone 13 Pro handles this page without issue. That’s a three generation old high end phone.
154.
by skavi 2y ago
from https://news.ycombinator.com/showhn.html > Please make it easy for users to try your thing out, ideally without barriers such as signups or emails. You'll get more feedback that way.
155.
by skavi 2y ago
Is there really no way to access the playground without “signing up for early access” with a company email? What’s the point? Isn’t that level of friction going to cause the vast majority of people to walk away and forget this exists?
156.
by skavi 2y ago
in that case, what’s the deal with extract_bytes being async? i’m not incredibly familiar with python, but i’d expect a “byte string” to be in memory.
157.
by skavi 2y ago
the drug industry’s job is to save lives. anything that accelerates that work is a good thing.
158.
by skavi 2y ago
Given their next sentence is concessive (ends with “though”), I don’t think that was an error.
159.
by skavi 2y ago
from the faq at the end: > Why remove the screen? It wouldn’t have made the build larger! > Keeping the screen would have significantly complicated the build, as you’d need something to keep in in place. More importantly – the brick w
160.
by skavi 2y ago
How did you come up with these numbers? There don't seem to be many shipping products with these cores. In fact, the only one I could find was the Dimensity 9400 with a single X925 and older generation A720s. And of course the Dimensit
161.
by skavi 2y ago
It’s actually “10 Arm Cortex-X925 and 10 Cortex-A725” [0]. These are much newer cores and have a reasonable chance of being competitive. [0]: https://newsroom.arm.com/blog/arm-nvidia-project-digits-high...
162.
by skavi 2y ago
It’s actually “10 Arm Cortex-X925 and 10 Cortex-A725” [0]. These are much newer cores and have a reasonable chance of being competitive. [0]: https://newsroom.arm.com/blog/arm-nvidia-project-digits-high...
163.
by skavi 2y ago
Well sure they matter, but “yaoioum” wasn’t really the main point of the post. It was more of a threat; “add refinement types to Rust, or yoric will continue building poorly named static analyzers.”
164.
by skavi 2y ago
Yup. I absolutely would throw `#[from]` on everything when I started using thiserror, but now only do so in incredibly obvious cases like enum CarWontMove { EngineTroubles(EngineTroubles), WheelsFellOff(WheelsFellOff), }
165.
by skavi 2y ago
The FromIterator impl for Vec is specialized with unsafe code for these cases. FromIterator is the trait that the collect method uses. Specialization isn’t a stable feature in Rust, but is used extensively in the standard library.
166.
by skavi 2y ago
Are the tweaked reduction rules what you have on this website? I might be misunderstanding, but rule 3 certainly looks different on your website than in Barry’s book. Could you link typed_program_analysis.pdf? I can’t seem to find it.
167.
by skavi 2y ago
Very curious as to the typical strategy for implementing low power modes on things that are highly latency sensitive like a decoder. Like would whatever mechanism they’ve got behave well if fetches were alternating between cache hits and ca
168.
by skavi 2y ago
I would assume the inverse relationship. That enabling the op cache would reduce power draw. Though I also wouldn’t be surprised if they’re always running the decoder.
169.
by skavi 2y ago
it would be cool if the mentioned path traced reference mode was an option in the game.
170.
by skavi 2y ago
Exceptions are a special case of general effect systems which do include the capability you describe.
171.
by skavi 2y ago
reminds me of nix-shell shebang [0] which enables a similar pattern for scripts of arbitrary languages. [0]: https://nixos.wiki/wiki/Nix-shell_shebang
172.
by skavi 2y ago
and the repo for this project: https://github.com/microsoft/BitNet
173.
by skavi 2y ago
There was a guess somewhere in the video comments that I found convincing. (I watched the video a few days ago and can no longer find the comment). It claimed some old chess engines used time limits on certain computations as a means of con
174.
by skavi 2y ago
The humor lies in the inherent absurdity of the critique itself. Obviously no one will use this in production. There’s nothing especially clever you’re missing.
175.
by skavi 2y ago
found a source: https://www.qt.io/press/qt-provides-ux-framework-for-spotify...
176.
by skavi 2y ago
I assume you’re referring to the desktop app? I’m more interested in what’s running on Car Thing. Is there anything suggesting the old desktop app and the Car Thing app share technology?
177.
by skavi 2y ago
Would you happen to recall where you found that?
178.
by skavi 2y ago
https://github.com/ilai-deutel/kibi the repo is here btw. i appreciate that the dependency tree is appropriately minimal. also impressive how many comments are included in the source. maybe they’re not counted towards
179.
by skavi 2y ago
The environment in which an OS runs becomes increasingly adversarial with time.
180.
by skavi 2y ago
What impressed me about this thing is how quickly it booted to an interface that was modern and responsive. It even had some pretty slick animations. I’d be interested in how they achieved that. Looking at the repo it looks like the OS was

More ›