mkl

63 ms·

661.
by mkl 2y ago
Previous discussions, from 3 years ago: https://news.ycombinator.com/item?id=30116316 (71 points, 15 comments) https://news.ycombinator.com/item?id=30033611 (60 points, 13 comments) Has anyone tried Rebelle
662.
by mkl 2y ago
The article doesn't attempt to throw him out or cancel him for the worst things he said and did, and nor did I.
663.
by mkl 2y ago
The article goes into plenty of detail about large numbers of people who knew him being unwilling or unable to tolerate him. The use of the word makes sense here. As well as the negatives, the article also celebrates his successes, rather
664.
by mkl 2y ago
https://archive.ph/pKO54
665.
by mkl 2y ago
It looks pretty easy to extract from the svg elements, as the aria-label attributes contain everything, e.g. "Urban and regional planners, Colour 2: Grey, Size: 1, Mean age at death, years: 76.82, Risk-adjusted % of Alzheimer's de
666.
by mkl 2y ago
But not showing any of the native interface elements that are supposed to set this terminal emulator apart.
667.
by mkl 2y ago
From https://ghostty.org/docs/features : > macOS > Quick Terminal: Lightweight terminal that animates down below the menu bar for instant access without interrupting work.
668.
by mkl 2y ago
> I don't use Snap on my Ubuntu Desktop systems because I don't like apps secretly updating without my awareness My experience with Snap is that it bugs me about Firefox updates multiple times a day for two weeks. Okay, it doe
669.
by mkl 2y ago
And even more ambitiously, WinFS: https://en.wikipedia.org/wiki/WinFS
670.
by mkl 2y ago
> Sloths weren't always slow-moving, furry tree-dwellers. Their prehistoric ancestors were huge—up to 4 tons No, modern sloths are not descended from giant ground sloths. The rest of the article might be okay, but it's hard to
671.
by mkl 2y ago
So it's not trivial and you don't have competent AI office workers.
672.
by mkl 2y ago
New Zealand is not part of a continent (unless you consider Zealandia [1] one, which few do). It's a bunch of islands in the middle of the sea, far from other land. It is part of named regions which sometimes substitute for continent
673.
by mkl 2y ago
> You can trivially spin up a computer using agent to self improve itself to being a competent office worker If that was true, office workers would be being replaced at large scale and we'd know about it.
674.
by mkl 2y ago
Unfortunate choice of name. If you search for you'll get a crap ton of Myers-Briggs pseudoscience ( https://en.wikipedia.org/wiki/Myers%E2%80%93Briggs_Type_Indi... ).
675.
by mkl 2y ago
It's not AI in itself, but it's one of the best possibilities for enabling AI systems to generate mathematical proofs that can be automatically verified to be correct, which is needed at the scale they can potentially operate. Of
676.
by mkl 2y ago
An MIT LICENSE file was added about an hour after your comment.
677.
by mkl 2y ago
Okay, I see what you mean. To me "program" usually implies process, even in a runtime.
678.
by mkl 2y ago
You don't need io_uring for that - the usual synchronous file operations will cause the OS to switch away from processes while they wait for disk, if there are other processes needing to do work. OP's design is for when you have
679.
by mkl 2y ago
And with enough practice, "weird" becomes ordinary. I can keep rhythm in 7/8 and 7/4 almost as easily and automatically as 4/4 now, but 10 years ago it still took work. I sometimes go entire days with unbroken 7&#
680.
by mkl 2y ago
Yes, deliberately introducing vulnerabilities when generating code is a good one, and could be quite subtle. For running console commands though, anything touching configuration for ssh, gpg, bash aliases, ~/bin, cron, etc., should be
681.
by mkl 2y ago
How would a bunch of weights make a backdoor? The worst it could do is detect it's accessing an actual console and run a logged, visible command that tries to mess with your config or phone home, which is more of a front door with fla
682.
by mkl 2y ago
That seems to be just for LLMs, not visual. I'm wanting to go from images of maths notation (photos, scans, digital handwriting) to formulas in Latex or MathML or something. Qwen2-VL can do it, but it's pretty heavyweight for ju
683.
by mkl 2y ago
It's pretty good for handwritten maths too - I just tried that demo. Do you know any other open models good at maths notation?
684.
by mkl 2y ago
Yes. A very long time after Neanderthals were extinct though, so I don't see the relevance.
685.
by mkl 2y ago
The article mentions this in the subtitle and body.
686.
by mkl 2y ago
Big discussion a few days ago: https://news.ycombinator.com/item?id=42302784
687.
by mkl 2y ago
It seems that they might, but perhaps not in a good way yet, and they have it as a goal. From https://loro.dev/blog/v1.0#next-steps-for-loro : > When merging extensive concurrent edits, CRDTs can automatically merge
688.
by mkl 2y ago
Hardly. That just threw away Edit1, failing to follow instructions even in this very simple case.
689.
by mkl 2y ago
It's a public university, donors are not a significant source of funding, and government funding has not increased commensurately with the number of students, which has gone up dramatically in recent years (mainly due to relative cost
690.
by mkl 2y ago
And even better, consecutive tutorials must be in the same room or nearby rooms (tutors and teaching materials can't teleport), and there are two or three simultaneous sequences of tutorials in big courses (so consecutive tutorials act

More ›