HNHacker News
TopNewBestAskShowJobs

facturi

5 karma · joined July 23, 2024

submissionscomments
facturi··on User-defined Order in SQL (2018)
It works in MariaDB.
facturi··on Official proposal for Type Unions in C#
Tearing issue is mentioned in this issue https://github.com/dotnet/csharplang/issues/7016 but not in proposal
facturi··on Official proposal for Type Unions in C#
That proposal doesn't mention how the union struct handles tearing under concurrent modification.

Tearing can cause memory safety issue. Variant A can have an integer field and variant B can have a reference field in the same offset. Tearing can cause it to treat an integer as reference.

facturi··on A hash table by any other name
In GC languages, RCU is just atomic pointer update with immutable data structure. In a language without GC, it requires delayed destruction to avoid memory safety issues.

Linux kernel's RCU waits for all CPU cores to context switch and disables preemption when reading RCU data structure. This is not usable in normal application programming.

facturi··on When objects are not enough (2021)
This is related: Why relations are better than objects https://www.cell-lang.net/relations.html
facturi··on Ask HN: Fast data structures for disjoint intervals?
Does the range query aggregate the elements in range? If the aggregation operation forms a group (follows associativity law, has inverse) you can use prefix sum data structures like Fenwick tree.

If it doesn't have inverse so that you cannot subtract prefix sum, sparse table can be used.