[dead]
An interesting situation, to be sure, that came about because of this bug
I'd say the text really captures something a lot of us feel but can't put into words. We're used to judging software by how many features it has, but what actually gets us is something else: the feeling that someone put…
The reaction to Xray-core is disappointing
The idea is good, but the execution... is dismal
Just because something is convenient or necessary for you, it doesn't mean it is convenient or necessary for everyone
I'm about halfway through Slouching Towards Utopia by Brad DeLong
I like this project
I like this emulation feature. A frontend capable of mimicking MSVC or GCC behavior seems very useful for porting code or developing tools that need to exactly replicate the operation of another compiler.
It turns out so many kids are up to this sort of thing. Honestly, I would have been absolutely convinced they were bots.
It still seems a bit strange
I thought I was the only one who had to deal with this nonsense
Curious how much of the emulation ends up in hot paths before SVE and the feature variants land.
That's true in general, but California aqueduct land is mostly valuable cropland, and the other side is at wildfire risk
Bookmarked, thanks
Given how much surrounding machinery the graph sandwich proof depends on, would it even be feasible to formalize it in Lean without first formalizing large chunks of random graph theory? And if not, does that mean…
For small-scale personal or family applications serving just a few users, does it make sense to choose Quick Tunnels over Tailscale or Pangolin?
[dead]
[dead]
An interesting situation, to be sure, that came about because of this bug
[dead]
I'd say the text really captures something a lot of us feel but can't put into words. We're used to judging software by how many features it has, but what actually gets us is something else: the feeling that someone put…
[dead]
[dead]
The reaction to Xray-core is disappointing
The idea is good, but the execution... is dismal
Just because something is convenient or necessary for you, it doesn't mean it is convenient or necessary for everyone
I'm about halfway through Slouching Towards Utopia by Brad DeLong
[dead]
I like this project
I like this emulation feature. A frontend capable of mimicking MSVC or GCC behavior seems very useful for porting code or developing tools that need to exactly replicate the operation of another compiler.
It turns out so many kids are up to this sort of thing. Honestly, I would have been absolutely convinced they were bots.
It still seems a bit strange
I thought I was the only one who had to deal with this nonsense
[dead]
[dead]
Curious how much of the emulation ends up in hot paths before SVE and the feature variants land.
That's true in general, but California aqueduct land is mostly valuable cropland, and the other side is at wildfire risk
Bookmarked, thanks
[dead]
Given how much surrounding machinery the graph sandwich proof depends on, would it even be feasible to formalize it in Lean without first formalizing large chunks of random graph theory? And if not, does that mean…
For small-scale personal or family applications serving just a few users, does it make sense to choose Quick Tunnels over Tailscale or Pangolin?