max_

30 ms·

541.
by max_ 3y ago
Take Leslie Lamport's TLA+ course. [1] And learn TLA+. The core idea of TLA+ is that any problem, how ever complex can be represented as a state machine i.e a sequence of variables or states that change over time. It can be used to des
542.
Mastering Nim, 2nd edition(nim-lang.org)
125 points by max_ 3y ago|79 comments
543.
The Wisdom of Rationals (2020)(asindu.xyz)
2 points by max_ 3y ago|0 comments
544.
by max_ 3y ago
It looks like the React-ification of CSS. No thanks!
545.
by max_ 3y ago
I honestly don't know about Boox devices. But I think it should work if you can install it from the Playstore.
546.
by max_ 3y ago
It actually works well for me. May you need to update it?
547.
by max_ 3y ago
What political/economic philosophers are the Nordic economic & political systems based on? Or what interesting book may you recommend for one to read to learn more about thier social/political system.
548.
by max_ 3y ago
Lithium is light years ahead.
549.
by max_ 3y ago
+1 for preview
550.
by max_ 3y ago
The killer feature is that you can search for books by file format. Something that doesn't exist on the rest.
551.
Ask HN: What perfect software did you discover of recent?
32 points by max_ 3y ago|41 comments
552.
by max_ 3y ago
>This repository contains RCEd code extracted from Stuxnet binaries via disassembler and decompilers. Is there a way to write code (make binaries) such that it would be extremely difficult to recover the source code via decompilers or a
553.
by max_ 3y ago
I worked on a VSCode extension for a new Programming language. I then later got a message from its language designers asking if I was okay getting paid to maintain it. I loved it.
554.
by max_ 3y ago
Flutter would be the best. No one comes close to Android, iOS & Desktop support better than Flutter. Flutter also does support Web but has a few issues. But still I wou choose it.
555.
Ask HN: What are some interesting applications of LoRa/LoRaWAN?
3 points by max_ 3y ago|2 comments
556.
by max_ 3y ago
If they buys a business and run it to the ground. That is their problem. Not the public's. The public wil simply shift to an alternative.
557.
by max_ 3y ago
Consumers always have the opportunity to switch. Also, VCs do fund competitors so it's not as black & white as you think.
558.
by max_ 3y ago
You honestly think someone needs $20bn to build a Figma alternative or clone?
559.
by max_ 3y ago
So when products compete on the market place, they shouldn't be allowed to win? Even in sports there are winners & losers.
560.
by max_ 3y ago
You want to say Figma has no alternatives?
561.
by max_ 3y ago
Adobe isn't a monopoly it is simply domainant. Consumers have a choice to use other alternatives. How does this "hinder the growth of human development"
562.
by max_ 3y ago
Where/when did he say this?
563.
by max_ 3y ago
The investors & founders of Figma clearly got the upside. I really don't know why every business transaction has to be some kind of mission that will take us to Nirvana. What is wrong with people taking money? If Figma is bad for D
564.
Does GPT-4 Pass the Turing Test?(arxiv.org)
60 points by max_ 3y ago|88 comments
565.
by max_ 3y ago
I really love the idea of Recurse Centre. It seems like a non coercive type of education, where people follow their curiosity and at the end finnish up with something tangible. I honestly think if education is to change for the better, it s
566.
by max_ 3y ago
How did he detect this, what tool is he using to view daemons?
567.
by max_ 3y ago
>You are arguing against a government giving money to business owners that struggle to make ends meet, but giving UBI without minimum wage does exactly that. You subsidize businesses that don't pay a living wage that otherwise would
568.
by max_ 3y ago
Too long, Don't Read; - OP develops apps - OP's apps get flagged and removed from iOS store for violating Appstore rules. - OP learns his app has been cloned down to the last pixel by one NIGII Technologies - OP learns that NIGII
569.
by max_ 3y ago
Yes. I a way it is. Businesses that can't afford to pay a minimum wage can't operate. Imagine a record label/streaming service had to pay every artist or actor a minimum wage weather or not thier work generated money more tha
570.
by max_ 3y ago
If the problem is poverty I think the solution should be creating a proper safety net for people and offering the a Universal Basic Income.

More ›