madsbuch

50 ms·

661.
by madsbuch 4y ago
Types and programming languages, Benjamin Pierce: https://www.cis.upenn.edu/~bcpierce/tapl/ Its contents is what I consider the meta game of programming. Understanding types seems to be a real boost to think abo
662.
by madsbuch 4y ago
https://archive.ph/WCLxr
663.
by madsbuch 4y ago
I am happy with my Lenovo X1 extreme running pop os. It has been running for 4 years, just changed battery and hard-drive, which I could easily do myself. It is of high build quality. I terribly want to try out a system76 computer, but have
664.
by madsbuch 4y ago
This is definitely a discussion I will leave to those researching teaching. That said, for many years I shared the view. Some time ago a convincing argument for "memorization" was presented, and I am slowly changing to the view th
665.
by madsbuch 4y ago
We are definitely in the period where we are seeing the limits of scalability of current technology. Google et al. eliminated customer service, schools are educating on a massive scale, etc. We always have the option of oral onsite exams as
666.
by madsbuch 4y ago
It most certainly does not. It means that types are not subject to tests much like you don't test your tests. types / tests are usually written in a denominational way and keeps the operational semantics of the program in check.
667.
by madsbuch 4y ago
I am considering how the demografic development shapes this. In the span of 40 years or so, we will from 6 / 1 working to non working to 2 / 1 conclusing in the mid 2030s. I mean, indifferent to what means of redistribution schema
668.
by madsbuch 4y ago
To me, it really depends: 1. Writing frontend code -- I've left testing all together. I'd never hope to keep up with the pace 2, Writing APIs -- rudimentary testing that at least catches when I introduce regressions 3. Writing sma
669.
by madsbuch 4y ago
I am arguing that it is futile to see it as a loan to the bank. * There is no "lending" risk by depositing your money, only the currency risk (government insured deposits) * Banks provide critical infrastructure to transfer funds
670.
by madsbuch 4y ago
> you’re loaning them your money. This is mostly wrong in modern economies. In Denmark you are not able to to buy a car with cash (Yor are legally required to use banks when transacting more than DKK 20.000, ~USD 2.700). This has promote
671.
by madsbuch 4y ago
Ah yes, sorry, I was unclear in my original comment. Te point is to stick to the simplest implementation and don't try to reduce "tech dept" in favor of building premature optimizations. I am very much for dropping the tech d
672.
by madsbuch 4y ago
The problem with tech dept is that it instills some kind of linearity -- you can pay it off whenever. Often times "tech dept" comes from the fact that we do not truly know what to build. Hence we use the simplest measure to satisf
673.
by madsbuch 4y ago
The technology and adaptation is definitely not ripe -- yet! But assessing the success of a web3 product by the ability of selling a specific product is akin to assessing the success of a country by its ability to sell passports. The cost t
674.
by madsbuch 4y ago
> get 1 USD wage as CEO and remainder in stock, for example This is usually not possible. In Denmark you are taxed the same whether you receive your payment in stock or money. When you receive stock, you are taxed on the value of the sto
675.
by madsbuch 4y ago
Unfortunately, this does not matter when generation sizes differ. The older generations are by far larger. There are good resources on how this has shaped society. Example are less support for education support and better policies for inves
676.
by madsbuch 4y ago
To be honest, this firmware upgrade seems to be alright. It seems to be instantiated to protect the hardware from a known bug. The real problem when doing firmware updates is ruining right to repairs, removing access to content that is boug
677.
by madsbuch 4y ago
> Those price increases incentivize builders to increase the housing stock Ahh yes, walking around in NY seeing building projects to increase the supply of housing in the 4th dimension where land is plentiful and the rivers are clean &#x
678.
by madsbuch 4y ago
And this is even full-time in the sense of 24/7! If you assume that people only work 8 hours a day, it would take 22 people to do it within a month. Though, on second thought, with current inflation rates people probably need to work 7
679.
by madsbuch 4y ago
https://file.app/ Pricing for web3 projects is a bit more complicated than getting a product from AWS. As you participate in a specialized economy it is like asking what a Danish stock costs from the US standpoint. First yo
680.
by madsbuch 4y ago
In my city the airport is connected to the metro. Statistics on getting to the airport: Bus 3% Taxi 14% Metro 27% Train 33% Car 23%
681.
The Rugged Manifesto(ruggedsoftware.org)
2 points by madsbuch 4y ago|0 comments
682.
by madsbuch 4y ago
This might break the teams assumption that these things pass. After all, centralized CI has, in this narrative, been exchanged for the assumption that everything pushed to git passes all tests.
683.
by madsbuch 4y ago
It seems like a core argument is the pre-commit tests that runs as commit hooks on the developers computer. I have worked in a place where they did that, and I think the cons heavily outweighed the pros. I can not push incomplete work to a
684.
by madsbuch 4y ago
Growth vs. value, development vs. maintenance, innovation vs. operations. It really seems like a lot of projects should embrace the the path of becoming a stable product: Charging 10 USD a year, assigning a single person to a comfy job of m
685.
by madsbuch 4y ago
As a Danish person, it is a fun tool to play around with! Discovering that the tax difference between the US and Denmark is close to negligible is interesting as we have been known to have a high tax burden in Denmark.
686.
by madsbuch 4y ago
* Don't let dicts spoil your python code Maybe that was implied? Anyways, a lot of languages take another stance. E. Elixir where using dicts along with pattern matches calls for quite powerful abstractions. As long as the dicts are
687.
by madsbuch 4y ago
I reckon you wouldn't call the fire-brigade when there is a fire in your wood burning stove?
688.
by madsbuch 4y ago
Some applications have the need to create IDs in a distributed manner, eg. Og clients, and use that identity before the database returns it. These systems benefit from randomly generated IDs. You could potentially hist use a random number
689.
by madsbuch 4y ago
The problem with a system like this, is that the criminal justice system and educational system is now being politicized. If you want some specific people not to assert power in the system, then you create an educational system that gives t
690.
by madsbuch 4y ago
May 21st, interesting... the views appear to be quite outdated. > A digital euro, however, would be an entirely different ball game There exists quite a number of different EUR stable coin projects out there. Most of the active Crypto co

More ›