cobbal

Same reason we don't have to type `(((2int + 2int)int) / 8int)int`. Type inference already exists in any ALGOL-like. Modern languages just tend to remove the arbitrary restriction that variables are the places where types must be added.

There really are a large range of opinions about this. I love high frame rate, but can't stand interpolation. I wish theaters used higher frame rates. I really enjoyed the parts of Avatar 2 that were smoother, and it felt jarring to me whenever it would switch back to low frame rates.

Probably it's just what you're used to and how much you've been trained to notice artifacts.

If the limiting factor is rainwater into the central lake, draining the lake in two different paths won't help anything.

It's really weird. I'm starting to suspect hacker news isn't a single person.

My favorite consequence of this is that running "find ~" now blocks on many GUI dialogs. Apple is sending a "we don't care about developers/power users" message very loudly.

There's a simple way to draw the curve at full precision using SVG:

   <rect x="0" y="0" width="1" height="1" />

Latency doesn't bother me too much, but throughput can really matter if I'm running a particularly verbose command. Often program speed is limited by how fast the terminal is able to clear the stdout pipe. This is especially true when running commands inside emacs "build" window (which is running who-knows-how-many regexs). If it's more than ~10,000 lines long then an instant command can be slowed down to more than 10 seconds.

"cheap money" isn't currently a crime, but fraud is. I can't say either way about unhinged VCs.

You say "S-expressions" like it's a standard, but it's really hundreds of different standards. Maybe someone needs to create nice websites for SON (scheme object notation), RON (racket object notation), ION (IMAP object notation), CLON, CLJON, ELON, R7RON (large and small), and the rest.

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://en.wikipedia.org/wiki/Verifiable_computing

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 explain them properly.

As an example, I would call a function called "mergeSort" that takes O(n^2) time incorrect.

In my experience, "Correct" means "satisfies a specification". The specification is often about the final result, but it's not limited to it.

It has the look of graphviz about it, which is an excellent tool. Often helpful in debugging anything related to graphs.

https://graphviz.org/

It's a specification of the scheme programming language: https://en.wikipedia.org/wiki/Scheme_(programming_language)

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)

"A group of security researchers (aka hackers)" is an especially bad connection to be drawing for the general public.

I suspect, but have no evidence, that it's the Maya side of AutoDesk

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.

This syntax looks almost exactly like Swift, which is also where it borrows its semantics from.

Firefox too, and they show up as annoying extra files with weird unicode names if you download directly to a WSL drive.

If source code isn't public, it's a secret by the traditional definition of the word.

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 while a program is running.

  [0]: https://en.wikipedia.org/wiki/Runtime_system

Removing the TLD was the point of AMP. All sites shall be Google.

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))

WASI is also WASM inside the browser :), since there's a js/wasm conformance of the interface: https://www.npmjs.com/package/@wasmer/wasi

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

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.

Examples I can think of off the top of my head: OpenGL (1992), OpenAL (2003?), OpenCL (2009), OpenCV (2000).

While looking up those dates though, it seems like OpenAL is now under a proprietary license, which annoys me for the same reason OpenAI annoys me.

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.

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-0.4.2/docs/Optics...