Daemon+Freedom by Daniel Suarez
though it is kind of mid
954 karma · joined March 28, 2013
Open-Source projects:
LaTeX-Editor: https://www.texstudio.org/
Command-line JSON/XML/HTML processor: https://www.videlibri.de/xidel.html
Daemon+Freedom by Daniel Suarez
though it is kind of mid
Now I wonder if someone could port his proof to Lean
I got a lot of group spam, where someone seems to have created a google group and added my mail to it. And then people answer the spam, and the answer is also send to everyone in the group
That also depends on the budget. I work in the public sector, so there's usually no money, but now they've just discovered that they have a 25 million budget, which needs to be spend this year on hardware (for AI). If we do not spend the money within this year, the budget expires and then we cannot spend it at all
25 million is not billions, but that could still be a higher budget than any other public institution agency in the entire state here has
search for compiler bugs
a) Are they really sent by Google Groups?
b) Why does Google allow any person to create an google groups mailing list and add my email address to it without my consent?
c) Are there really still people who have configured their autoresponders to automatically respond to autoresponders through email lists in 2025?
This week I wanted to download some old HN front pages on the command lines and only got "403 sorry"
although I do not get that now
There was actually just a large discussion thread in the Lazarus forum wondering about why it is not more popular, with almost 300 comments. But now the thread got locked. That might be a reason.
I used Delphi on Windows 98. But that became outdated, so I ported it to FreePascal. FreePascal has a lot of integrated libraries, but I do not really use anything I did not already use with Delphi.
and it still uses Pascal because I didn't plan to change it but just wanted to show people what I programmed 20 years ago
such libraries often mess the scrolling and searching up
I do not know how to fix it without reinstalling
I was trying to change a single file in squashfs container recently and could not find a way to do that.
what was wrong with the Print key?
I drink a lot of tapwater (though usually as tea)
I used to drink bottled water, because it is sparkly. I like sparkling water much more than ordinary water.
But I got tired of carrying so many bottles
I bought a CO2 device that should make tapwater sparkling. But lacked fuzz and my mother donated it away. She donates all my stuff
>This means everyone buys water in plastic containers at the grocery store, all this plastic is PET-based, and PEG is always present in small quantities in that water (because water is slightly acidic, and acids disassociate the PET molecule).
My mother only buys glass bottles because of that.
let $numberOfWords := count($words[.])
or let $numberOfWords := $words[.] => count()I just added my own tagging to my pointers. I have 48-bit pointers and 16-bit of tagging data.
I replaced all my struct { word type; char* data }; with something like (type << 48) | data. This saves a memory allocation and pointer indirection. It is much faster
I thought something would happen if you solve it
Perhaps I should try sending him a mail
But a segmentation fault is also controlled
>Your use of "exception" suggests you're thinking about it in Java terms however, and Java is equivalent here.
No, I am thinking in Delphi terms. It is overspecialized to Windows userspace. Windows gives an Access Violation, and that can be caught, and Delphi throws it as exception
>Second, you can only encounter this in explicit circumstances, when you have an Option<T>. Wheras in languages with a null type, any variable can be null implicitly, regardless of it's type.
Delphi has both nullable types and null-safe types
I do not have Windows 98 anymore. But I still have Delphi 4 installed under Wine, so I just tried it out.
Just showing a messagebox from windows gives 16k
Using the sysutils unit though, puts it at over 40k. And with classes, it becomes 57k. Not sure what they pull in. sysutils contains number/datetime parsing and formatting, and exception handling. classes has basic containers and object oriented file handling.
And I was upset that they were so big. Sometimes I used UPX. Or I kicked out all Delphi GUI libraries, and created the GUI with the Win32 API calls directly. I got 50 KB Hello Worlds.
There was a time when a virtual function call was a lot of overhead
Even having a VMT is overhead.
Sometimes the COM interface is implemented as actual interface, where the implementing class is derived from another class and the interface. (in C++ the interface is just another class with multiple inheritance, but other languages have designed interfaces). Then the class even needs to have two VMTs.
Multiple VMTs have even more overhead. And with multiple VMTs, it is not just a method call. In the functions, this always points to the first VMT. But when a function from the VMT is called, the pointer points to that VMT. So the compiler creates a wrapper function, that adjusts this and calls the actual function.
when methods from the later VMTs are called , this points (non-virtual thunk)