jolux

7 ms·

61.
by jolux 2y ago
¬[∀hat ∊ hats, IsGreen(hat)] ⇔ ∃hat ∊ hats, ¬IsGreen(hat)
62.
by jolux 2y ago
The US has electric kettles and I think they’re becoming more popular, they’re just a lot less convenient than in the UK because boiling water with 110v is slower.
63.
by jolux 2y ago
No, because `jj git push` only pushes bookmarks. If you `jj git push -c @` or create a bookmark, yeah, you will push the current commit, but then you're asking for that pretty explicitly.
64.
by jolux 2y ago
In my experience HTTP is a better foundation for novel protocols in most cases.
65.
by jolux 2y ago
Elixir’s implementation still has significant parts written in Erlang. I don’t know if it’s a majority but it’s a lot. e.g.: https://github.com/elixir-lang/elixir/blob/aef7e4eab521dfba9...
66.
by jolux 2y ago
It also gave a lot of money to TSMC and to the DoD to study and support chipmaking directly, though.
67.
by jolux 2y ago
> Would be timely if Western politicians showed same concern for national manufacturing capabilities instead of continuously relying on outsourcing. You mean like this? https://en.wikipedia.org/wiki/CHIPS_and_Science
68.
by jolux 2y ago
> I'm not saying I'd run it (I would not), just that I can see why they have a lot of kernel-resident code. What would you run instead, or is there a different way of thinking about the problem it addresses that obviates the ne
69.
by jolux 2y ago
published…2024-09-17?
70.
by jolux 2y ago
Does uv support platform independent lockfiles now?
71.
by jolux 2y ago
> Constitutional crises are not a matter of opinion but of occurrence, arising from an actual power conflict between arms of the government that is caused by a conflicted reading of the constitutional text. Basically, if the system just
72.
by jolux 2y ago
The successful languages without efficient dependency management are painful to manage dependencies in, though. I think Python should be shooting for a better package management user experience than C++.
73.
by jolux 2y ago
Page not found?
74.
by jolux 2y ago
(2021), not (2011)
75.
by jolux 2y ago
I much prefer Macs for development and have for more than ten years at this point.
76.
by jolux 2y ago
My guess is that Jose and the core team are both personally interested in the big wave of ML stuff we've been experiencing recently and also want to demonstrate that Elixir is a viable platform for doing this work to teams which have a
77.
by jolux 2y ago
> I don't think they're confused; I think they're worried about a robust RISC-V ecosystem weakening the ability of the US and its allies to influence the availability of processor technology by regulating licensing deals w
78.
by jolux 2y ago
Explorer is still pre-1.0.
79.
by jolux 2y ago
This seems more like confusion over the difference between an open ISA and an open chip design on the part of policymakers than confusion over the meaning of “open source”. Like perhaps they’re imagining some form of copyleft enforced by th
80.
by jolux 2y ago
Because lockdown mode makes a lot of compromises for user experience that most people don’t need to worry about — disabling JIT, for example.
81.
by jolux 2y ago
I was responding to > code they released ages ago
82.
by jolux 2y ago
> Signal spokesperson Jun Harada wrote in an email: “Intel alerted us to this paper... and we were able to verify that the CPUs that Signal uses are not impacted by the findings of this paper and therefore are not vulnerable to the state
83.
by jolux 2y ago
Signal apps and server are all on GitHub and frequently updated, for what it's worth: https://github.com/signalapp/Signal-Server https://github.com/signalapp/Signal-iOS .
84.
by jolux 2y ago
Wittgenstein later repudiated the line of inquiry that produced the Tractatus but I’m pretty sure he was quite serious about it when he published.
85.
by jolux 2y ago
Only if you think it's possible to get all of the information in someone's head out of their head without consuming significantly more of their time and energy.
86.
by jolux 3y ago
Answer: HTTP/3
87.
by jolux 3y ago
It doesn't exist with Terraform either if you are following least privilege and using a cloud provider.
88.
by jolux 3y ago
Plug for Mise ( https://mise.jdx.dev/ ) which is like asdf (which is like pyenv, but for any language you might want all in one tool) but written in Rust and without shims (by default) such that it’s much faster at running th
89.
Pre-DMA alternative iOS app stores are already riddled with malware(netcraft.com)
3 points by jolux 3y ago|0 comments
90.
by jolux 3y ago
> Apple has had the advantage of green field engineering it exactly how they want it to be from the ground up. It's not quite green field on the software side, albeit mostly. Clearly they already have experiencing re-platforming a w

More ›