qsort

64 ms·

811.
by qsort 4y ago
My personal favorites: On the cruelty of really teaching computer science : https://www.cs.utexas.edu/users/EWD/ewd10xx/EWD1036.PDF How do we tell truths that might hurt? : https://www.cs.virgini
812.
by qsort 4y ago
It's also a sentence constantly on my mind. It's interesting to note it's a very different type of criticism than the ones that usually balloon when something new or supposedly new becomes public. It's the kind of critic
813.
by qsort 4y ago
Answers to "who is the GOAT" that won't upset hardcore soccer fans are the exactly the following set: {Maradona, Pele, Cruyff}.
814.
by qsort 4y ago
Dr. Guillotin's invention still is the most humane execution method. People only like lethal injections because they don't spill any blood. Once you see blood you know what you have done.
815.
by qsort 4y ago
The where we know the backend language qualifier is doing a lot of work there. According to those statistics Scala is ahead of Javascript, Python is at 1% and behind both. I'm not sure I have a better idea on how to measure that, but
816.
by qsort 4y ago
In my experience with the exception of very specific needs, for web development the programming language is very far down the list of what matters. Number one concern is the database schema. I push hard for "server-rendered unless ther
817.
by qsort 4y ago
Yes. It's a neat trick, but from an algorithmic point of view it's exactly the same as the obvious solution, replacing a set with a hash-set. I did this with a counter in python: def first_diff(s, n): cnt = Counter()
818.
by qsort 4y ago
The association "USSR = Russians" is part of the systematic attempt by the soviet regime at cultural (and sometimes literal) genocide. The 90th anniversary of the Holodomor was just two weeks ago.
819.
by qsort 4y ago
I work in Java every day and I'll take exceptions any day over... that. I have a lot of respect for the engineering work the Go team put into the compiler, toolchain and stdlib, it's truly commendable. But the language itself is f
820.
by qsort 4y ago
As someone who was a toddler when those "screenshots" were live, teletext is one of my favorite sources of information. Mostly because very few people read it, therefore the news are straight to the point with comparatively low po
821.
by qsort 4y ago
This might change from place to place, but here in Italy whatsapp has effectively 100% market penetration. I don't know anybody except very elderly people who doesn't use it. Not that I'm a fan of it, it's kind of garbag
822.
On the foolishness of “natural language programming”(cs.utexas.edu)
1 points by qsort 4y ago|0 comments
823.
by qsort 4y ago
That "lim n->inf" is doing a lot of work there. How would you even define "limit"? You can certainly work with bounded integers, but now suddenly your arithmetic has undefined behavior.
824.
by qsort 4y ago
> Why can't you use the natural numbers? Because the rest of the axioms of ZF aren't sufficient to construct them. > what's an example of a theorem that cannot be proven without the Axiom of Infinity? That there exists
825.
by qsort 4y ago
Without the axiom of infinity you can't show that there exists an infinite set in ZF. i.e. you can't use anything infinite, including natural numbers. It's actually extremely restrictive to get rid of it.
826.
by qsort 4y ago
> what happens when all of the content on the Internet (or at least the vast majority of it) is generated by AI? I don't find it credible that all content on the Internet is ever going to be generated by AI, and the two scenarios
827.
by qsort 4y ago
It absolutely did exist 5 years ago. Trend line is flat.
828.
by qsort 4y ago
Precisely. There's a schizophrenic attitude around LLM. People simultaneously refuse to accept what they're really good at and attribute to them capabilities they don't really have. In this very thread there are people who cl
829.
by qsort 4y ago
Sometimes it will, sometimes it won't. The point is that it's "random", it has no way to tell truth from falsity. Language models are unsuitable for anything where the output needs to be "correct" for some defi
830.
by qsort 4y ago
It doesn't create anything new. It creates things that look new. The code examples are perfect case studies, they don't actually work. They aren't just slightly wrong, they're completely nonsensical. Another example is
831.
by qsort 4y ago
How it works: a probability distribution over sequences of consecutive tokens. Why it works: these absolute madmen downloaded the internet.
832.
by qsort 4y ago
For nerds: A stable cross-language, cross-OS FFI. Closest we have is C, but it's showing its age and won't always work that well. There are maybe problems around ownership but it's mostly a fuckton of engineering (and realist
833.
by qsort 4y ago
The best mix is a lot of genuine collaboration with a tiny bit of backstabbing occasionally thrown in. Be genuinely useful, cooperative and valuable, that's a given. It speaks for itself, it's rewarding to you personally, and it&#
834.
by qsort 4y ago
A special case of Hopcroft and Ullman's pairing functions! https://en.wikipedia.org/wiki/Pairing_function
835.
by qsort 4y ago
The point of the article isn't to say that python is better, all it's saying is that a more functional style leads to cleaner code. This is irrespective of python's technical merits. With a dynamic, functional language you c
836.
by qsort 4y ago
Oh absolutely. XML and HTML are the epitome of trying to solve a problem that's not very hard, and not solving it very well. S-expressions reinvented badly. JSON does have the same problem at its core, but at least it's simple and
837.
by qsort 4y ago
The problem isn't voice, it's natural language. Natural language is a fundamentally wrong vehicle to convey information to a computer. It can be useful for some specific tasks, automated Q/A, simple interfaces to databases, s
838.
by qsort 4y ago
If you replace XML with JSON and PDAs with phone apps he's spot on. "Truly powerful applications can be built using combinations of JavaScript and XML" "XML can be used to mediate between Database row-based output, async
839.
by qsort 4y ago
Or in C++20 with range adaptors. for (const auto &nut: oaktree | std::views::transform(nutgrinder) | std::views::transform(cookiemaker) | std::views::transform(cookieeater)) { // do something }
840.
by qsort 4y ago
Ridentem dicere verum, quid vetat?

More ›