CJefferson

13 ms·

1.
by CJefferson 5d ago
I mean, are you saying ‘but more RAM?’ because obviously yes that’s true but not a solution if you already own a laptop, and have you seen ram prices? Also swapping to a fast SSD isn’t like it used to be on spinning discs. I’ve been amazed
2.
What happens in practice if the P=NP problem is solved?(heather.cafe)
2 points by CJefferson 7d ago|0 comments
3.
by CJefferson 9d ago
Wow, that is widely disingenuous, I don't really think there is any excuse for that, I don't believe someone deep in compression algorithms wouldn't know they could adjust the block size, and 512GB is a huge block size fo
4.
by CJefferson 12d ago
What’s interesting is it’s not obvious how this is leveraged to ‘cure disease’. But I’d love to know.the advantage of this is there is a clear measure of success. Here is a rule language. Prove this. You are done when your proof passes. You
5.
by CJefferson 17d ago
I don’t attach a raw dump of all the conversations I have with colleagues to my commit messages, and wouldn’t want to work in a place where I did. Sometimes I tell Claude ‘don’t trust file X, it was written by a colleague who writes awful t
6.
by CJefferson 20d ago
I worry this doesn’t check correctness. I’ve been finding Claude is lately awful at folllowing instructions, I’ll ask it to implement the algorithm from a paper and it will do something simpler and slower and when challenged do it’s stupid
7.
by CJefferson 21d ago
This is completely different to my experience and my reading of the research. Please link me to any of this research you are talking about.
8.
by CJefferson 23d ago
Much less than that. Anthropic won’t let its best model discuss my digestive system issues, or how to install apps on my own Peleton exercise bike.
9.
by CJefferson 23d ago
I dislike all censorship, but US models are much more censored, I often find myself using Chinese models to get answers I want. Now, of course I’d prefer no censoring, but I live in the world we live in. I’m working in the assumption that (
10.
by CJefferson 24d ago
This is why I’m trying to move to open Chinese models — because I will be able to use them forever, while the older Claude models which I genuinely enjoyed writing short stories with have now been deleted, replaced with hypothetically cle
11.
by CJefferson 1mo ago
My big problem with leaving Google is I’ve clicked on far too many ‘login with google’ boxes. In retrospect this was a mistake as it now ties my own domain to google basically forever, but lots of sites don’t even have the option to undo it
12.
by CJefferson 1mo ago
I'm a software developer. This is clearly bad, and we can decide what it should be called. It might not be 'hacking', but you are clearly abusing the computer to steal a space in a class you shouldn't have.
13.
by CJefferson 1mo ago
My gym class operates on 'write on a piece of paper, cross off your name if you want to cancel'. I could cross someone else's name off and write mine in. They would have trouble figuring out it was me who did the malicious cr
14.
by CJefferson 1mo ago
I find it amazing people don’t believe this. I lost about 50kg and people treated me better. They didn’t randomly shout ‘fat fuck’ in the street for a start.
15.
by CJefferson 2mo ago
P.P.S. Assuming you are replying to me, you seem to be projecting very powerfully. Rust isn't my favorite language, and I just asked about how much of your code was safe vs unsafe.
16.
by CJefferson 2mo ago
Do you find most of your rust code is unsafe? Because I also find I do some unsafe stuff, because of the algorithms I work on I often end up with some unchecked array accesses and a couple of raw pointers into those arrays I pass around.
17.
by CJefferson 2mo ago
Except it's 1,000x worse with the American models, because Trump might just decide that everyone in Europe get their access cut off, or gets a 5,000% tarriff. Or the companies just all agree to hike prices 10x one day. With open Chines
18.
by CJefferson 2mo ago
The problem is you can't ban open models. All you can do is say that Americans have to pay whatever stupid prices OpenAI / anthropic / Google / Grok wants to charge you, while China uses, and attacks with, open models.
19.
by CJefferson 2mo ago
I'd much prefer NFC if I could see how much I was paying and had to always confirm it -- I understand this wouldn't have worked with physical cards but I wish it was an option on my phone.
20.
by CJefferson 2mo ago
This type of thing (scan QR code) is how basically all payments were done when I was recently in China, via wechat or alipay (either you show your QR code for big shops, or scan their QR code for small shops / vendors. They can just pr
21.
by CJefferson 2mo ago
This is where 'reasonable doubt' comes in from a jury. Would I believe that someone set up a 'wipe my phone' code, something that would be catastrophic, it was one digit different, and they accidentally typed it, or wo
22.
by CJefferson 2mo ago
From the article there's this. If this isn't proof, well, I don't know what would be: A 97-page internal presentation, “Teen Fundamentals,” in May 2020, described its goal as to “look … to biological factors that are relative
23.
by CJefferson 2mo ago
Because most people can't set up a DNS blocker. There are lots of things we, as a society, decide we want to ban. I think social media is closer to illegal drugs. We don't need to let multi-billion dollar companies maximise profit
24.
by CJefferson 2mo ago
No, not at all. Students all have different voices. Yes there are similarities but if I read two pieces of work that sound in the same voice I assume there has been cheating — except this year everything is in the same voice.
25.
by CJefferson 2mo ago
This is my biggest concern. Speaking as someone who recently had to read 60 AI generated reports (the whole issue of how much students are using AI is one discussion), it was genuinely soul-destroying reading the same phrases, seem sentence
26.
by CJefferson 3mo ago
I feel this is on of those examples of where humanities and the softer sciences can teach us things. This is exactly how 'normal' languages work. New things are introduced and people (particularly older people) hate them. Over tim
27.
by CJefferson 3mo ago
Has writing secure C really changed that much? Lots of the world still writes in C99, 27 years old at this point. I think they can use a 9 month old AI model is they want.
28.
by CJefferson 3mo ago
Wow, that might be the worst name for a project I’ve ever seen. I think every programmer who sees this is going to assume it’s a Python thing. With regards the library itself —- I think it’s generally known the c++ standard library is a poo
29.
by CJefferson 3mo ago
They are going to make it a thousands times worse. It wasn't perfect before, but it at least took some time to fake a paper. The problem is now people can produce a very plausible looking completely fake paper in minutes. Peer review i
30.
by CJefferson 3mo ago
I think what upsets me the most isn't that companies do this, it's that no government seems to have any interest in stopping them. To me, it should be a fairly easy, short, and extremely popular law that if you say you are 's

More ›