Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
qsort
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
24 ms
·
421.
▲
by
qsort
2y ago
As someone who's not Excel-pilled, how does this work? Is it an alternative language to Excel's own formula language or an add-on like VBA?
422.
▲
by
qsort
2y ago
> why would we use anything but actual natural language? Because natural language is not a good tool to describe computational processes. Which one would you rather write: (a) p(x) = x^2 + 5x + 4 (b) Let us consider the object in the rin
423.
▲
by
qsort
2y ago
Millenarism is a seductive idea. If you're among the last of your kind then you're very important, in a sense you're immortal. Living your life quietly and being forgotten is apparently scarier than dying in a blaze of glory
424.
▲
by
qsort
2y ago
Occam's razor: there is no secret sauce and they're afraid someone trains a model on the output like what happened soon after the release of GPT-4. They basically said as much in the official announcement, you hardly even have to
425.
▲
by
qsort
2y ago
I read comments like this all the time in all sorts of variants (we don't need math, we don't need CS theory, we don't need regexes, we don't need pointers). What do you people even do? Most of my work is with managed la
426.
▲
by
qsort
2y ago
Because those are conflicting requirements. Let's make an example, you want to multiply two n-by-n matrices, A and B. Easy enough. Wait, is either A or B Hermitian? If so we can do better. Is either of them symmetric? Is either of them
427.
▲
by
qsort
2y ago
> 400.71 ms vs 5 min That spread in performance is not realistic though. Of course rust is that much faster, I have no doubt that you could 100x the performance of equivalent python, the problem is that it's an imaginary scenario.
428.
▲
by
qsort
2y ago
I don't agree, I think he was just plain wrong. Unlike most people here I actually think questions like this are a decent way to see how people think. I would expect people with math/stats/cs background to be able to at least
429.
▲
by
qsort
2y ago
Copy-pasting from above: > I guess my point is more that I wish the communication styles enabled by smartphones and the social expectations they carry weren't the norm. I'm not even really sure what I would do if I could wish m
430.
▲
by
qsort
2y ago
A few other models from the same line also have it IIRC, but they're all based on KaiOS and they end up being barely usable. I don't think it's their fault, I'm not sure it's even possible/EULA-compliant to use
431.
▲
by
qsort
2y ago
If this came with Whatsapp I'd unironically order one. Smartphones are garbage technology, I hate every last one of them.
432.
▲
by
qsort
2y ago
> Oh my, very aggressive And also missing the point entirely. Websites working without JS is not only a matter of security. It's security + accessibility + SEO + usability on older or quirky devices + usability via the likes of curl
433.
▲
by
qsort
2y ago
Nbviewer is just a service that lets you host notebooks, there is no computation there. > Does anyone have experience building (Supervised / Unsupervised) models using something other than Python (including deployment)? XGBoost/
434.
▲
by
qsort
2y ago
I'm not taking an absolute position either way -- the devil is in the details -- but here's my steelman for the opposing view: When you put something in the standard library, it's harder to take it out, meaning that you'
435.
▲
by
qsort
2y ago
Concrete mathematics is significantly more advanced though, if I'm not mistaken it even introduces the basics of analytic combinatorics with OGFs. Something at the same level would be the basic competitive math curriculum in combinator
436.
▲
by
qsort
2y ago
Pyodide is a port of CPython to the WebAssembly platform. PyScript is a framework that uses Pyodide to provide a framework for developing Python applications in the browser. Its elevator pitch would be "python inside script tags via py
437.
▲
Paris Olympics: Who Leads the Medal Count?
(nytimes.com)
2 points
by
qsort
2y ago
|
1 comments
438.
▲
by
qsort
2y ago
I think the world has shifted significantly, it might have been the case to expect that people would learn things like the Unix shell or git on their own when CS was a major for nerds, but realistically these days many people sign up for CS
439.
▲
by
qsort
2y ago
- they do not have the most basic scripting skill not CS - they do not know how to properly typeset documents not CS - they do not know the OS not CS There's a colorable argument to be made that we should fork from CS a new programming
440.
▲
by
qsort
2y ago
I can't find a link to an actual paper, that just seems to be a blog post. But from what I gather the problems were manually translated to Lean 4, and then the program is doing some kind of tree search. I'm assuming they are lever
441.
▲
by
qsort
2y ago
Unicode is definitely a prescriptive standard. Code point 65 is a capital A because Unicode says so -- any such standard is necessarily prescriptive. > Which means that some ephemeral undocumented proprietary encoding might be used inste
442.
▲
by
qsort
2y ago
This is why I believe including emoji in unicode was a blunder. A capital "A" is the same in any font; I can write a message in monospace and my interlocutor can read it in sans-serif, or tap in morse code and have it rendered in
443.
▲
by
qsort
2y ago
> By those parameters, "decent level" refers to the harder questions on USAMO/IMO... the top 100 in USA in a given grade level. No, those are table stakes. To reach that level you have to know the theory and be good at the
444.
▲
by
qsort
2y ago
Since Eve ate that apple pretty much everything is a "temporary phenomenon".
445.
▲
by
qsort
2y ago
As a non-native English speaker, this. Native English speakers are reluctant to give this advice, but it's the lingua franca of any field that matters. Not being able to communicate effectively will definitely be a blocker.
446.
▲
by
qsort
2y ago
Conflict of interest since I was very much into competition math in high school, but I definitely agree that at the HS level it's just about the best thing you can do. It develops your mathematical maturity in ways that simply front-lo
447.
▲
by
qsort
2y ago
None of these terms have a formal definition. The only association rule you need is: * Fancy Title -> Whatever the company wants it to be. All of the above could realistically span from "does bleeding-edge work" to "has on
448.
▲
by
qsort
2y ago
I second this. I tried it in Italian (my native language), it doesn't really make obvious mistakes but the phrasing is often awkward and robotic, and it tends to "overcorrect" sentences when in fact they are correct and idiom
449.
▲
by
qsort
2y ago
> Its not really an issue for a bingo card creator, it is if you're making blender or autocad. This is obviously valid, but considering how powerful even low-end computers are these days, I'd say that most of the stuff we do on
450.
▲
by
qsort
2y ago
In addition to that -- maybe it's just my tinfoil hat speaking -- I think it calls into question whether benchmark numbers are really that meaningful. "The machine has a 90% success rate when we tell the machine the answer" i
More ›