CJefferson

5 ms·

61.
by CJefferson 5mo ago
Deepseek is fairly uncensored. I tried pushing it and reached my limits before it did.
62.
by CJefferson 6mo ago
The HTML generated by LaTeX is currently very good (you can read basically every paper on arXiV in HTML). The html generated by Typst just.. doesn't really work currently. I checked a few weeks ago, tables didn't output sensibly.
63.
by CJefferson 6mo ago
Just a quick follow up, if my reply seemed very harsh, view that as a sign of how enthusiastic I was to see the website at first. I understand wanting to make money, but I'd seriously consider giving a lot more away (maybe even the bas
64.
by CJefferson 6mo ago
So, this sounds exciting to me, but the postcode checker really feels like a spam as a user. All it tells me is 'Mixed results'. I could make a website that prints 'mixed results', I bet most results are 'mixed&#x27
65.
by CJefferson 6mo ago
They made a new format with basically no accessibility. We finally got latex usable by blind people with acceptable html output, I’m not moving to something worse.
66.
by CJefferson 6mo ago
This is a really nice website! In China it turns out there are lots of rule sets. The city I'm currently living in (Changsha) has it's own ruleset for example, with less tiles than these examples.
67.
by CJefferson 6mo ago
What's the current best framework to have a 'claude code' like experience with Deepseek (or in general, an open-source model), if I wanted to play?
68.
by CJefferson 6mo ago
To me, the important thing isn't that I can run it, it's that I can pay someone else to run it. I'm finding Opus 4.7 seems to be weirdly broken compared to 4.6, it just doesn't understand my code, breaks it whenever I as
69.
by CJefferson 6mo ago
So, I've just read a few dozen student reports, which I'm 95% sure were mostly generated by AI. The problem isn't one page of one report. It's not even one whole report. But, the more you read, the more irritating it get
70.
by CJefferson 6mo ago
I'm a professor at uni, and this is what is happening -- many students are never really learning. Then they crash into exams at the end of term when they don't have their AI, and they bomb, I'm seeing failure rates like never
71.
by CJefferson 6mo ago
Oh, that is cool, I’ve never seen that. I might add that to an extended version of the post sometime, I’ll be sure to credit you.
72.
by CJefferson 6mo ago
The chances of significant bugs in lean which lead to false answers to real problems are extremely small (this bug still just caused a crash, but is still bad). Many, many people try very hard to break Lean, and think about how proofs work,
73.
Too much discussion of the XOR swap trick(heather.cafe)
152 points by CJefferson 6mo ago|115 comments
74.
by CJefferson 6mo ago
Yes, I've found tests are the one thing I need to write. I then also need to be sure to keep 'git diff'ing the tests, to make sure claude doesn't decide to 'fix' the tests when it's code doesn't work.
75.
by CJefferson 6mo ago
To me, the thing wordpress installs offer is the GUI. I help a few people with wordpress installs, and I've ended up setting up a private wordpress install, and then I run a script which mirrors the website statically -- this is modera
76.
by CJefferson 6mo ago
It's very hard in most language to portably handle endian-ness -- almost by definition, if your code has an issue where endian-ness effects behavior, it's not-portable. I tend to take another view point (while I understand yours)
77.
by CJefferson 6mo ago
In my experience, as someone who has gone through this as maintainer of two decent sized projects, that simply doesn't work. The author of the 'port' probably doesn't know your whole codebase like you, so they are going
78.
by CJefferson 6mo ago
It’s very different, and it depends what you are targeting. I love love2d. I think love2d is better if what you love is coding, everything is code, love2d just executes Lua. If what someone wants to do is make (for example) a 2d platformer,
79.
by CJefferson 6mo ago
However, unless you are a super-programmer, it's very easy to introduce subtle bugs. Software I write has hit this occasionally, someone somewhere does something like cast an int to bytes to do some bit-twiddling. Checking your whole
80.
by CJefferson 6mo ago
The problem with NES emulation (having written a fairly bad one) is it can be hard to predict when you need to be careful, particularly in the presence of self-modifying code and interrupts. If it was easy to figure out, emulators wouldn&
81.
by CJefferson 6mo ago
You are correct, honestly, I couldn't disagree more with th article. At this point I can't imagine why it's important. It's also increasingly hard to test. Particularly when you have large expensive testsuites which run
82.
by CJefferson 6mo ago
Static code. Also, very fine details of the machine because less important. When emulating a NES (for example), you really have to emulate every register, how registers change, and also weird effects like instructions that take longer to re
83.
by CJefferson 7mo ago
They won't for coding and images, but they will socially. Everyone I know who has invested in home AI use is mostly using it for 'things that might get you banned/limited'.
84.
by CJefferson 7mo ago
Part of the problem is the courts. There are many laws now about protecting babies, in this case of they'd done nothing and mother and baby both died, they could be arrested for that.
85.
by CJefferson 7mo ago
I've always wanted something like this board, buttons which can light up (preferably a few colours), to use to make games. Anyone ever found such a board which is hackable / programmable?
86.
by CJefferson 7mo ago
One problem here is it's very easy to overtune to a past problem set -- even accidentally. You can often significantly improve performance just by changing your random number generator seed until you happen to pick the right assignment
87.
by CJefferson 7mo ago
Absoultely, I had a 2 -> 3 code base I'd mostly given up on, and Claude was amazing. It even re-wrote some libraries I used without py3 versions, decided to just write the parts of the libraries I needed. It does much better with
88.
by CJefferson 7mo ago
So do you think we should remove all laws on selling cigarettes, alcohol and guns to children, make it the parents job?
89.
by CJefferson 7mo ago
It required custom glibc patches, and getting videoes to work required some kernel stuff as well. This is a combination of getting stuff merged upstream, and removing the need for some more specialist features.
90.
by CJefferson 7mo ago
Solving it in other countries often involved a standard id that everyone uses for many things, so it becomes a standard party of life. Many people in the US, from what I can tell, don't want that.

More ›