carapace

27 ms·

331.
by carapace 3y ago
My first experience with "chi" (aka "orgone") was pretty dramatic.[1] Being a rational materialist I went looking for equations for this "energy" (y'know, physics?) I didn't find anything conclusi
332.
by carapace 3y ago
You misspelled "curriculum".
333.
by carapace 3y ago
It's truly astonishing and disheartening how completely MS has routed the Free and Open Source movement. (Even before you get to Copilot.)
334.
by carapace 3y ago
That's originally the result of a deliberate domestic propaganda campaign, cf. "The Real Reason Jaywalking Is A Crime" (Adam Ruins Everything) https://www.youtube.com/watch?v=vxopfjXkArM If we did it once for
335.
by carapace 3y ago
Well, I think that soon most software will be written by machine, in something like Idris or Lean, and merely guided by humans via a linguistic interface. With any luck, within a decade or two, the idea of buggy insecure software will be as
336.
by carapace 3y ago
Here in N. California I've seen it: the coastal forests breath out cloudstuff. When the conditions are right they breath out something that immediately condenses a mist which rises and becomes clouds that drift inland. The trees on
337.
by carapace 3y ago
This is good. I love Free Software (all my personal projects are released under GPL) but I'm appalled by the terrible quality of software in general (under Free, Open, or other licenses.) Not a day goes by when some bug or breach or c
338.
by carapace 3y ago
Cars cause problems, making them electric solves one problem but creates several more and does nothing to alleviate the others. In re: better batteries, we have to ask, "Better for whom?" Tesla has already spun off another for-
339.
Side Eye: Limits of POV Acoustic Eavesdropping from Smartphone Cameras(arxiv.org)
2 points by carapace 3y ago|0 comments
340.
by carapace 3y ago
> It is well-known that the simply typed lambda-calculus is modeled by any cartesian closed category (CCC). This correspondence suggests giving typed functional programs a variety of interpretations, each corresponding to a different cat
341.
by carapace 3y ago
FWIW I like Jonathan Star’s translation. I'm looking forward to poring over this one.
342.
by carapace 3y ago
> Because the only actual problem in EVS is making a better battery. Well that and tire particulate pollution. And the bugs that get killed by windshields and grills. And the people who get killed and maimed by collisions. And the conver
343.
by carapace 3y ago
There is already an abundance of free and open source software, so much that it would take a lifetime even to catalog it. (One of the most inexplicable things to me is how people prefer to pay for proprietary software rather than learn to
344.
by carapace 3y ago
Win what? TFA is published on a platform owned by Microsoft. - - - - I always thought that the whole point of computers and software was to make machines to do the scut work so we could all take a break and explore the universe Star Trek-s
345.
by carapace 3y ago
Um, Kernel maintainers are an exclusive club for the elite. Seriously, I'm not even trying to be funny or edgy or anything. The hierarchy roughly goes: users -> script kiddies -> programmers -> compiler writers -> kernel
346.
by carapace 3y ago
> Apparently a fact you like repeating ;-) Yeah, I really find it interesting. It's so modern, almost like something from cybernetics. It reminds me of how Gurdjieff said that the "atom" of a phenomenon was the smallest
347.
by carapace 3y ago
Check out Unison lang: https://www.unison-lang.org/learn/the-big-idea/ > Each Unison definition is identified by a hash of its syntax tree. Put another way, Unison code is content-addressed.
348.
by carapace 3y ago
> The [galvanized corrugated steel] sheets don’t just have value; they are value. With two sheets you can buy a goat, with twenty an Ankole cow. Giordano Bruno said that whatever has the most value and the least cost of storage beco
349.
by carapace 3y ago
Blank page with JS disabled.
350.
by carapace 3y ago
I've been in the computer programming game for about thirty-five years, FWIW, and my considered opinion is that we should have all just used Lisp. Programming languages are video games for smarties. There is no good reason to use anyt
351.
by carapace 3y ago
JSON wasn't designed? It's just the literal notation from JS extracted, no? And I don't thing you can validate JS with a regex? (Have I forgotten that much of formal language theory?)
352.
by carapace 3y ago
Speaking as a GPL/"Free" software partisan, we failed. Although I don't like it, I think it's pretty clear. Most people have no idea what the GPL is, even most people who have heard of it don't seem to unders
353.
by carapace 3y ago
> Soon as I can, I'll share the results in a HN submission. Please do!
354.
by carapace 3y ago
The GPL started when RMS wanted to fix his printer and Xerox said "No."
355.
by carapace 3y ago
> Igalia is an open source tech co-op success story. We have been around for 22 years; we have 140 members. We play an essential role in several open web platform projects such as Chromium/Blink, WebKit (WPE & WebKitGTK), Firefo
356.
by carapace 3y ago
You might enjoy: "Measuring the intelligence of an idealized mechanical knowing agent" https://philpapers.org/archive/ALEMTI-2.pdf "Intuitive Ordinal Notations" https://github.com/se
357.
by carapace 3y ago
I had the same reaction, "Why stop with two?"
358.
by carapace 3y ago
There was an experiment where a scientist (I think it was Pask) built a cybernetic chemical machine in a petri dish. When the requirement to respond to sound was introduced, the machine grew "ears": spines of different lengths (t
359.
A Grounded Conceptual Model for Ownership Types in Rust(blog.brownplt.org)
3 points by carapace 3y ago|0 comments
360.
by carapace 3y ago
Christopher Alexander "Nature of Order", "Pattern Language", "Notes on the Synthesis of Form" It's impossible to summarize his work (the above are his most famous books, in reverse chronological order) but

More ›