pja

10 ms·

61.
by pja 1y ago
llama.cpp combined with Mesa’s Vulkan support for AMD GPUs has worked pretty well with everything I’ve thrown it at.
62.
by pja 1y ago
IIRC Switch was originally conceived as having one gender in the outside "real" world but another when incarnated in the Matrix (where your own self body image defines you). Hence their name - they switched. This was all dropped a
63.
by pja 1y ago
The blog post suggests that, probably because it’s never been used, it’s just too noisy to turn on. Arguably every unused variable in the code base is a potential bug like this waiting to chomp on some poor user’s data though, so arguably t
64.
by pja 1y ago
https://en.wikipedia.org/wiki/Rationalist_community Fair warning: when you turn over some of the rocks here you find squirming, slithering things that should not be given access to the light.
65.
by pja 1y ago
Scott Aaronson, the man who turned scrupulosity into a weapon against his own psyche is a capital R rationalist? Yeah, this surprises absolutely nobody.
66.
by pja 1y ago
Capital r-Rationalism definitely bleeds into cult-like behaviour, even if they haven’t necessarily realised that they’re radicalising themselves. They’ve already had a splinter rationalist group go full cult, right up to & including the
67.
by pja 1y ago
> You have to be extremely verbose in describing all of your requirements. There is seemingly no such thing as too much detail. Sounds like ... programming. Program specification is programming, ultimately. For any given problem if you’r
68.
by pja 1y ago
Bus stops are often set too close by municipalities, but that’s driven by the lack of density in US housing. Density drives efficiency. > Manhattan needs a serious demolishing to become sane Ah yes, lets demolish one of the most economic
69.
by pja 1y ago
> Sigh. People are WAAAY too accepting of urbanist propaganda. > > Buses are _barely_ more effective than cars. A regular passenger car with 4 people is more efficient than a city bus. An EV needs 2.5 people (these numbers are for
70.
by pja 1y ago
Oh sure, RLHF instruction tuning was what turned an model of mostly academic interest into a global phenomenon. But it also compromised model accuracy & performance at the same time: The more you tune to eliminate or reinforce specific
71.
by pja 1y ago
IIRC RLHF inevitably compromises model accuracy in order to train the model not to give dangerous responses. It would make sense if the model used for train-of-though was trained differently (perhaps a different expert from an MoE?) from th
72.
by pja 1y ago
Interestingly, daily masturbation appears to have a protective effect against developing prostate cancer, although no one knows why: https://www.webmd.com/prostate-cancer/ejaculation-prostate-c...
73.
by pja 1y ago
DRM mostly.
74.
by pja 1y ago
My recent experience has been that the Vulkan support in llama.cpp is pretty good. It may lag behind Cuda / Metal for the bleeding edge models if they need a new operator. Try it out! Benchmarks here: https://github.com&#x2F
75.
by pja 1y ago
All of these models appear to contain infinitely sized objects that are explicitly named / manipulable within the model, which makes them extensions of the Peano numbers though, or else they add other, extra axioms to the Peano model.
76.
by pja 1y ago
> Correct, it's impossible to specifically and formally define the natural numbers so that addition and multiplication work. Any definition of the natural numbers will also define things that look very similar to natural numbers but
77.
by pja 1y ago
AGI == A Guy Instead.
78.
by pja 1y ago
The promise of the expansion of this kind of tutorial teaching to everyone via AI is great. The problem is keeping students honest with themselves.
79.
by pja 1y ago
The tutorial system is just for teaching, not grading. It does keep students honest with themselves about their progress when they’re personally put on the spot once a week in front of one or two of their peers.
80.
by pja 2y ago
> Unseen were all the sleepless nights we experienced from untested sql queries and regexes and misconfigurations he had pushed in his effort to look good. It always came back to a lack of testing edge cases and an eagerness to ship. I
81.
by pja 2y ago
Yeah, earbud noise cancellation may as well be non-existent unfortunately. You’d think a phone could do cancellation between the bud microphone & it’s own microphones; maybe once the audio data from the bud has been pushed through bluet
82.
by pja 2y ago
In that situation you’re better off using Meet audio only & holding the phone as if doing a video call - the background noise cancellation modern phones do is very impressive but it only really works if you use the phone as a phone &amp
83.
by pja 2y ago
> Interestingly almost everything VW will reintroduce is already physical on Tesla, no? The only thing with no physical buttons on Tesla are the temperature and fans. Or am I missing something? The steering wheel on modern Tesla's h
84.
by pja 2y ago
Latest X1 Carbons have 14" 16:10 OLED screens: https://www.lenovo.com/gb/en/p/laptops/thinkpad/thinkpadx1/t... Or pick up a Framework 13 which has a 13.5" 2880x1800 16:10 screen: htt
85.
by pja 2y ago
> I think next gen we will begin seeing 24V power supplies to deal with this. May as well go the whole hog & jump to 48V. (50V is as high as you can go whilst still being inside the “low voltage” electrical safety regime in most coun
86.
by pja 2y ago
There’s a women in the medical literature (I have read the original paper, but can’t lay my hands on it right now) who had multiple children & was discovered to be a 99% XY / 1% XX chimera IIRC. (edit) This is probably the case pap
87.
by pja 2y ago
You should absolutely watch True Detective Season 1. It definitely holds up a decade on.
88.
by pja 2y ago
These labs were putting coronavirus samples into a forcing environment that drove evolutionary development towards the goal they wanted to study. Creating new lineages of the virus that differed from the original was the entire point! Given
89.
by pja 2y ago
Does Google have actual phone support where you can talk to a real live human? No. (Although does any phone manufacturer?) That said, I’ve had no issues with either of my recent Pixel phones & haven’t heard of widespread problems with e
90.
Some Lessons from the OpenAI FrontierMath Debacle(lesswrong.com)
12 points by pja 2y ago|5 comments

More ›