svieira

35 ms·

511.
by svieira 3y ago
The former
512.
by svieira 3y ago
> I think a scientific mindset and some kind of “spirituality” go hand in hand. > They’re not mutually exclusive, and each enhances the other. Did you know that what we call "science" the Greeks and the Scholastics used to c
513.
by svieira 3y ago
For those who follow along but don't do this for work or fun (yet) is this a Futamora projection? http://blog.sigfpe.com/2009/05/three-projections-of-doctor-f... Or is this a simpler form of static analysis &
514.
by svieira 3y ago
What are the best ways of externally incentivizing usage that aren't numeric that you know of or think would be worth looking into?
515.
by svieira 3y ago
IFF they produce facts and only facts they would STILL fail at their goal, because education is the transmission of virtue and machines cannot be virtuous. As a lossy interface on top of the global library that is the internet LLMs do just
516.
by svieira 3y ago
> I think part of the genius of React is actually not using [signals] Except that with the introduction of hooks (aka "OCaml 5.0 effects, but in JS, as a UI framework") you get some of the same interesting issues cropping up in
517.
by svieira 3y ago
> Science taught me that it's all just atoms and the void, so there can't be any deeper point or purpose to the whole thing Since science† doesn't have anything to say on the subject of purpose (since it's literally m
518.
by svieira 3y ago
Does it define it correctly? Can it tell? Can you?
519.
by svieira 3y ago
Jesting Pilot's question is one, for a start. "Quid est veritas" can only be answered by one who sees.
520.
by svieira 3y ago
Aristotle was right - or else the electronic calculator, the abacus, and rocks know how to do arithmetic too. (One needs to specify what "knowing" means before smiling at the hairless apes of the past).
521.
by svieira 3y ago
And I have one that unifies _both_ to `clip` so you can put the same command in both sides of the pipe, e. g. to turn a line-delimited blob on your clipboard to a space-separated one: clip | tr '\n' ' ' | clip
522.
by svieira 3y ago
https://www.snopes.com/fact-check/shoot-me-kangaroo-down-spo...
523.
by svieira 3y ago
The invalid presumption is "A human picks out the best 2 images". People will absolutely stop looking at these in any meaningful way (or even produce them in a direct-to-the-internet pipeline)
524.
by svieira 3y ago
https://www.lurklurk.org/effective-rust/errors.html#minimal-... has what seems (to my naive understanding) to be mis-statement. Given a trait: pub fn find_user(username: &str) -> Result<UserId, MyErr
525.
by svieira 3y ago
The nice thing is that any graph without a unit can be log-scale - so in a way, it already is.
526.
by svieira 3y ago
I'm not _entirely_ sure which RAII you mean, but if you mean something like C#'s `using` or Java's `try-with-resources` or Python's `with`, then https://github.com/tc39/proposal-explicit-resource-man
527.
by svieira 3y ago
Depends on if you're using Monix/Haskell style tasks (lazy, run when depended on) or JS-style promises (E Promise / C# Task / Java Future - run when instantiated, waiting is post-submission). Agreed completely though, s
528.
by svieira 3y ago
Obsidian's editor is "show codes on cursor" by default. As you navigate through the rich text expression it changes to the markdown format that produces that expression. You're always in a line / block of Markdown
529.
by svieira 3y ago
Everyone is re-inventing "show codes" from Wordperfect 5 and other similar platforms because no one who is inventing these things has ever used Wordperfect 5. That said, re-solving this problem is turning up some nice new U/X
530.
by svieira 3y ago
See also: https://www.tedinski.com/2018/11/06/concurrency-models.html which is the first article I've ever seen that says that `m:n`-style-green-threads are bad and good at the same time. TL;DR - he says
531.
by svieira 3y ago
It really seemed that the issue was mostly "Unicode is really hard if you haven't thought _deeply_ about it" because application code, library and framework code, _and_ "system" Python code had to go through several
532.
by svieira 3y ago
_Unyielding_ describes the issues that arise when the author of the code doesn't have control of the transactionality / atomicity of their operations at the level they need to: https://glyph.twistedmatrix.com/2014&
533.
by svieira 3y ago
> Not 100% clear about actors -- I was weirdly focused on that model that in practice has many issues Does anyone have any insights on the particular issues with actor-based concurrency vs. "direct parallelism like threads or locks&
534.
by svieira 3y ago
Anyone else see the title and the site domain think, "Oh, was Salt Lake an obscure Intel architecture that was too stable and caused errors in programs because there weren't enough CPU errors during startup?" The actual deb
535.
by svieira 3y ago
https://blog.the-pans.com/notes-on-the-foundationdb-paper/ is one: > Client (notice not Proxy) caches uncommitted writes to support read-uncommitted-writes in the same transaction. This type of read-repair is only f
536.
by svieira 4y ago
> which also had some ability to run your client as a cluster node that you alone get to query FoundationDB does this as well.
537.
by svieira 4y ago
I'm curious as to how this plays out in practice (though I love the theory). Some questions: 1. Is this measured in _depth_, in breadth , or in both directions (and if both is the total calculated with `MAX` or `SUM`)? 2. Do you run
538.
by svieira 4y ago
The first part of Guy Steele's talk on Fortress: https://www.infoq.com/presentations/Thinking-Parallel-Progra...
539.
by svieira 4y ago
Given this example, the ratio in square miles US to NL is approximately 237 / 1. So 23x the money and 237x the size leads to one order of magnitude less money per square mile when comparing the two situations.
540.
by svieira 4y ago
For those who haven't read E. M. Forster's fantastic short story, it's here: https://archive.org/details/e.-m.-forster-the-machine-stops_...

More ›