skohan

84 ms·

961.
by skohan 5y ago
I almost see static typing as an alternative to exhaustive testing. If you're working on a large project written in JS, you need a strong test suite to have any confidence you code will be robust at runtime. As you say, with ADT&#x2
962.
by skohan 5y ago
It would be cool if they also applied this to the Macbook Air chargers. The tiny charger on the M1 Air makes it a pleasure to travel with, and an even smaller one would be incredible.
963.
by skohan 5y ago
Disgusted? This seems like an extreme reaction to have to a keyboard.
964.
by skohan 5y ago
It's a bad product. Touch controls are always a bad fit when they're not someplace you should be looking at directly.
965.
by skohan 5y ago
So I think this thread was about two claims: 1. Can ANN's (in their current iteration) achieve general intelligence 2. Can they do it more efficiently than a biological brain It certainly has not been established that a Turing machin
966.
by skohan 5y ago
This may be my favorite headline I have ever seen on Hacker News
967.
by skohan 5y ago
Yeah cool! If you have a twitter or any other way to follow you guys I would love to - I work at a sustainability-focused startup and I know a lot of people who would be interested in this, and not all of them would be in the HN audience.
968.
by skohan 5y ago
Very cool project! A couple questions: 1. How does your synthetic limestone compare to natural limestone? Are there any important performance differences in terms of the material properties of the resulting concrete? 2. What are the bigges
969.
by skohan 5y ago
Yeah same. I remember when I started messing around with web front-end, I wanted to do pure HTML/CSS/JS, but I found it doesn't really work on web since there's all these little browser fragmentation issues you have to
970.
by skohan 5y ago
"running" (with performance sacrifices over Windows) Has this been an issue for you? Since switching to primarily Linux/Proton for gaming, I've been amazed at how little performance penalty I have seen.
971.
by skohan 5y ago
What makes this technically possible? I.e, isn't one of Apple's main arguments for needing an app store so that they can prevent this kind of thing on a hardware and software level?
972.
by skohan 5y ago
I live in Europe and it's been the exact opposite. Apple watches used to seem like a novelty, but now like half the people in my social circle have one.
973.
by skohan 5y ago
What's your reasoning for concluding that stocks were substantially undervalued? Because another way to read the situation is that stocks are simply the asset of last resort. In a world with no interest, you can't park money in b
974.
by skohan 5y ago
So just to unpack this a little - there's a lot of different mechanisms going on in neural computation. For instance one of those is spike-timing dependent plasticity. Basically the idea is that the sensitivity of a synapse gets up-
975.
by skohan 5y ago
> while indeed we can’t simulate the whole of neuron, why would we want to do that? I think that is backwards. We only have to model the actually important function of a neuron. Yeah so I think this is where we fundamentally differ. It
976.
by skohan 5y ago
> in serial computations silicone beats “meat” hands down. And that is in both power efficiency and performance. I just don't think this is a meaningful comparison, and I'm not convinced it's evidence of the "limitati
977.
by skohan 5y ago
It's memory-safe in a single-threaded context. The actor model would theoretically bring multi-threaded memory safety (with a different set of tradeoffs than Rust).
978.
by skohan 5y ago
I just totally disagree. Swift might look a bit more like C#, but in terms of features it's way more similar to Rust for all the ADT-related features mentioned in the grandparent comment. Also, regarding memory safety, it's not a
979.
by skohan 5y ago
> John von Neumann wrote an essay on the topic titled The computer and the brain I have to be honest, I would take any such comparison from the 1950's with a huge pinch of salt. I think perceptions about how "dumb" an i
980.
by skohan 5y ago
I love working with Swift, but it's such a pain to maintain and deploy it
981.
by skohan 5y ago
Why not just use GC at that point? I thought the whole USP is the zero runtime cost
982.
by skohan 5y ago
You just essentially described Swift
983.
by skohan 5y ago
Yes and no - the brain is also incredibly parsimonious with respect to how little resources it uses to achieve the information processing power it has. If you could make a computer which could compete in terms of utility, energy usage, and
984.
by skohan 5y ago
Oh sure, I'm just speculating. But if you always waited for concrete evidence to conclude that something might be a risk, you would have may have been wearing hats coated in mercury in the 19th century, and eating of uranium-infused p
985.
by skohan 5y ago
I'm sorry, I don't mean to insult or offend anyone. I'm just recounting my observations based on my understanding of the subject - and that is really not to disparage the amazing work that's being done, but rather to hi
986.
by skohan 5y ago
Idk maybe it's semantics, inference to me sounds more like a logical leap is happening, whereas in my mind the simplest form of inductive reasoning is just expecting a pattern to repeat itself.
987.
by skohan 5y ago
I've heard this airplane argument before, and while I do consider it plausible that AGI might be achievable with some system which is fundamentally much different than the human brain, I still don't think it can be achieved using
988.
by skohan 5y ago
I mean if we want to be really accurate, we could say something like "highly dimensional data-derived function"
989.
by skohan 5y ago
Yeah I agree - during undergrad, I spent a few years studying neuroscience, and I was very let down by my first ML/AI course. Compared to what I had learned about the brain, what we called an "ANN" just seemed like such a si
990.
by skohan 5y ago
I think inference isn't the right term either. I think current ML is more like automated inductive reasoning.

More ›