zvr

5 ms·

31.
Leiden Declaration on Artificial Intelligence and Mathematics(leidendeclaration.ai)
143 points by zvr 4mo ago|83 comments
32.
by zvr 4mo ago
Thank you for helping maintain the Unix lore.
33.
by zvr 5mo ago
As the old joke goes: "For your birthday, I wanted to get you a pocket calculator ... but then I thought you'd already know how many pockets you have."
34.
by zvr 5mo ago
> was Metafont the only outline-based font technology Surely Karow's Ikarus was earlier than that. One of the main innovations of Metafont was the use of "pen"s, so that one would describe a single path and the software wo
35.
by zvr 5mo ago
RIP. I've actually found the Handbook of Programming Languages (4 volumes) that he edited much more useful than his Unix history. I met him in a few conferences, back in the day. We ended up talking more about linguistics than Unix h
36.
by zvr 5mo ago
They definitely also had NUMA (Non-Uniform Memory Access): on multi-CPU systems, you had a variety of ways to specify where you wanted your data to live (stay close to one CPU, for example).
37.
by zvr 5mo ago
People who look for solutions in this space (Time Series DB for measurements, for example) can also look at the good ol' RRDtool https://oss.oetiker.ch/rrdtool/ first released more than 25 years ago...
38.
by zvr 5mo ago
And thank you for this. In my professional setting, this is a very valuable addition -- provided it works correctly, of course ;-). Now if we could also have comments inside the code ("BEGIN/END snippet by Copilot"), that wou
39.
by zvr 5mo ago
I concur completely. Back in those days, the very basic stuff you mention (awk, sed, make) were being built by a handful of people, all sitting together, and the few outsiders who were submitting enhancements (even before these were called
40.
by zvr 5mo ago
Most of this is based on Copyright legal framework, which is surprisingly homogeneous around the world. The discussions about ownership of AI-generated material are exactly the same in EU.
41.
by zvr 5mo ago
Yes, and if the same come ends up in someone else's hands, they can state "we didn't steal it, a GenAI generated it for us, the same as it did for you". Given the non-deterministic operation of current GenAI systems (a m
42.
by zvr 6mo ago
One of the minor but very welcome latest updates of Microsoft Windows was the addition of the capability to type Win+- to get an en-dash (–) and Shift+Win+- to get an em dash (—).
43.
by zvr 6mo ago
Fainali, xen, aafte sam 20 iers ov orxogrefkl riform, wi wud hev a lojikl, kohirnt speling in ius xrewawt xe Grik-spiking werld.
44.
by zvr 6mo ago
You can still start such a company now. The tricky part is to gain the trust of customers.
45.
by zvr 6mo ago
Well, if it's AI-generated, it's not really copyrighted by you and you cannot license it under GPL, since you did not write it. Nice work, nevertheless, and useful!
46.
by zvr 6mo ago
I believe the major hurdle would be from the "renter" part. Usually such installations are only allowed to be done by the owners, not tenants.
47.
by zvr 6mo ago
Interesting, but some of the information is conflicting: the design was about "No assumed orientation. Something that works in a mirror" but then the 24-hour arc talks about "(top, 12 o'clock position) clockwise". P
48.
by zvr 6mo ago
People are still be born in Sparta, Greece; no time travel needed.
49.
by zvr 6mo ago
It's pretty straightforward to sync the contacts on the phone with the contacts on Fastmail via CardDAV, using DAVx5 for example.
50.
by zvr 7mo ago
Right! ed was the first one, and its ideas and commands influenced sed (a "streams" ed), and ex (an "extended" editor, which also had a "vi"sual mode).
51.
by zvr 7mo ago
It's even easier to exec a hash of argv[0] and print it.
52.
by zvr 7mo ago
Of all the C-named fonts introduced by Microsoft at that moment in time, I think Consolas was the one which made the greatest difference from what was available already. Let's see whether it will also be the one with the most lasting i
53.
by zvr 7mo ago
IIRC, it will never stop because now it has been "standardized". The OOXML specification explicitly mentions that the conversions of dates and their attributes (like whether a year is a leap one) has to follow the Excel implemen
54.
Michael Twyman, 1934–2025(gerryleonidas.substack.com)
3 points by zvr 7mo ago|0 comments
55.
by zvr 7mo ago
Most (all?) of the solutions offered are not providing a "code review service" but rather a "curated registry" one: download from us and we guarantee some things. It's definitely more widely known/used for cont
56.
by zvr 7mo ago
The complexity (and therefore the effort) of implementing such a setup varies greatly, depending on the ecosystem you're working on: Java, Python, Rust, Go, Node, ...
57.
The Controllability Trap: A Governance Framework for Military AI Agents(arxiv.org)
1 points by zvr 7mo ago|0 comments
58.
by zvr 7mo ago
For anyone interested, the corresponding software has been released under an Open Source license: https://github.com/IntelLabs/encrypted-computing-sdk
59.
by zvr 7mo ago
I also regularly visit the 3-4 that are within 10 minutes walking distance from my place. It's fun to see that they have slowly become more "specialized"; for example, English books typically appear in only one of them.
60.
by zvr 7mo ago
Even better would be an advanced user setting, allowing to set the difference percentage. I find it illuminating to answer questions with 100% (or more), when one answer is at least double the other -- and still make mistakes.

More ›