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…
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.
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…
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…
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…
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…
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't want…
Maybe try not raping or abusing people or other illegal activities and don't suffer economic punishment?
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…
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…
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…
https://hackaday.com/category/cellphone-hacks/
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)…
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…
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 for…
The last soundness issue I'm aware of is the bivariant function issue which they resolved in 2.6
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…
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…
http://rea.tech/how-we-used-category-theory-to-solve-a-probl...
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...
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…
https://github.com/hapijs/hapi
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…
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.
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.
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…
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.
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…
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…
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…
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…
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't want…
Maybe try not raping or abusing people or other illegal activities and don't suffer economic punishment?
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…
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…
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…
https://hackaday.com/category/cellphone-hacks/
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)…
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…
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 for…
The last soundness issue I'm aware of is the bivariant function issue which they resolved in 2.6
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…
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…
http://rea.tech/how-we-used-category-theory-to-solve-a-probl...
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...
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…
https://github.com/hapijs/hapi
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…
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.
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.