edwintorok

7 ms·

1.
by edwintorok 2y ago
Do you have a link to the 'Small Android Phone'?
2.
by edwintorok 2y ago
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 like https://ocaml.org/p/picos_std&#x2F
3.
by edwintorok 2y ago
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 ocaml-top) that shows how the actual nesting looks like * You
4.
You Don't Know Jack about Bandwidth(queue.acm.org)
37 points by edwintorok 2y ago|12 comments
5.
Contextual Threat Detection and Intelligence(platform.contextal.com)
2 points by edwintorok 2y ago|0 comments
6.
by edwintorok 2y ago
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 transformation platform to seamlessly transmute suboptimal textual
7.
by edwintorok 2y ago
TCP has a lot of offloads that may not all be available for UDP.
8.
by edwintorok 2y ago
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. Otherwise I never would've known it is possible to activate
9.
by edwintorok 2y ago
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 situation where I specifically needed the MS impleme
10.
by edwintorok 3y ago
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 afterwards)
11.
by edwintorok 3y ago
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 on on all CPUs, I'm assuming due to bugs in perf) * impl
12.
by edwintorok 3y ago
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 GPU (which unfortunately doesn't have open source driv
13.
by edwintorok 3y ago
The description of interaction nets sounds a bit like hash-consing, with some extra optimisations.
14.
by edwintorok 3y ago
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 control domain (Dom0). This role is about develo
15.
by edwintorok 3y ago
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 believes that the trained output doesn't violate copyright t
16.
by edwintorok 3y ago
They are not the only ones to sue. There is also a class action: https://githubcopilotlitigation.com/
17.
by edwintorok 3y ago
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 here. What if you take the source code and
18.
by edwintorok 3y ago
Small nitpick: Next version of Citrix Hypervisor is now called Xenserver again, see https://www.xenserver.com/story Disclaimer: I work here
19.
by edwintorok 3y ago
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 Disclaimer: I work here
20.
by edwintorok 3y ago
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 . Those features got introduced in X
21.
by edwintorok 3y ago
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 buggy.
22.
by edwintorok 3y ago
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 ratio, nor the fastest.
23.
by edwintorok 3y ago
This doesn't use io_uring so it might be possible to make this go even faster these days...
24.
How Jane Street is making OCaml the new Rust(efinancialcareers.com)
30 points by edwintorok 3y ago|4 comments
25.
by edwintorok 3y ago
Distrobox also works on top of other distributions like Ubuntu.
26.
by edwintorok 3y ago
I've been using this on top of both Ububtu and Fedora Silver blue, to run a Fedora toolbox, works nicely. There is also a host-exec script that allows to spawn commands outside the container while inside. E.g. it is not possible to run
27.
by edwintorok 3y ago
Had similar problem with my Steelcase chair: every time I'd stand up and my heels touched or came close to metalic part of the chair there was an electrostatic discharge that causes the screen to flicker on/off for a moment. My pr
28.
by edwintorok 4y ago
Bookmarks are a good middle ground between saving everything and not being able to find something you read later. It is integrated in the browser's address bar as autocompletion/search and if you can vaguely recall some words from
29.
by edwintorok 4y ago
The XAPI toolstack is written in OCaml: https://xenproject.org/developers/teams/xen-api/ I've recently completed bugfixing/testing on 4.14.1+no-naked-pointers, and 5.0 compatibility is not far behin
30.
by edwintorok 4y ago
This backwards compatibility decision to separate threads from domains has been very useful and allows to gradually "port" existing code to 5.0: first just fixup C bindings to avoid naked pointers, and then code can safely run on

More ›