hath995

10 ms·

1.
by hath995 4y ago
I recently purchased a BOOX device, it is a large e-ink tabled which runs android. I have google drive sync a specific folder and it works seamlessly to read and markup pdfs, epub, djvu. The screen is excellent for reading and writing. I bo
2.
by hath995 4y ago
https://www.youtube.com/@LowByteProductions/videos - Previously called Low Level JavaScript builds various low level or fundamental components from scratch in JavaScript/TypeScript and a bit of C lately I think.
3.
by hath995 4y ago
It is still alive, it has just moved to github! It is a big language and it can prove useful programs. Apparently, part of the Ethereum 2 specification was verified using it. https://github.com/dafny-lang/dafny I have
4.
by hath995 5y ago
This is a false equivalency that I see pop up pretty often. Like Use Types or Go Fast? Why are those the only options? Why does using types make you slower? If you're a slow typist then I suppose writing the types can take a little lon
5.
by hath995 6y ago
Studies of college students learning CS showed that students who built a consistent mental model of what the code was doing did considerably better in classes. To that end when I was teaching students I would print out snippets of code and
6.
by hath995 6y ago
I start all my server side projects in TypeScript lately. There is enough support that it is actually very easy to get started. ts-node, npm @types, and many packages natively supporting ts help. The browser is a crazy environment and adds
7.
by hath995 8y ago
For another data point consider https://www.reuters.com/article/legal-us-otc-uber/forced-int... Even if you willingly accept the forced arbitration clause you still may not get justice because the company doesn&#x
8.
by hath995 8y ago
Maybe try not raping or abusing people or other illegal activities and don't suffer economic punishment?
9.
by hath995 8y ago
If some pernicious pedophile develops a cure for cancer, it would be morally wrong not to use it. However, if that particular pedophile should profit from it is an entirely separate question. Patents and copyrights are a government given ri
10.
by hath995 8y ago
The difference between all the things that you listed is that works of art are able to give royalties to a person. If you continue to buy or consume their products they still profit. Obviously ex post facto law is bad for society. However,
11.
by hath995 8y ago
While I can understand and somewhat agree with his point that the works should be judged on their own merit. However, I find his attitude extremely callous. He even reiterated the point that even if the artist was an axe murderer he wouldn&
12.
by hath995 8y ago
https://hackaday.com/category/cellphone-hacks/
13.
by hath995 8y ago
The report specifically calls out Kraken as extremely suspicious. This is the excerpt. "The OAG could not review the practices and procedures of non-participating platforms (Binance, Gate.io, Huobi, and Kraken) concerning manipulative
14.
by hath995 8y ago
Use TypeScript, it has come a very long way since it was released. It tracks very closely to JavaScript and it has an active community, shared types for libraries, and great editor support (VSCode and others). Using maximum strictness and t
15.
by hath995 8y ago
That's sort of tautological. "Any" and type assertions are designed as the escape hatch of the type system. If you're trying to develop type safe typescript you obviously won't use those. The followup question is fo
16.
by hath995 8y ago
The last soundness issue I'm aware of is the bivariant function issue which they resolved in 2.6
17.
by hath995 8y ago
I don't think I would be comfortable with production code that swallowed access errors by providing a guard post value. I feel like that would too easily slip through in places it shouldn't. To ensure it didn't happen you wou
18.
by hath995 9y ago
Yes! I find TypeScript really handy! It makes development easier and faster. Whatever it is you're developing TypeScript will make it better imo. Structural typing is the best of both worlds for flexibility, development speed, and type
19.
by hath995 9y ago
http://rea.tech/how-we-used-category-theory-to-solve-a-probl...
20.
by hath995 9y ago
I recall this guys blog, he seems a bit boastful, but it seems like a decent response to this question. http://logicaltypes.blogspot.com/2015/08/pure-functional-pro...
21.
by hath995 9y ago
The way I see it is, just as in Object Oriented design patterns, category theory are the design patterns of functional programming. It just so happens that the mathematicians got there first and gave everything greek names.
22.
by hath995 10y ago
https://github.com/hapijs/hapi
23.
by hath995 12y ago
I recommend checking out the book "Pragmatic Thinking & Learning". One of the main points is that learning is a skill itself, and that you should practice and learn about learning. You will want to look into study skills class
24.
by hath995 12y ago
https://github.com/shawncplus/ranviermud Its a super basic MUD written in Node. It has some telnet libraries you might want to take a look at.
25.
by hath995 12y ago
This sounds good to me. Perhaps the thread could set up short term matches every week just to lower the barrier to entry for mentors and mentees.
26.
by hath995 12y ago
Hi, I'm looking for a mentor for math (proofs, abstract algebra, real & complex analysis) and algorithms. I'm a software developer working in Node.js, and very solid with JavaScript, MySQL, Mongo, and other web technologies (
27.
by hath995 12y ago
I didn't think it was very good. Most of the attempts at humor were based around bizarre, unrealistic, and degrading social stereotypes. It lacked the cleverness the first episode had.
28.
by hath995 13y ago
It's cool that you've made this. However, there are a number of issues that you might try to address. This is meant to be helpful criticism from a software developers point of view. 1. There are no examples of how to use the code.
29.
by hath995 13y ago
What's it do? You might start with a better explanation of what it is and why anyone would want to use it for whatever it does.
30.
by hath995 13y ago
I feel that his point is more valid than you might think. Japanese society really does place a very high priority on saving face. It perturbs even their language itself. I wouldn't consider it as a deliberate lie but you should not int

More ›