HNHacker News
TopNewBestAskShowJobs

undershirt

1,514 karma · joined October 14, 2011

submissionscomments
undershirt··on Doomsday scoreboard
9/11 happened 1 trillion milliseconds after the unix epoch.
undershirt··on The Rise of Slopsquatting
> Trust but verify

What does this mean?

undershirt··on Page Dewarping (2016)
vflat is good for this
undershirt··on Rama is a testament to the power of Clojure
I know our engineering discipline is in shambles, but there are probably better ways to argue against hype without ourselves using hyperbole.
undershirt··on Well, I guess I believe everything now
Gödel gave an example of this by making a system of arithmetic generate statements about itself, and proved that it can't generate all possible truth statements (completeness) without generating some false ones (inconsistency). So, logic as cold machinery can start from the same axioms to prove that something is true in one path and then prove it false from another path. Logic is a world with its own rules that we can map reality onto sometimes but not always. The book Gödel's Proof does a good job describing this.

A larger and more devastating argument I've heard recently is that in order to even create logical statements, you need to be arguing from a worldview that can give an account for the existence of logic that isn't arbitrary (e.g. not "it just is"). And the argument goes that if you can't justify the existence of the tool, you can't justify its usage. This is devastating because if you believe it, then you suddenly must recognize that something prior to and higher than logic must exist in order to inform you of its existence, and it is not subject to the bounds of any logical system founded arbitrarily, but becomes the means by which logic itself coheres into something meaningful.

undershirt··on Daniel Dennett has died
God forgive us. May his memory be eternal.
undershirt··on Future of Humanity Institute shuts down
> I got a strong feeling that Lewis' arguments and exposition were guided by something other than logic, though they pretended to be following it. The trilemma is an example of this.

One way to discover that we necessarily have worldviews outside of logic is to look at a statement like this, and realize it appeals to something outside of logic (feelings) to critique how someone else is only pretending to follow it.

undershirt··on Linux Text Manipulation
Just a normal program then? No edge cases needed
undershirt··on Linux Text Manipulation
Could you write it for me as a one-liner? I’d like to learn more Perl and this would help.
undershirt··on Linux Text Manipulation
Can you write a Perl program to replace the content of anything found inside double-quotes with the result of piping it to the command `fmt`?
undershirt··on Show HN: Dropflow, a CSS layout engine for node or <canvas>
thank you
undershirt··on What do you know about "⌘"?
It was used to replace the apple logo when Jobs saw it sprinkled all over the menus. "Dont use our logo in vain" or something
undershirt··on Institutions try to preserve the problem to which they are the solution
Poverty Inc[1] makes the case that NGOs helping developing countries become incentivized to keep them in poverty.

[1]: https://www.povertyinc.org

undershirt··on Show HN: I create a free website for download YouTube transcript, subtitle
Wow! This is great
undershirt··on Ask HN: Good books on philosophy of engineering?
I’ll second this. A philosophy for engineering is nestled I think in the larger “philosophy of technology”, but this field of philosophy has traditionally been a lot more critical of technology than most of us can stomach today. This is a really good map of the field that not many know about, written in 1995:

https://shaunlebron.github.io/chandler-1995.pdf

undershirt··on Ask HN: Logging Mac Trackpad Data?
I’m fairly new to macOS development, but I’ve been messing with this a lot lately. Here’s my Swift project[1] for showing macOS trackpad data, which you might be able to adapt to your needs.

[1] https://github.com/shaunlebron/macos-trackpad-demo

undershirt··on The Most Accurate Flat Map of Earth Yet
Article with more details: https://archive.is/dogNs

Link to paper: https://arxiv.org/abs/2102.08176

Surprising that it’s just two equidistant azimuthal projections, centered on the poles.

undershirt··on Ask HN: Could subjective experience arise via matter hidden in extra dimensions?
Well I’m still the technologist I was when I found this site. I’m not sure of the religious make-up of people here, but I was atheist and materialist when I found it— and only changed recently, but honestly I’m still shedding it.
undershirt··on Ask HN: Could subjective experience arise via matter hidden in extra dimensions?
If by “extra spatial dimensions” you mean the parts of reality beyond our access, then I think I can follow what you’re suggesting.

I see matter as reality’s “tip of the iceberg” that consciousness sees. But the stuff beyond matter is probably not just more invisible material (i.e. not just “stuff” all the way down).

All signs point to the invisible not being dead stuff, but spirit, process, pattern; like a source or spring of “aliveness”. This is not impossible to check if we find the mysticism already latent in our beliefs that we aren’t accustomed to critically evaluating. Then from there, evaluating what we trust and why, then leaning more on traditions which have accumulated wisdom on how best to connect to that mysticism.

