skissane

107 ms·

1561.
by skissane 2y ago
> There is no formal theory for biology, the complexity exceeds our capacity for modeling it with formal language but that's not true for computers. We don’t know to what extent that’s an inherent property of biology or whether that
1562.
by skissane 2y ago
> That's still a number because everything in a digital computer is a number or an operation on a number. I feel like in this conversation you are equivocating over distinct but related concepts that happen to have the same name. Fo
1563.
by skissane 2y ago
> Even with a source of randomness the software for a computer has a formal syntax and this formal syntax must correspond to a logical formalism. Real world computer software doesn't have a formal syntax. Formal syntax is a model wh
1564.
by skissane 2y ago
> A composition of numbers is also a number but a composition of atoms is something else and not an atom so I didn't really follow the rest of your argument. That's not true. To give a trivial example, a set or sequence of numb
1565.
by skissane 2y ago
> My point is that when people say computers and software can have intentions they're stating an unfounded and often confused belief about what computers are capable of as domains for arithmetic operations. Furthermore, the Curry-Ho
1566.
by skissane 2y ago
From my own idealist viewpoint – all that ultimately exists is minds and the contents of minds (which includes all the experiences of minds), and patterns in mind-contents; and intentionality is a particular type of mind-content. Material&#
1567.
by skissane 2y ago
Even more: clone3, __clone2 (only exists on Itanium), fchmodat2, preadv2, pwritev2, pipe2, sync_file_range2, mmap2 (only certain architectures; for x86, only 32-bit), renameat2, mlock2, faccessat2, epoll_pwait2 My personal prediction is soo
1568.
by skissane 2y ago
> Intentions are not reducible to computational implementation because intentions are not algorithms that can be implemented with digital circuits. What is an "intention"? Do we all agree on what it even is? > What can be im
1569.
by skissane 2y ago
> If you're on Windows you should try the powertools OCR tool. Which is open source (MIT-licensed), the source code is here: https://github.com/microsoft/PowerToys/tree/main/src/modules... I
1570.
by skissane 2y ago
> You're using circular logic. You are assuming all physical processes are computational and then concluding that the brain is a computer even though that's exactly what you assumed to begin with. No, I never assumed “all physi
1571.
by skissane 2y ago
> Lying is intentional, algorithms and computers do not have intentions. People can lie, computers can only execute their programmed instructions. Much of AI discourse is extremely confusing and confused because people keep attributing n
1572.
by skissane 2y ago
> (00.121636) Error (criu/namespaces.c:423): Can't dump nested uts namespace for 2685261 Found a GitHub issue for this: https://github.com/checkpoint-restore/criu/issues/1430 The issue apparent
1573.
by skissane 2y ago
We may be moving towards a situation in which the West and the China/Russia block end up being completely disjoint as far as proprietary software goes (whether cloud or on-premise), due to each banning the proprietary software of the o
1574.
by skissane 2y ago
> Actually SPARC have four instructions that are directly meant for efficient implementation of Lisp/Smalltalk that came from SOAR and SPUR. You are talking about the tagged add and subtract instructions, TADDcc/TSUBcc, and the
1575.
by skissane 2y ago
I've seen this before. Someone starts a hobby project, and then creates this elaborate public website to try to make their hobby project look really serious and professional and important – maybe as a form of public daydreaming, mayb
1576.
by skissane 2y ago
> But even for "up to 7.5.3", it is just binaries; no source code. There is a leak of the System 7.1 source code floating around, although apparently it is missing some major components (such as the 68K emulator for PPC Macs)
1577.
by skissane 2y ago
That’s not what we are talking about here. We are talking about the unreleased “Star Trek” project in which Apple ported System 7.1 to run on top of Novell DOS 7 (descendant of DR-DOS) - https://en.m.wikipedia.org/wiki/
1578.
by skissane 2y ago
> The only place I've ever heard someone say "I bought my apartment" is New York, but even that is just vernacular, because the governing body is some sort of association or condo board. It's not "just vernacular
1579.
by skissane 2y ago
> If they owned one unit, they'd probably say they owned a condo and were renting out an apartment That sounds really confusing – owning one thing, but are talking about it as if it were two separate things. Does anyone actually tal
1580.
by skissane 2y ago
But would the landlord call it an "apartment"?
1581.
by skissane 2y ago
> Not sure where you're from, but in most of the US "apartments" are not assets, but liabilities: tenants don't own them, but rent them. A rented apartment is a liability to the tenant, but an asset to the landlord. A
1582.
by skissane 2y ago
The problem is that copyright laws were not designed to encourage historical preservation, at least not for computer software. Source code escrow should be a condition of copyright for closed source software.
1583.
by skissane 2y ago
Probably some developer still has a stack of floppy disks with the source code on it. Issue is, they aren’t supposed to, do they want to risk getting in legal trouble with their former employer over it?
1584.
by skissane 2y ago
The big problem with 90s/early 2000s Linux was drivers. Which is still a problem with 2020s Linux, but significantly less of a problem than it once was. However, if a hardware manufacturer wanted to support Linux, they could develop&#x
1585.
by skissane 2y ago
Here is a real URN which is also a good example of what you’d use a URN for - urn:isbn:9780133488838 - that’s one of the volumes of Knuth’s TAOCP
1586.
by skissane 2y ago
> Some teachers are spectacularly ignorant about internet things too Nothing new; I remember when I was in high school, my geography teacher asked me if another student had plagiarised his assignment-she wasn’t sure, so she decided to as
1587.
by skissane 2y ago
> Where is POSIX actually useful today? Every now and again, I get annoyed by those cases where Linux has some API/utility/etc but macOS doesn't. Getting that API/utility into POSIX greatly increases the odds that App
1588.
by skissane 2y ago
> The O stands for Oracle as far as I can tell It doesn't. Opower was founded, under that name, in 2007. Oracle acquired it in 2016. Any suggestions the O in its name stands for "Oracle" are a retcon founded on a coinciden
1589.
by skissane 2y ago
Mostly due to acquisitions, they own a huge range of business applications, both generic (such as Peoplesoft and NetSuite) and industry-specific (e.g. Cerner in healthcare). These kinds of apps tend to have high lock-in: once your business
1590.
by skissane 2y ago
Serrano can’t accept that Andrea James went too far in posting online pictures of Bailey’s children with sexualised captions added (quoted from your first link): > 3) points to instances where some trans activists have supposedly “gone t

More ›