JonChesterfield

Johannes was a leader in his field. LLVM is on a different path with his passing. We are lucky to have worked with him.

Well, git is already distributed, so you could use _any other computer_ instead of gitlab.com...

Customized compiler isn't really a thing in most languages. Because it implies changing the language, and everyone agreeing on what the language is was sort of the point of the whole exercise. Hence all the worries about macros.

SBCL has the right hooks. Jai probably does as well. You could build your own thing on LLVM relatively easily - so Rust _could_ do it if you gave it sufficient access to the compiler, but so could C++ or D.

SIMD bitmasks being ~0 instead of (00000001)+ is common and useful, but there's an annoying language design question in there about what type comparisons between vectors should be (if you don't have a <N x i1> as a type, say because you liked C too much). Shout out to std::vector<bool>.

There is probably interesting work in mojo for this. The library being in MLIR strongly encourages taking that sort of approach. I haven't looked at their implementation though. Happy hacking!

I'm well into the thousands of research papers read. Understood a fair fraction of them. Couldn't tell you what the abstract was for any. The memorable parts are the ideas and the results within the paper.

Some titles stick. "Attention is all you need". "SSA is functional programming". Plus more people see the title than read the abstract. Only one I got to name myself was "Shared Memory Remote Procedure Calls" which I now realise is in exactly the same theme of given the title, you don't need the abstract or the contents.

Turns out that the HN flagging mechanism hides the message from their auth check, so the spam doesn't actually work anyway. Oh well.

Highly recommend qemu instead. The sandbox machines are just more IP addresses on the local network. If you want them completely offline, put them on a network that doesn't have a route to anywhere. The sketchy AI harness is very happy with a whole machine to itself, complete with root access. You can push/pull git repos in from the outside, so all it can do is trash it's own sandbox and get reinstated from scratch by the physical machine below it.

That or X...

This is really important. I am already tired of hoarding rclone copies of huggingface torrents and periodically checking them for bitrot. Pirateface is not a very helpful name for it though and it doesn't seem to have scripted torrent creation either.

Is hosting the same thing at 'academictorrents' actually a viable thing? In terms of peers from either send data to one another?

edit: looks like it can treat huggingface as a backstop for torrents that are otherwise not shared which is interesting, whole load of checksum nonsense I hand rolled disappear if bittorrent handles that. Except it doesn't work?

    Magnet soon No seeders yet - a torrent mints once a seeder packages this model.

So there's some per-torrent work to be done, but I don't know what that is, and I don't see how it can be based on files I have locally _and also_ be an exact match to files on huggingface. So I'm missing something here.

edit2: Looks like an implementation error. I can create a torrent from local files and upload it, but it won't have the huggingface backstop, and I can't specify it, so that doesn't actually achieve the claimed result. Before creating community torrents in that fashion would actually be of use, the submission page needs to allow pointing at the upstream.

Also, having everyone DIY a set of files -> torrent information is insane, this should not be a SKILLS.md, it should be a bash script that makes the thing.

Bastard thing corrupted some of my source code that was "on a shelf". Just gone, no path to retrieving, reimplement it. About a decade ago now and I'm still angry about it. Don't lose the work is table stakes for source control.

You prefer having the harness execute any markdown that looks like it might be a tool call? I had a bad time getting that to work reliably whereas a grammar in the sampler gets it right every time.

I really like the json schemas around the tool calls. Much stricter validation than in codex.

Git might be worth adding to the top level. Currently you've got LSP, grep, glob nicely structured for non-mutating queries across a codebase, but git is behind bash and that means hope or sandboxing.

Thank you for uploading it. Gives a lot of insight into how the deepseek models might expect tool calls to be structured.

Libxml2 segv when the input is large and the transform complicated was something of a surprise to me. Parsing xml is easy enough but I think implementing xslt is going to be a nuisance.

That's the any type and the moving logic into json loaded at runtime features

This only holds if society manages to hang together, which in the age of military strategy written by AI is looking borderline.

It won't last. You need a good grade to find work after so handing out lower grades decreases applications next year.

On the plus side, high grade + long ago remains a signal.

Scale is a cuda implementation running on nvidia or amdgpu. Think nvcc semantics with template diagnostics by clang.

Nvidia including Spectral in their inception programs seems a big deal to me. It bodes well for the future of the cuda ecosystem.

If you'd like to run it, docs and download at https://scale-lang.com/. It's a clang fork with a bunch of libraries packaged. I'm on the dev team and always happy to hear from people.

Not imaginary. Eliding checks on nullptr and integer overflow were both implemented, shipped, miscompiled the linux kernel and grew flags to disable them. I expect there are more if one goes looking.

Well, you can't write malloc in conforming C, which hurts rather more than remembering to write bitcast as memcpy on char pointers.

Doesn't matter though because you aren't writing standards conforming C. You're writing whatever dialect your compilers support, and that's probably (module bugs) much better behaved than the spec suggests.

Or you're writing C++ and way more exposed to the adversarial-and-benevolent compiler experience.

The type aliasing rules are the only ones that routinely cause me much annoyance in C and there's always a workaround, whether if it's the launder intrinsic used to implement C++, the may_alias attribute or in extremis dropping into asm. So they're a nuisance not a blocker.

You too can solve maths problems by:

1. Generating enormous amounts of text

2. Persuading a mathematician to look closely at it

3. Announcing success if they conclude it is a proof

This is deeply disappointing relative to "chatgpt found a proof that isabelle verifies" or similar, especially the part where a mathematician spends (presumably hours) reading through the llm output.

I found a 5gbe one that claimed 60W, will power a phone but not the low power laptop I've got here. It probably isn't far off.

Ymmv. I've got a mix of cheap premade patch cables and some I crimped from solid core, all cat5e, all holding 10gbe totally happily. I suspect that only works because they're a meter or two long but that reaches across the rack.

It would do nothing. You'd get an increase in derivatives volume with the same underlying effect.

Anyone worked out how much hardware one needs to self host this one?

Get out seems an important priority. Good luck

Who makes the bar for "good at delivering tech" if the guy pushing spacex, starlink and tesla simultaneously doesn't reach it?

The existing work is all of software dev. The program did what it was told to do, not what people wanted it to do, is rather a lot of the profession.

This was _really_ surprising to me. What's the point of marking individual stores if it affects everything, not just that address. But yeah, what I can find online agrees that C++ has done this. Thanks!

I've stopped reading anything on blogs on the basis that it's now probably llm spew and life is too short for the signal to noise ratio that implies.

With the exception of things that places like HN seems to consider worth reading, which is why I'm looking through the comments to this and others to find recommendations.

Any computer you have ssh access to.

Don't give your code to Microsoft if you don't want them to have your code.

This setting will make no difference to whether your code is fed into their training set. "Oops we accidentally ignored the private flag years ago and didn't realise, we are very sorry, we were trying to not do that".