HNHacker News
TopNewBestAskShowJobs

CJefferson

15,708 karma · joined June 18, 2010

Christopher Jefferson, St Andrews University, Scotland.

chris@bubblescope.net

submissionscomments
CJefferson··on The 'papers, please' era of the internet will decimate your privacy
While you could send a letter anonymously, it was also trivial for the government to read any letter it wanted.

The problem is we have switched from a world where it was easy to let the government read selected communications (single phones, letters), to one where it's hard not to give them access to everything or nothing.

Personally, if there was some 'magic wand' way I could let the government keep it's previous levels of control in the internet age (they could individually pick users and put work into monitoring their communications, with a clear low limit on the number they can previously watch), I personally would.

But that's hard to do -- it's not obvious it's possible at all, so we need to define a 'new normal', but let's not pretend we aren't taking a huge amount of existing power away from governments with large scale encryption.

CJefferson··on Vulnerability reports are not special anymore
The problem is there used to be a fairly high correlation between ‘security report’ and ‘real vulnerability’. Not perfect but good enough. Now the two are almost entirely disconnected.
CJefferson··on Deno Desktop
Many people run older versions of Mac OS X (because their machine won't upgrade), so their safari is aging -- they use an alternative browser, firefox and chrome support older mac os x.

Of course using unsupported OSes isn't the best idea, but Apple give you security updates longer than they give you 'fun' safari updates.

CJefferson··on There is minimal downside to switching to open models
One big advantage I’ve found — people get attached to models (including me). With open models if you find one that works perfectly for you but the next version doesn’t, you can run the old one forever (or someone will for you)
CJefferson··on Midjourney Medical
In the UK I see a medical practitioner before any tests, always.
CJefferson··on Midjourney Medical
Even at a smaller scale, I was shocked to go to the hospital in China and literally the first thing done was a blood sample, scanned under about 30 metrics, took about 15 minutes after the same was take. The results were sent straight to my phone. That sample had some horrendous results, so I then skipped the queue and got straight to see a doctor who already had all my numbers up on screen before he spoke to the for the first time, meaning he could immediately put me on an antibiotic drip.
CJefferson··on Tectonic: A modernized, complete, self-contained TeX/LaTeX engine
That's genuinely good to know.

The thing that often hits me nowadays is using pandoc (or pandoc via quarto) to go markdown -> latex -> pdf, which tends to bury these issues (and in markdown it's more tempting to just write emojis / unicode maths symbols.

Why use markdown, because I want good HTML output (which I realise is getting better in latex, but still not as good as markdown -> HTML.

CJefferson··on Tectonic: A modernized, complete, self-contained TeX/LaTeX engine
I'd much prefer bad looking unicode characters to just skipping them and having broken output honestly. This is currently the main reason I'm considering moving from LaTeX to typst -- just always having broken output as I use more unicode (maths symbols, emojis) in my documents.
CJefferson··on Ask HN: What are tools you have made for yourself since the advent of AI?
I tool which pulls all details from my Garmin and keeps a '5 day rolling average' series of stats -- my lifestyle means I can't keep up 'X steps a day', but I feel I can keep up 'average X steps a day for the last 5 days'. What's perfect is I can tweak it, I even added a special 'the weather is truely awful today, you can dip under average but you need to make it up later' option by getting it to automatically pull the weather forecast, or 'The weather is perfect today, really push'.
CJefferson··on DeepSeek V4 Pro beats GPT-5.5 Pro on precision
My advice -- give it a try. Chuck $5 into deepseek.com , and use this config (put it in a shell script, run ' . ./deepseek-claude.sh ', then just run claude as normal.

    export ANTHROPIC_BASE_URL=https://api.deepseek.com/anthropic
    export ANTHROPIC_AUTH_TOKEN= *** PUT YOUR DEEPSEEK KEY HERE ***
    export ANTHROPIC_MODEL=deepseek-v4-pro
    export ANTHROPIC_DEFAULT_OPUS_MODEL=deepseek-v4-pro
    export ANTHROPIC_DEFAULT_SONNET_MODEL=deepseek-v4-pro
    export ANTHROPIC_DEFAULT_HAIKU_MODEL=deepseek-v4-flash
    export CLAUDE_CODE_SUBAGENT_MODEL=deepseek-v4-flash
    export CLAUDE_CODE_EFFORT_LEVEL=max
I started by using it for some bigger reading jobs, particularly when I was near limit. Honestly, it's not quite as good, but it's much cheaper, and means I can carry on working. I also find sometimes it's good to ask claude and deepseek to consider code, how to polish, it see what they both say.
CJefferson··on Microsoft Office 2019 and 2021 for Mac view-only conversion
No, I think we do need legal protection. We have so many high quality protections when it comes to real-world items -- they could be better, but if companies are going to move everything on line, and put tech in everything, they can goddamn give us the same level of protections.
CJefferson··on California moves to exempt Linux from its age-verification law after backlash
Should a government control the porn a child can walk into a shop and buy? The alcohol and drugs they can work into a shop and buy?

Are you suggesting we remove current laws making it illegal for children to purchase these things?

CJefferson··on Colorado Amended SB051 (Age Verification Bill) to Exclude Open Source Projects
Seriously?

They didn't survive, they died:

https://www.statista.com/statistics/1041714/united-kingdom-a...

CJefferson··on Colorado Amended SB051 (Age Verification Bill) to Exclude Open Source Projects
There are so many things where we don’t do that. There are laws against giving children so many dangerous things, because you can’t watch them constantly outside the house, and honest I think unrestricted internet is worse for a child than alcohol. I’m not saying this is the right answer, but pretending it’s just a parental problem seems oversimplifying.
CJefferson··on WinUI 3 Performance: A Leap Forward
I don’t believe it’s Limiting factor in UI frameworks. I’ve profiled a lot of c++ and a lot of UI code. UI problems tend to come from too much churn and object creation, or doing too much work in the UI thread so it gets laggy, not just doing some reference counting.
CJefferson··on Princeton mandates proctoring for in-person exams, upending 133 year precedent
No, they want to train the next generation of leaders and elites, and those elites and leader's parents pay a huge amount of money to get them there.

They know not to bite the hand that feeds them.

CJefferson··on Singapore introduces caning for boys who bully others at school
I'm not saying beating children is good but.. if you think the 'state of the world' is bad, well, most countries have massively reduced how much beating children get over the last 40 years or so.
CJefferson··on Singapore introduces caning for boys who bully others at school
Where the proof that caning people for mistakes creates in the the desire for vengeance where they will hit their children.

Naughty children won't work, or do vocational training. Have you worked with children?

CJefferson··on Maybe you shouldn't install new software for a bit
I think what we really need is better sandboxes languages. I’d be much happier if my compression algorithm only had an input stream and an output stream. Maybe my gui library shouldn’t have network access or filesystem access. It just draws what I give it, gives me back what users press. You could still make evil software in this world of course.
CJefferson··on RaTeX: KaTeX-compatible LaTeX rendering engine in pure Rust
Not a latex post with someone talking about typst. Come back when the html output works. Not having good accessible output was more acceptable back when Tex was invented, it definitely isn’t now, and they made a new system and somehow got this worse then modern latex.
CJefferson··on Grok 4.3
Deepseek is fairly uncensored. I tried pushing it and reached my limits before it did.
CJefferson··on Quarkdown – Markdown with Superpowers
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. Looking at the docs their plan doesn't seem to be to aim for total coverage in general.
CJefferson··on Scraping 241 UK council planning portals – 2.6M decisions so far
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 basic report stuff) away for free, I'd love to explore my local area, my parent's, be nosey what life is like in Oxford (a place I previously lived), but even if I was willing to pay (I'm not), having to stop, get PDF, download, really breaks the flow.
CJefferson··on Scraping 241 UK council planning portals – 2.6M decisions so far
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'!

I understand wanting to get money, but honestly, there is no way I would give money to this website in it's current state, you are giving me far too little info before asking me to hand over a credit card.

Then, if someone gives you £19, a crazy amount of money honestly, the last page of the report is an advert to give them 4 times more!

CJefferson··on Quarkdown – Markdown with Superpowers
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.
CJefferson··on Mahjong: A Visual Guide
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.

CJefferson··on DeepSeek v4
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?
CJefferson··on DeepSeek v4
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 ask it to do anything.

Now, at the moment, i can still use 4.6 but eventually Anthropic are going to remove it, and when it's gone it will be gone forever. I'm planning on trying Deepseek v4, because even if it's not quite as good, I know that it will be available forever, I'll always be able to find someone to run it.

CJefferson··on Uber’s Anthropic AI push hits a wall
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 gets. It's hard not to notice the AIisms, and once you know them, it gets really obvious. And I know some people will say 'Oh, I say X', for any particular X, but the thing that people don't do is use some same construction at least twice a page, every page, forever.

Now, I can imagine there ends up being a bit of a battle, where AIs try to learn to write 'less AI', but for now, it's very obvious if you read enough AI generated stuff.

CJefferson··on The future of everything is lies, I guess: Where do we go from here?
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 before.

Now, part of me thinks 'is not letting students having AI like not letting them have a calculator'. On the other hand, if I just let the AI do the exam, well I don't really need the student at all do I?

← PreviousPage 3 of 34Next →