cobbal

13 ms·

151.
by cobbal 3y ago
Not practically that I know of. The definition of "not bulletproof" is very vague; why can't the friends just agree not to "return true"? There are some theoretic foundations in this line of work: https:/&#x2F
152.
by cobbal 3y ago
Some searching found http://logitext.mit.edu/tutorial . It tries to explain sequent calculus with an interactive gui prover. Not sure how approachable it is... I've gotten too used to these things to know how to explai
153.
by cobbal 3y ago
As an example, I would call a function called "mergeSort" that takes O(n^2) time incorrect.
154.
by cobbal 3y ago
In my experience, "Correct" means "satisfies a specification". The specification is often about the final result, but it's not limited to it.
155.
by cobbal 3y ago
It has the look of graphviz about it, which is an excellent tool. Often helpful in debugging anything related to graphs. https://graphviz.org/
156.
by cobbal 3y ago
It's a specification of the scheme programming language: https://en.wikipedia.org/wiki/Scheme_(programming_language)
157.
by cobbal 3y ago
They did consider using nukes as a fracking device to aid in geothermal power plants: https://en.wikipedia.org/wiki/Project_Plowshare#Proposed_nuc... (near the bottom of the list)
158.
by cobbal 3y ago
"A group of security researchers (aka hackers)" is an especially bad connection to be drawing for the general public.
159.
by cobbal 3y ago
I suspect, but have no evidence, that it's the Maya side of AutoDesk
160.
by cobbal 3y ago
I really hope not. If I'm repeatedly googling a related set of queries, knowing which pages I've already looked at is hugely helpful.
161.
by cobbal 3y ago
This syntax looks almost exactly like Swift, which is also where it borrows its semantics from.
162.
by cobbal 3y ago
Firefox too, and they show up as annoying extra files with weird unicode names if you download directly to a WSL drive.
163.
by cobbal 3y ago
If source code isn't public, it's a secret by the traditional definition of the word.
164.
by cobbal 3y ago
That's a weird usage of the word "runtime" then. To me, the definition is closer to Wikipedia's definition of "runtime system" [0] and includes any interpreters, JITs, and any other language elements present wh
165.
by cobbal 3y ago
Removing the TLD was the point of AMP. All sites shall be Google.
166.
by cobbal 3y ago
It's a low-effort addition to the dialogue, but it is a legitimate communication of a viewpoint. Who gets to draw the line of which comments should be nuked? (My view, the repo owner should (and maybe already has that power))
167.
by cobbal 4y ago
WASI is also WASM inside the browser :), since there's a js/wasm conformance of the interface: https://www.npmjs.com/package/@wasmer/wasi
168.
by cobbal 4y ago
As I understand it, that's just a way to create bleach, and bleach itself isn't particularly expensive: https://en.wikipedia.org/wiki/Electrochlorination
169.
by cobbal 4y ago
If they were the first organization known as "OpenXY", then maybe they would have a point, but there's a long tradition of open source libraries/standards using this convention that makes this especially aggravating. Exa
170.
by cobbal 4y ago
I find the command `xattr -r -d com.apple.quarantine SomeApp.app` goes a long way toward fixing many gatekeeper problems. For some reason, the right click often fails for me.
171.
by cobbal 4y ago
I clicked on this wondering if they meant optics [1] or optics [2]. Either of them would be worth reading. [1]: https://en.wikipedia.org/wiki/Optics [2]: https://hackage.haskell.org/package/optics
172.
by cobbal 4y ago
https://en.wikipedia.org/wiki/Natural_nuclear_fission_reacto...
173.
by cobbal 4y ago
- The Sydney on the left must always lie - The Sydnet on the right must always tell the truth
174.
by cobbal 4y ago
There are few miseries I deal with regularly that compare to SIP or the hardened runtime telling me I may not debug processes on a computer where I have root. If anything is going to make me abandon macOS (I've been using it since I wa
175.
by cobbal 4y ago
From the DMCA (emphasis added): > A statement that the information in the notification is accurate, and under penalty of *perjury*, that the complaining party is authorized to act on behalf of the owner of an exclusive right that is alle
176.
by cobbal 4y ago
In a world where it's probably also saving a lot of lives. Ambulance sirens probably cause a couple extra accidents as drivers try to get out of the way. Doesn't mean we should stop trying; it means we should keep trying to improv
177.
by cobbal 4y ago
That's one way to compile exceptions. There are other methods with different tradeoffs for different cases.
178.
by cobbal 4y ago
> On macOS, the Google Chrome executable is called `open -a "Google Chrome"` This inaccuracy, in particular, feels more like mad-libs than reason
179.
by cobbal 4y ago
Pretty easy to convert humans into aqueous goo; I don't see the problem here.
180.
by cobbal 4y ago
Fail if someone checks the signature, but chatGPT would definitely pass the xkcd test: https://m.xkcd.com/1181/

More ›