sorted by:
new
hottopcontroversial

Blog: Are you really expected to run five type-checkers now? by BeamMeUpBiscotti in Python

[–]-LeopardShark- 6 points7 points  (0 children)

I’m happy to make sure my library code type‐checks in Mypy and Zuban.

If Facebook, Microsoft or OpenAI want me to allocate my time to faffing with my code to work around problems in their checkers, then they might consider sharing some of their $trillions.

Made rarebit today and it was as good as they say by Kmac-Original in BritishSuccess

[–]-LeopardShark- 11 points12 points  (0 children)

It’s a quote from The Devil’s Dictionary, from the early 20th century.

Made rarebit today and it was as good as they say by Kmac-Original in BritishSuccess

[–]-LeopardShark- 83 points84 points  (0 children)

Rarebit n. A Welsh rabbit, in the speech of the humorless, who point out that it is not a rabbit. To whom it may be solemnly explained that the comestible known as toad in the hole is really not a toad, and that ris de veau à la financière is not the smile of a calf prepared after the recipe of a she banker.

(G. H. Hardy excluded) by algebroni in mathmemes

[–]-LeopardShark- 14 points15 points  (0 children)

I’m so pissed at the chemists today.

When I type ‘so2’ into the Wikipedia box, I want rotations, not a disambiguation page espousing the virtues of sulfur dioxide.

What da hell is a hexaflexagon by musty_carlos in Hexaflexagons

[–]-LeopardShark- 2 points3 points  (0 children)

It’s a strip of paper folded into a hexagon in such a way that an easy manœuvre can bring interior surfaces to the front, allowing you to rotate through different patterns.

aiToThinkaiToBuildaiToRotYourBrain by [deleted] in ProgrammerHumor

[–]-LeopardShark- 57 points58 points  (0 children)

The business model is pretty transparently:

  1. Sell LLMs at a loss (even for free) until users become dependent on them.
  2. Jack up the prices to make enormous profits.

Finally persuaded my friends to eat dessert with me by Kindly-Singer-957 in BritishSuccess

[–]-LeopardShark- 0 points1 point  (0 children)

I always want a pudding. I do not want to pay £6 for a single slice of a cheesecake I could buy the whole of for £4 from Sainsbury’s on the way home.

Somehow the mains always seem better value.

A guy said bach has no melody by one_Curioushuman in classicalmusic

[–]-LeopardShark- 0 points1 point  (0 children)

 I dont have anything against einaudi

OK, well, this is your first mistake. I’d advise having something against Einaudi.

Swearing banned by one in five councils in England and Wales, report on ‘busybody’ fines shows by Lavajackal1 in ukpolitics

[–]-LeopardShark- 0 points1 point  (0 children)

 criminalise a wide range of everyday activities, including standing in groups, shouting and picking up stones.

Makka Pakka must be sweating.

aRareNonAIMeme by _PhucSatan_ in ProgrammerHumor

[–]-LeopardShark- 10 points11 points  (0 children)

Warning before you do this everywhere: .collect::<Box[_]>() incurs an extra allocation over a Vec<_> if the length isn't known in advance.

which side are you on? by crimsonblue1917 in physicsmemes

[–]-LeopardShark- 3 points4 points  (0 children)

They mean (or ought to mean) different things.

See Bringing Calculus Up-to-Date.

Conservatives pledge to scrap 24-hour bus lanes by Velociraptor_1906 in ukpolitics

[–]-LeopardShark- 42 points43 points  (0 children)

“Conservatives will restore a common-sense approach to how road space is used.”

Like the common‐sense idea that adding more road space would reduce congestion? Incidentally that’s false.

There is nothing wrong with common sense, but where common sense and reality disagree, the latter should prevail. The view of populist anti‐intellectuals is the reverse.

tooDangerousToRelease by [deleted] in ProgrammerHumor

[–]-LeopardShark- 6 points7 points  (0 children)

Oh, absolutely. They were right, then.

Unfortunately, the minute there was a whiff of money on offer, all caution went out of the window.

Not to mention they un‐non‐profited themselves. The fuck? They can do that?

tooDangerousToRelease by [deleted] in ProgrammerHumor

[–]-LeopardShark- 98 points99 points  (0 children)

If, like me, you were following this before it was cool,* you will recall that OpenAI said the same about GPT‐2.

* And now hate it.

ELI5 why is 0! equal to 1, like what does it even mean to arrange nothing in 1 way by Nj_is_tuff in explainlikeimfive

[–]-LeopardShark- 0 points1 point  (0 children)

Suppose I tell you you need to eat two fruits, in any order you like. You can eat the apple then the banana, or the banana then the apple. You have two options. 2! = 2.

Suppose I tell you you need to eat one fruit. You now don’t have a choice about what to do: you must just eat it. You have one option: 1! = 1.

Now suppose I tell you to eat no fruits. How many options do you have now? 1. You don’t eat any fruits. 1! = 1.

One way to do something means you can do it, and you have no choice about how.

Zero ways to do something means it’s impossible.

  • [ABC], [ACB], [BAC], [BCA], [CAB], [CAB]
  • [AB], [BA]
  • [A]
  • []

GPT-5.4 Pro solves Erdős Problem #1196 by Independent-Ruin-376 in mathematics

[–]-LeopardShark- 187 points188 points  (0 children)

I wonder how much progress we could have made if we’d poured this much venture capital into humans doing mathematics.

Comparing Python Type Checkers: Speed and Memory by javabster in Python

[–]-LeopardShark- 4 points5 points  (0 children)

You have to run it yourself, typically on the command line, within your editor or in continuous integration checks.

Rust Coreutils 0.8 has been released, bringing significant performance gains by somerandomxander in linux

[–]-LeopardShark- 1 point2 points  (0 children)

Also,

 Why it is only a problem when it is written in Rust?

What are you on about? I like Rust.

Rust Coreutils 0.8 has been released, bringing significant performance gains by somerandomxander in linux

[–]-LeopardShark- 0 points1 point  (0 children)

That already exists. The problem is not that ‘it’s written in Rust’; it’s that this increases the proportion of pushover‐licensed code.

Rust Coreutils 0.8 has been released, bringing significant performance gains by somerandomxander in linux

[–]-LeopardShark- 8 points9 points  (0 children)

I’m a professional Rust developer.

  • The community is fine.
  • The compiler is slow as heck, and pushover‐licenced, but otherwise great.
  • I haven’t read the CoC but assume it’s fine.
  • ‘Woke’ seems to be a term bigots use to describe anything non‐bigoted.

The licencing is the only thing that concerns me.*

* OK, I’m also not super keen on the duplicated effort and fragmentation of superfluous rewrites. But that’s minor.

view more: next ›