toolslive

8 ms·

61.
by toolslive 10mo ago
but... but... SSD/MVMes are not really block devices. Not wrangling them into a block device interface but using the full set of features can already yield major improvements. Two examples: metadata and indexes need smaller granulari
62.
by toolslive 10mo ago
there's also "remand" or detention before trial. One example where this is common is when there's a flight risk, or a risk the subject will influence the investigation.
63.
by toolslive 10mo ago
> As with most things, don’t be dogmatic. It depends. If you want to learn faster, you should be dogmatic: "In der Beschränkung zeigt sich erst der Meister." If you want to become a better programmer, please do set extra ch
64.
by toolslive 10mo ago
There's special place in hell for the inventor of drive names. IIRC, it's something that was nicked from CP/M.
65.
by toolslive 10mo ago
what if your IDE can show the type of any expression as a tooltip ? Would you still think the same?
66.
by toolslive 11mo ago
Ocaml has a garbage collector. It's less of a struggle than Rust.
67.
by toolslive 1y ago
I became a runner by elimination: I needed to do something for "cardiac hygiene". Swimming has a setup cost (you need to go to a pool). Cycling takes too long, so running it became. I run 40-50km/week, and honestly I do not l
68.
by toolslive 1y ago
what about a "Failed Concepts" course? Things that seemed like a good idea, but ultimately don't work. (fe, ORMs come to mind)
69.
by toolslive 1y ago
nil novi sub soli. - Intel faced a "cheating compiler" controversy when SPEC, the benchmark standard-setter, invalidated over 2,600 benchmark results for Intel Xeon processors in early 2024. ( https://www.tomshardware.c
70.
by toolslive 1y ago
It's not really "redundant copies". It's erasure coding (ie, your data is the solution of an overdetermined system of equations).
71.
by toolslive 1y ago
He (Dijkstra) even mentions this in the article: > The above has been triggered by a recent incident, when, in an emotional outburst, one of my mathematical colleagues at the University —not a computing scientist— accused a number of you
72.
by toolslive 1y ago
> No off-by-one error – By default, Fortran uses a 1-based indexing. No off-by-one errors, period. I'm with Dijkstra on this one. https://www.cs.utexas.edu/~EWD/transcriptions/EWD08xx/EWD831...
73.
by toolslive 1y ago
There are "lightweight formal methods". Most problems can be produced via small models. Tools like alloy are built around this idea. (IIRC alloy was used to show that a famous DHT had issues with the churn protocol) https:/&
74.
by toolslive 1y ago
The author is right, but it could have been worse too. At least they were not using JSON for serialization.
75.
by toolslive 1y ago
regarding databases, you get quite far using purely functional data structures and zippers. - https://www.cs.cmu.edu/~rwh/students/okasaki.pdf - https://en.wikibooks.org/wiki/Haskell/Zipp
76.
by toolslive 1y ago
>functional programming languages ... break down when you try to coordinate between components, especially when those components are distributed ... I think the exact opposite. Having spent more than a decade in distributed systems, I be
77.
by toolslive 1y ago
I never understood why stackless wasn't more popular. It was rather nice, clean and performant (well, it's still python but it provide(d) proper concurrency)
78.
by toolslive 1y ago
isn't sharpness just the opposite of quiescence ? https://www.chessprogramming.org/Quiescence_Search
79.
by toolslive 1y ago
https://en.wikipedia.org/wiki/Apple_Corps_v_Apple_Computer
80.
by toolslive 1y ago
there was a fight between Apple, the computer company and Apple, the record company (initially owned by The Beatles). They initially resolved it by The Beatles allowing the other to one to keep its name on the condition they would refrain
81.
by toolslive 1y ago
"not even wrong" https://en.wikipedia.org/wiki/Not_even_wrong
82.
by toolslive 1y ago
I've seen >> being overloaded in several libraries/frameworks. From the top of my head: - Airflow: https://airflow.apache.org/docs/apache-airflow/stable/index.html#dags - Diagrams: http
83.
by toolslive 1y ago
IMNSHO: Yes. It's a sign of the design quality of a programming language when 2 arbitrary features A and B of that language can be combined and the combination will not explode in your face. In python and C++ (and plenty of other langu
84.
by toolslive 1y ago
What bothers me most is how "fake" it all is. I've seen companies upholding an image of success while they are scraping by and leave a wake of unpaid invoices. Companies with fake job posts that keep on getting recycled (clic
85.
by toolslive 1y ago
In my country, we have both the academic title "engineer", and "engineer architect". People view this as "proper engineer" and "not so proper engineer". Anyway, "you sit down and think before you
86.
by toolslive 1y ago
Design and architecture are 2 different things. Design is about appearance. Architecture is about structure.
87.
by toolslive 1y ago
"Friends don't let friends use fast-math" https://simonbyrne.github.io/notes/fastmath/
88.
by toolslive 1y ago
until someone compiles with --ffast-math enabled, stating "I don't care about accuracy, as long as it's fast".
89.
by toolslive 1y ago
indeed. The problem with being expose do to something so much more clean/elegant/powerful than the languages employers are using is that you no longer want to do it. It's like having tasted good whisky. You no longer think Ja
90.
by toolslive 1y ago
IIRC, for a long time in the late 90s, Fedex was glued together with spreadsheets.

More ›