sriku

51 ms·

541.
F* – an FP language with effects, aimed at verification(fstar-lang.org)
1 points by sriku 7y ago|0 comments
542.
by sriku 7y ago
Helps to keep in mind Jeff Raskin's "theorem" - "Intuitive equals familiar". Although displaced from its original UI context, the reading of "gaining intuition = gaining familiarity" is spot on. So if you&
543.
by sriku 7y ago
The standard deviation combined with a large population means any automated system targeting the populace is ethically bound to increase the number of nines it must put in to ensure quality. This means having the necessary checks, balances
544.
by sriku 7y ago
I'm wondering whether another factor that might be at play is that as consultants they may not be at liberty to discuss that kind of detail. Barring that, it would be interesting to have Fowler sit in Ousterhout's class, take on a
545.
by sriku 7y ago
I can't tell whether this has much substance. It doesn't seem to ease calculations in a classical simulation of a quantum system. Also not sure whether it adds any substantial understanding beyond the Bloch sphere view of a qubit,
546.
by sriku 7y ago
A previous submission on Picat: https://news.ycombinator.com/item?id=16563349 Not sure why the older posting wasn't picked up when I submitted the link.
547.
Picat – a logic-based multi-paradigm programming language(picat-lang.org)
96 points by sriku 7y ago|35 comments
548.
by sriku 7y ago
Do Keybase folks use Keybase for literally all their communications, document sharing? That's a bit hard to imagine. I'd wager that some of those important comms were on email and pretty much all the scary arguments about server&#
549.
by sriku 7y ago
Are we incentivizing trackers to get more powerful ? This seems to be the equivalent of antibiotics overdose.
550.
“A week with Wanda” – what happens when AI goes off the rails(weekwithwanda.com)
1 points by sriku 7y ago|0 comments
551.
by sriku 7y ago
I'm super grateful to my dad for having let my hands near a computer at a time (late 80s, 90s) when computers were super expensive in India (they cost like a year's pay for a fresh grad back then). We couldn't afford one, but
552.
Crash-Only Software (2003)(usenix.org)
3 points by sriku 7y ago|0 comments
553.
by sriku 7y ago
Good link! Thanks. > you can also assume experts have thought hard about it and rejected it for good reason. Of course. It seemed more of a reporting anomaly to focus exclusively on the distance correction if other factors also exist tha
554.
by sriku 7y ago
A naive question (not read the actual paper or know much about the field) - if requiring dark matter to explain galactic physics can be dispensed with by a distance correction, doesn't "we've been underestimating distances al
555.
by sriku 7y ago
Spot on! The level of explanation and the intent behind the explanation hugely matter. An explanation that is correct but becomes inaccessible can become a demotivator for kids (not for all kids). An explanation that makes things too mundan
556.
by sriku 7y ago
It is one way to go "passwordless" .. though you're piggy backing on the security that your email system already has. Shameless plug of old post that describes how to restrict login to only the initiator even if login is init
557.
by sriku 7y ago
I resonate with the bristling too and the struggle to determine when to appreciate is a daily affair due to the kids' diverse activities. My six year old experimented with somersaulting on rings today, barely did anything to start with
558.
by sriku 7y ago
From a language and semantics perspective, any comparisons to Nix?
559.
by sriku 7y ago
It is also that younger folks are using tech today and they are not bothered by having to try things. For some reason, I've seen older folks scared of trying things and want instructions .. perhaps because they've seen tech fail s
560.
by sriku 7y ago
Good categorization. However, the example of sound -> text uses a set of expected invariants for the problem. Invariants abound in sensory data related problems as they are inherently high dimensional as measured but our interest lies in
561.
by sriku 8y ago
I've often asked myself this question - are there any fundamental reasons why language needs to be the most expressive way to instruct computers? If not, what else? .. and I've tried to resist answering it and letting the questi
562.
by sriku 8y ago
So is Max/MSP/Jitter.
563.
by sriku 8y ago
I think it will help if you know why what you're going to build is going to be better than what exists. Like Google knew its search will be better, like Zoom knows its conf is better than WebEx. Apple is the quintessential example of &
564.
by sriku 8y ago
Visual Jabberwocky? (Possibly made by a GAN?) Here is Alice on Jabberwocky ... “It seems very pretty,” she said when she had finished it, “but it’s rather hard to understand! … Somehow it seems to fill my head with ideas–only I don’t exactl
565.
Management AI: A Senate Bill Introduced to Begin Regulation of ML Algorithms(forbes.com)
1 points by sriku 8y ago|0 comments
566.
by sriku 8y ago
The name triggered memories of the Beatnik music player from a couple of decades ago which was created with the promise of high quality wavetable synthesis at a time when cheap sounding General MIDI was common - where you could bundle your
567.
by sriku 8y ago
Part of this is a clear stab at plain adulthood - trying to define "harmful content" is just being patronizing. An adult in the eyes of law is someone responsible for their own mind. Would trying to convince people of the existenc
568.
by sriku 8y ago
The only thing at the moment that comes close to filling this cross-language gap is the nix package manager I think.
569.
by sriku 8y ago
This is good advice. I'd add that producing something as part of your process of understanding the code base would be helpful to your colleagues. If there is hard to understand code, figure it out and capture it in some documentation.
570.
by sriku 8y ago
A colleague and friend of mine once commented that having open designated smoking areas is like having a designated peeing area in a swimming pool.

More ›