Anyway, it’s a very mystical question you asked. We don’t have to insist that the amazing tools we have for ascertaining material reality are universal to understanding all parts of it. By analogy, sure, subjective experience might arise from invisible material. But I prefer the top-down view of reality, where life is just presumed first.

Disclaimer: I’m an orthodox christian

undershirt··on Video Rendering with Node.js and FFmpeg
Also Motion Canvas: https://motioncanvas.io
undershirt··on Ok, it’s time to freak out about AI
> Good luck trying to stop people. "Information wants to be free"

I agree, we’re struggling with the idea that our technological systems have more agency than us. I think it’s hard for technologists to see this as an actual spiritual reality, even though we borrow it metaphorically for argument.

undershirt··on Shoshikantetsu
> 一期一会 (ichigoichie) - "Treasure every encounter, for it will never recur."

Interesting that science by design is the inversion of this— to only show concern with the parts of every encounter which must always recur.

undershirt··on A philosopher who believes in living things
> identify how chemical reactions possess any degree of agency regarding their reaction

They’re not, but some scientific terms might help demystify the actual point being made—

1. Emergence means that higher levels of matter can have behaviors that are not determinable from its constituents (e.g. chemistry).

2. In cybernetics, Downward Causation means that the constituents’ behaviors can actually be influenced by behaviors at higher levels.

I’m not a physicist so I’m not sure how much of the “quantum” weirdness can be isolated to its domain, but complex systems appear to be mysterious across the entire hierarchy.

> They are expressing wholly unsupported beliefs... beliefs aren’t knowledge and they aren’t science

Science is an instrument for verifying beliefs about very specific things though. My favorite definition of science is that it is a system for drawing out the patterns (regularities) of nature that are the same across space and time. It can only focus on “common denominators” of reality (not the whole of it) in order to reduce it to the parts which can be predicted (material prophecy). But it’s not an instrument that you can use to verify beliefs about segments of reality that it’s designed to ignore. Like it can’t deal with its own foundational question (i.e. “can we truly deduce the unseen by only what is seen?”), and surely Truth is larger than we can know by any single tool for ascertaining it.

undershirt··on Relic: Functional relational programming for Clojure(Script)
Wow that paper has a cool footnote about the “empty paradigm”:

> Of course, many of these paradigms are useless in practice, such as the empty paradigm (no concepts)[1] or paradigms with only one concept.

> [1]: Similar reasoning explains why Baskin-Robbins has exactly 31 flavors of ice cream. We postulate that they have only 5 flavors, which gives 2^5 − 1 = 31 combinations with at least one flavor. The 32nd combination is the empty flavor. The taste of the empty flavor is an open research question.

undershirt··on Better without AI
Oops, I’m sorry. I was thinking of Daniel Chandler[1] not David Chapman.

[1]:http://visual-memory.co.uk/daniel/Documents/tecdet/

undershirt··on Better without AI
What part of your thinking did David Chapman influence? Hard to imagine enjoying his tech criticisms while still throwing caution to the wind with AI. I remember enjoying his breakdown of Technological Determinism back when I was looking into it.
undershirt··on Better without AI
It might only appear arbitrary to us. The Amish actually periodically try out and evaluate new stuff. Then the elders decide whether it is a net good or bad for them. (Imagine if we did that with smart phones.)
undershirt··on Why does 0.1 and 0.2 = 0.30000000000000004?
Good points! I think decimal64 doesn’t normalize the significand also. But I can’t assess what I haven’t used. Mine is a snap judgment in favor of understanding more of dec64 vs the wiki article. My general feeling is that it’s time for the scale of computing to tip away from total correctness and efficiency, and more toward non-awkward interfaces. But at bottom, I would try both and then talk about it.
undershirt··on Why does 0.1 and 0.2 = 0.30000000000000004?
Oh, thank you! I actually think I’m going with Crockford on this one, and that’s what I meant to post.
undershirt··on Why does 0.1 and 0.2 = 0.30000000000000004?
From a deleted comment I liked here from @stabbles:

> some things can be represented in finite digits in base x but require infinite digits in base y.

Very good summary. Binary to decimal is very straightforward until fractions require infinite digits. I don’t think dec64[1] is even a tradeoff—it’s just better. The significand stays a normal binary number— but it encodes the decimal point in gasp decimal. No infinities required for the numeric language that we all think in.

[1] https://en.wikipedia.org/wiki/Decimal64_floating-point_forma...

← PreviousPage 2 of 13Next →