antonly

I am not sure there are many instances where I would be comfortable uploading my slides to a random website?

It really pains me to read the responses here to this and the AHM statements. It feels like HN people here are talking with such... privilege. These are the smartest people on the planet saying "hey, please don't do this, it's seriously hampering our work in this field". And then people on here say that mathematicians are... gate keeping? Not embracing progress? Who are you to say that? How do you know? What happened to empathy for others? I don't understand you all...

I just tried this and the results look very off. I put in the MiniSat[1] Paper, and the result appears catastrophically wrong: https://imgur.com/a/i3RHwcQ

[1]: http://minisat.se/downloads/MiniSat.pdf

What did they do with their benchmarks? I've never seen Qwen3.6 27B this close to Qwen3.8 27B in any aggregated summary... Makes one questions the entire accuracy section.

I wonder how common of a problem this will be in the future. The experiment will fail due to improper setup, the human will at best glance over the logs and declare victory, and everyone just believes.

How do we know free tier models will continue to provide adequate services? They are pretty good right now, but only because all big players are happy to burn enormous amounts of money.

But it won't even do that. In the pursuit of extracting maximal capital, better models with "better" knowledge will be gated behind higher prices. If you pay more, you get more.

How does it help equalise, if the commodity is sold "at market value" by the richest, and all intellectual input is immediately fed back into the tool. Looks at best like a weapon to supress

How is it an equalising force if the commodity is sold at "market value"? This will just lead to more wealth concentration, no?

Alright, here I go.

I don't think you are AI. I merely lament the fact that you found it appropriate to post a clearly LLM generated comment.

The problem with LLM generated comments for me is not their content, but rather their nature. I am not addressing the "actual discussion", as in my personal opinion, there is no "discussion" to be had. The post constitutes an automated response akin to an answering machine (be it much more sophisticated), and I generally do not find discussions with answering machines interesting at all.

I find it interesting that you request me to discuss subject matter when your post is intellectually equivalent to: "I generated this sequence of numbers using my pseudo-random number generator"

Hello, could you please put your over-sensationalized, overly-long, AI-generated comments somewhere else? Thank you.

Kindly, the HN Community.

A Meal Deal is literally £3.85. What are you talking about?

I beg your pardon?

This is not true. The UK has a £3.85 meal deal that is a sandwich + a snack + a drink. It's hugely popular.

Germany has the Döner Kebab, it's now about 5-9€, but the have cheaper options available too. Again, hugely popular.

I'm sure most European cities have these.

That's a major sticking point, but I am yak-shaving so hard that I ended up in a complete re-build of the static site generator and am currently in the middle of that... RSS hopefully coming in a few months once I find time to finish that process.

I honestly don't trust it for conflict resolution. I keep data that is edited in multiple places, potentially simultaneously off of it and use git instead. I've had one minor incident with corruption in the last ~year, although I already can't remember the exact circumstances. Large files are no problem at all, I've even streamed movies off of it.

Thanks, but I prefer open stuff (as stated in the article), so I'd rather use something like ollama or similar provider on a consumer-grade graphics card that I can use for other purposes too.

Some feedback on your website: The AI-generated cover image looks really awful, nothing makes sense. And your website makes my laptop sound like it's trying to compile LLVM. Both is a strong turn-off for me at least.

Thanks for sharing! It's a great read, I enjoy the writing style! Found a bunch of cool stuff to look into!

I wrote this as a rebuttal to the sentiment that "the open web is dying" that is often out forth here. Just accepting that walled gardens won is imho throwing the towel too early, as the open web is built by people like you and me, and hence only dies when we stop believing in it.

I'm sorry, I don't follow. Can you point me to where exactly I am "nitpicking" and not addressing the "main issue"?

Your main point was not "free movement of labor undermining sovereignty and eventually quality of living".

You started off by implying that the problems we see come from a "Import refugees and give them free money" policy.

I then pointed out that I don't think refugees receiving free money is the main problem, as there is comparatively little money going to refugees.

You then point out that 16% of the UK were foreign born, implying that they were refugees, that they get "free money", and that this is the reason why the UK has infrastructure problems now.

I simply pointed out that "foreign born" != "refugee".

