This feels like a restatement of the trivially obvious observation that, if your type system is Turing complete, you're going to run into the halting problem.
Readit Newscaptaincrowbar commented on Typechecking is undecideable when 'type' is a type (1989) [pdf] dspace.mit.edu/bitstream/... · Posted by u/birdculture
captaincrowbar commented on NTSB Preliminary Report – UPS Boeing MD-11F Crash [pdf] ntsb.gov/Documents/Prelim... · Posted by u/gregsadetsky
Maybe stupid question: Why not have the #1 engine spin in the opposite direction so that it doesn't go towards the fuselage?
Because making every jet engine in two different models would make them a lot more expensive. It would also cause maintenance issues because of non-interchangeable parts.
Thanks for reporting this! To clarify, what currency did you expect to see?
I'm in Australia, you're Swedish (but I don't know if your business is based there), and most web sites show US prices by default. So I wouldn't like to guess whether it was meant to be AUD, USD, or SEK.
I like this and would seriously consider buying it - except that the purchase page only has prices in something called "AA$". I have no idea what currency that refers to (AA is Aruba, but they don't use dollars), or how much that might come to in my local currency.
captaincrowbar commented on The Color of Noise (2014) caseymuratori.com/blog_00... · Posted by u/ekzhang
"In fact, people have actually made spatial pattern generators that allow you to input the frequency profile that you want, and get the corresponding point pattern out. It’s really quite neat, and I highly recommend reading this paper so you can see some other possible noise parameters, like anisotropy."
I had to hunt this 'custom colour' noise paper out since that link was dead. It is quite neat. Here it is on ACM in case anyone else is interested:
Point Sampling with General Noise Spectrum (2012) https://dl.acm.org/doi/10.1145/2185520.2185572
Non-paywalled version on one of the authors' site:
captaincrowbar commented on Borgo Programming Language borgo-lang.github.io/... · Posted by u/MrBuddyCasino
> It cannot legally be used.
Not true at all.
If you create and/or upload a repository to GitHub, you're giving others the permission to see and fork it. From the "Licensing a repository":
> If you publish your source code in a public repository on GitHub, according to the [Terms of Service](https://docs.github.com/en/site-policy/github-terms/github-t...), other users of GitHub.com have the right to view and fork your repository.
https://docs.github.com/en/repositories/managing-your-reposi...
That doesn't make it open source, just "source available".
captaincrowbar commented on Playground Wisdom: Threads Beat Async/Await lucumr.pocoo.org/2024/11/... · Posted by u/samwillis
The `await` keyword means "turn the rest of this function into a callback for the when the Task I'm waiting on finishes, and return the resulting Task". Returning a Task only works if your function is declared to return a Task.
The `async` keyword flags functions that are allowed to be transformed like that. I assume it could have been made implicit.
You can do a blocking wait on a Task or collection of Tasks. But you don't want to do that from a place that might be called from the event loop's thread pool (such as anything called from a Task's completion callback), since it can lock up.
"The `await` keyword means "turn the rest of this function into a callback for the when the Task I'm waiting on finishes, and return the resulting Task"."
Oh my god thank you. I've been trying to wrap my head around the whole async/await paradigm for years, basically writing code based on a few black magic rules that I only half understand, and you finally made it all clear in once sentence. Why all those other attempts to explain async/await don't just say this I can't imagine.
captaincrowbar commented on Battleships Logic Puzzle lukerissacher.com/battles... · Posted by u/QuadrupleA
Broken in Safari on Sequoia, unfortunately.
captaincrowbar commented on macOS Sequoia is available today apple.com/newsroom/2024/0... · Posted by u/mfiguiere
> No more control+ click to bypass gatekeeper
Can someone expand on this? How do you run software that isn't code signed?
Does the command line to remove the quarantine flag (xattr -d com.apple.quarantine filename) still work?
Windows should work since WebGPU can target DirectX or Vulkan and it should be possible to build in WSL.
However I was planning to announce next week after I've had a chance to test with my Windows-using colleagues and this thread came early, so it's possible we'll run into some hiccups.
Meet us on discord here if anyone needs helps or just wants to say hello - https://discord.gg/Q9PWDckbnR
Put it this way: Can I build an executable using this, that I could confidently give to a Windows user who has never heard of WSL?