Viewing profile — edwintorok

Do you have a link to the 'Small Android Phone'?

With OCaml 5 and effects it might be possible to use direct style, and rely on effect handlers to schedule IO. Here is an example of how structured concurrency in OCaml could look …

That can be indeed very confusing when you initially learn the language. However there are 3 things that can help: * An auto-formatter (ocamlformat integration in your editor, or o…

Lets try it on itself: > add bullshit: Paste crap, get truth. Output: > Revolutionize your digital content strategy by leveraging our cutting-edge AI-powered semantic transformatio…

TCP has a lot of offloads that may not all be available for UDP.

How do you find out what that keyboard shortcut is? I only found out when reading a similar article as the OP many years ago that complained about the removal of the textbox. Other…

Is there a case where Google Docs or LibreOffice cannot open a docx or pptx correctly? I haven't used Word or Excel since their '97 version. Even at work I can't remember a situati…

https://www.phoronix.com/news/AMD-Zen-4-LbrExtV2 LBR is supposed to work on AMD too, except it doesn't. I'll have to open a bug report (it records the data, it just can't parse it …

You probably already know, but with OCaml 5 the only way to get flamegraphs working is to either: * use framepointers [1] * use LBR (but LBR has a limited depth, and may not work o…

Interesting, I had the opposite experience: the GUI was very slow and nearly unusable on most RISC-V boards that I have, except the LicheePi4a. But that is probably just due to the…

The description of interaction nets sounds a bit like hash-consing, with some extra optimisations.

XenServer | (Senior) Software Engineer - Xenserver toolstack | ONSITE (Cambridge, UK) https://www.xenserver.com/story We build and ship a Linux distro that runs on Xen as its contr…

If you overtrain the model may include verbatim copies of your training material, and may be able to produce verbatim copies of the original in its output. If Microsoft truly belie…

They are not the only ones to sue. There is also a class action: https://githubcopilotlitigation.com/

It is questionable whether that filtering mechanism works, previous discussion: https://news.ycombinator.com/item?id=33226515 But even if it did an exact match search is not enough…

Small nitpick: Next version of Citrix Hypervisor is now called Xenserver again, see https://www.xenserver.com/story Disclaimer: I work here

Xenserver is not part of Citrix anymore. It is a sibling business unit, part of its parent company Cloud Software Group. See https://cloud.com and https://www.xenserver.com/story D…

Memory and storage live migration across hosts and pools is possible with Xen too. See VM.pool_migrate and VM.migrate_send https://xapi-project.github.io/xen-api/classes/vm.html . …

Thanks for pointing these out. I was not sure whether I should wait for Horse Creek or get the MilkV now, but with all these bugs I'd rather wait and see which one will be less bug…

Why gzip, and not a more complex compression algorithm like 'xz'? Or if you want it to be fast then 'zstd' or 'lz4'. Gzip is an odd choice: is it neither the highest compression ra…

This doesn't use io_uring so it might be possible to make this go even faster these days...

Distrobox also works on top of other distributions like Ubuntu.