If we entertain your goalpost-shifting and argue about free movement of labour as the root cause for lessened sovereignty and quality of living, I would like to ask you to how Chinese students coming to your country to study, or eastern European truckers trucking around your goods exactly undermine the sovereignty of your country. I am honestly curious.

I cannot figure out how this prevents your country from maintaining her own infrastructure.

Btw, I would invite you to reflect a bit on how you came to the extremely reductionist viewpoint that all foreign born people are refugees.

Woah there, not all foreign born people are refugees. That's some serious misunderstanding you have there.

Also, the "foreign born" statistic is pretty moot, seeing as UK was part of the EU until shortly before 2021 with free movement of labour. Most other European countries have higher levels of "foreign born" people living there, e.g. Austria, Germany and Sweden with around 20%[^1]. If you scroll further down, you see that ~half of these people are born within the EU.

So yeah, check your biases.

[^1]: https://ec.europa.eu/eurostat/statistics-explained/index.php...

Btw, I am "foreign born" within the UK, doing my PhD here in computer science. Most of my colleagues aren't from within the UK either. This is not because of any "policy", there simply is not enough demand from UK students to fill these places. Good luck with your country once you convinced all of us to leave. Have fun drinking your water :)

This is a really shallow and unfounded take. Sad to see this here.

This particular issue is imho mostly related to a lack in investment in water infrastructure (reservoirs and pipes). I don't see how migrants factor into this equation (not to mention that the "free money" given to migrants is scarcely a drop in the bucket). Please spread your hatred elsewhere.

This is actually a really nice example of how security tools can fall flat:

There is this check [here](https://github.com/TheAuditorTool/Auditor/blob/2a3565ad38ece...), labelled "Time-of-check-time-of-use (TOCTOU) race condition pattern".

It reads:

`if.\b(exists?|has|contains|includes)\b.then.*\b(create|add|insert|write)\b`

This matches any line that contains `if` followed by `has` followed by `then` followed by `add`, for example. This is woefully insufficient for actually detecting TOCTOU, and even worse, will flag many many things as false positives.

Now the real problem is, that the author states that this will solve all your problems (literally), providing a completely false sense of security...

> TheAuditor solves ALL of this. It's not a "nice to have" - it's the missing piece that makes AI development actually trustworthy.

> I've built the tool that makes AI assistants production-ready. This isn't competing with SonarQube/SemGrep. This is creating an entirely new category: AI Development Verification Tools.

Wow, that's a lot of talk for a tool that does regex searches and some AST matching, supporting only python and js (these things are not mentioned in the main project README as far as I can tell?).

The actual implementation details are buried in an (LLM written?) document: https://github.com/TheAuditorTool/Auditor/blob/main/ARCHITEC...

My favourite part is the "Pipeline System", which outlines a "14-phase analysis pipeline", but does not number these stages.

It reads a bit like the author is hiding what the tool actually does, which is sad, because there might be some really neat ideas in there, but they are really hard to make out.

Yes, thanks! English isn't my first language, and apparently I missed that there was a distinction between the two.

Speaking as an academic from the UK, there has been a growing sentiment of weariness about spending time in the US. From hallway jokes about getting snatched at the border and spending two weeks in detention camps, to people re-evaluating their conference and career choices to avoid the US, this marks a major shift in the mindset of the current generation of PhD students and early-career academics that will probably have untold implications for long-term research and innovation horizons...

Well, here's the AI box that people were waiting for! 128Gbyte of memory with 256Gbyte/s bandwidth! Going to be super interesting to see pricing!

[edit] Pricing seems to be around 2k, which is awesome!

I think part of the point is to find that problematic software, and contribute patches to make it work (or whatever you do for closed source software). In my mind this is a board to legitimise early adopters' requests, so that they can say "hey, this doesn't run on this very real laptop from a brand that you may have heard of".

I think this is a crucial step on the way to getting an actually good experience on RISC-V based platforms.

A while back I wanted to render some of these myself, the results can be seen at https://renders.datenvorr.at/. I have a few 760 megapixel versions of these that you can easily print at 1x1 meter with full detail if anyone is interested. I have a couple of these on my wall...

I used the project to familiarize myself with the C programming language, so the code quality is pretty bad. A while back I rewrote most parts of it, but never merged the finished result back into master...