xfer

59 ms·

631.
by xfer 9y ago
There are various fields in computer science, nobody claims formal specification and correctness in a NLP/ML library nor in a graphics library. Formal verification is orthogonal to other fields.
632.
by xfer 9y ago
What do you mean, you don't understand "lingo"? Do you not understand english? Because that's an easily understood english sentence, and you just claimed "pretty good handle on things like recursion or traversing or
633.
by xfer 9y ago
Regarding "tax-payer funded data/software" From the blog: > I believed then, and still do now, that it’s right that institutions that support software development should benefit from its commercial use (UC Berkeley receive
634.
by xfer 9y ago
It will take a week at most, to figure out what libraries you will need, if you have programmed before in any language.
635.
The Mezzo programming Language (2013)(protz.github.io)
1 points by xfer 9y ago|0 comments
636.
by xfer 9y ago
> According to one former SoundCloud Berlin employee, a lack of direction from Wahlforss, who served as chief technology officer, made things worse, with some engineers going rogue and rebuilding their colleagues’ work in their preferred
637.
by xfer 9y ago
I'm confident that you have no clue what you are talking about.
638.
by xfer 9y ago
I think it's rare(government/scientific organizations aside). But many services do provide a free quota for their api i.e. the service comes first.
639.
by xfer 9y ago
Are you talking about google discovery api? ;) https://developers.google.com/discovery/
640.
by xfer 9y ago
Not to mention the bug "zfs file io suspended", if you unplugged an usb device without exporting the pool(the process is also unkillable). And you can't mount/unmount anything else!!
641.
by xfer 9y ago
The comment i replied to : > No, Generics make it possible to create a generic immutable data structure I am sure i can read.
642.
by xfer 9y ago
You are still talking about immutable data structures, which has nothing to do with generics.
643.
by xfer 9y ago
> We're not even close to a world where tools can offer amazing protection. I wonder how do you ride your plane then? > The tools that will save us from this madness don't exist. These tools do exist(not with ethereum ofc).
644.
by xfer 9y ago
I don't understand, how does that make it "forever foreigners"? Have you tried telling them you understand japanese and continue conversation? How would the other person know if you arrived yesterday or living there for 20yrs
645.
by xfer 9y ago
What? That's because english is considered universal language and they don't want to presume that you know japanese well enough for a conversation? That doesn't happen to asians in the US, you know maybe because they don&#x27
646.
by xfer 9y ago
Coverity is expensive and majority of software people use are open-source which don't make use of it(hence all the CVEs). As an end user running a server, i very much care about whether my web server has vulnerabilities. And the pr
647.
by xfer 9y ago
> Here's a nice blog post that highlights the practicality issue with Scheme's design. That post complains about numerical tower not belonging to some library and being more generic. I don't understand how that is more&#x2
648.
by xfer 9y ago
Did i claim that one requires the other? Some people also find it very hard to memorize bazillion syntax rules. Comparing understanding scheme is equivalent to "divination by tarot cards" is a bit ridiculous, don't you think?
649.
by xfer 9y ago
yeah, s-exprs are very hard, right? compared to bazillion new keywords that can't be used by user programs and various kinds of brackets for different purposes.
650.
by xfer 9y ago
It exists everywhere. You can't just magically get into a good school in your respective field.
651.
by xfer 9y ago
> Developer time is cheaper than hardware 99% of the time. I find the exact opposite to be true in most cases.
652.
by xfer 9y ago
Most of the time, chinese stuff have documentation in english(where necessary). The only problem is long shipping delays, where i live.
653.
by xfer 9y ago
Yes, using empty interfaces and adding common data structures to the runtime eliminate the primary use-case of generics. Who would have thought..
654.
by xfer 9y ago
There is no parallelism, the runtime doesn't offer any. The best you can do is fork(). But there is an effort ongoing for a few years now, multicore-ocaml, which will be available mainstream when it's Ready(no ETA).
655.
by xfer 9y ago
The question was about static HTML pages, so the government can track what you are reading or watching.
656.
by xfer 9y ago
But, most exams at that level gives enough time to make them accurate.
657.
by xfer 9y ago
I don't understand these comments, you have no idea what F* provides for this project to work, but yet you can somehow perceive that rust would be a good language for this project. Really?
658.
by xfer 9y ago
Yet, he seems to be giving black-and-white picture of what constitutes bullshit to non-technical people.
659.
by xfer 9y ago
efficiency is not the only metric, reliability is a huge factor in any kind of digital resource.
660.
by xfer 9y ago
I agree, it also needs a lot of memory. Unless i use some debugging facility of drracket, i just use emacs with racket-mode.

More ›