a_humean

16 ms·

121.
by a_humean 6y ago
I would suggest it does the exact opposite. Allowing more safe programs to compile if anything simplifies your mental model.
122.
by a_humean 6y ago
He is complaining about fast 6 week release cycles for rustc, but actually things are petty stable atm. Most releases are just "x is also const now" or "we figured out how to relax type checks to allow this safe program to co
123.
by a_humean 6y ago
I just mean that if you name is going to get dragged through the mud you can forgive the feeling that maybe they should a profit out of it. All of their competitors are recording record profits from vaccine sales. Their only silver lining i
124.
by a_humean 6y ago
Its is a significant reduction both from the previous month and compared the previous year, so there is no sugar coating the figures by appealing to covid. While traffic is back up its not clear whether the same volume of goods is in transi
125.
by a_humean 6y ago
Except goods exports are down 40%, large chunks of finance and services are being moved to Amsterdam and other EU capitals, and Northern Ireland is having trouble stocking its supermarket shelves while unionist paramilitary groups are renou
126.
by a_humean 6y ago
I bet Astrazeneca/Oxford is regretting offering to produce at cost due to the level of grief and politicking coming from EU capitals and the EU commission.
127.
by a_humean 6y ago
Its only 60 votes if senators insist on pretending its 60 votes. Its 50+1 votes if senators actually want to do something.
128.
by a_humean 6y ago
Yep, these days its basically a proxy for the kinds of smells you look out for when picking a library.
129.
by a_humean 6y ago
The breaking changes don't change runtime behaviour, just the type checking. Its more like the the linter is getting stricter over time. Your test will still pass at runtime, but they might start failing at compile time. Also, for the
130.
by a_humean 6y ago
Its actually quite rare to see a library without either first or third party support these days. Many new libraries are either written in typescript, or the authors have taken care to create declaration files or contribute to definately-typ
131.
by a_humean 6y ago
They have only done phase 1/2 trials and this one is phase 3. Also, people trust US/EU research more. They have not been very forthcoming with data. The data that has been made available has been lacking in detail or has patterns
132.
by a_humean 6y ago
However, Xi Jinping very publicly announced that net zero by 2060 is now a national aim, which is basically what is needed from china on this issue: https://www.bbc.com/news/science-environment-54256826 There is a ques
133.
by a_humean 6y ago
During code review we just discovered that a somewhat popular npm library used a CDN for its assets (images of flags corresponding to country iso codes), forcing us to reimplement without the library.
134.
by a_humean 6y ago
Or you could do what literately every other country in the world does, and have price controls.
135.
by a_humean 6y ago
Typescript allows you to have literal type discriminators in their unions, which combined with control flow based type narrowing of unions effectively gives you sum types. That is what he is talking about, because most mainstream langauges
136.
by a_humean 6y ago
Yep, Typescript's control flow analysis, type literals, and union types allow us have tagged unions/sum types. Probably its best feature.
137.
by a_humean 6y ago
He is refering to the late 19th and early 20th century work on the foundations of mathematics amoung mathematicans and philosophers. They attempted to fully formalise mathematics. Serveral approaches and schools in mathematics all hit vario
138.
by a_humean 6y ago
They will have missed this cycle of admissions, and not all students have the luxury of taking a gap year. The students have also missed a term of tuition, and so have probably not covered the course material necessary to pass or do well in
139.
by a_humean 6y ago
Pot calling kettle black...
140.
by a_humean 6y ago
Rust enums aren't like C style enums. They are a kind of algebraic data type: a sum type. Sum types haven't, until recently, been very well represented outside of functional programming languages. In haskell for example you might
141.
by a_humean 6y ago
These are advantages in public sector recruitment. The public sector is never going to be able to compete with the private sector on pay, but for many people the promise of steady and reliable income and benefits combinded with a good retir
142.
by a_humean 6y ago
When you are as large a company as google is its easier for accounting purposes to treat internals as just another customer albeit maybe with a discount. Its very common within large corporates to pay other entities within the corporation f
143.
by a_humean 6y ago
May did have a public persona of duty, but she was also exceptionally dishonest both publically and privately with allies and opponents alike. She was running a non-stop gaslighting operation on the public and MPs, and she was never honest
144.
by a_humean 6y ago
Welcome to the world of audit. There are only 4 firms left after decades of consolidation and an Enron scandal. They are the only people they actually check the books of firms, and they all have profitable consultancy services that totally
145.
by a_humean 6y ago
SWC does not do any typechecking. It is equivalent to babel.
146.
by a_humean 6y ago
I use typescript daily with libraries like those you mentioned. Typescript is not too much overhead, its a huge improvement in the overall developer experience. The main issue I've had with these libraries and typescript is compiler&#x
147.
by a_humean 6y ago
Both groups are wrong, they are all politicians and pseudo senators of an upper parliamentary chamber. Its just another bizzare American political ritual of pretending to believe things about their politics that are plainly not true. Preten
148.
by a_humean 6y ago
One thing I find astounding about this project is the breakneck pace of development. I keep up with the weekly changelogs and subscribe to the nightly builds. Its genuinely impressive how much this project has achieved and the rate of new f
149.
by a_humean 7y ago
Its because of who the primary author of the project is, and so it immediately has a fair bit of credibility.
150.
by a_humean 7y ago
It is actually quite frustrating compared to some other languages, and more often than not you see that its just `JSON.parse` and hope for the best. I wish we had something like Rust's Serde or Haskell's aeson. If you want to vali

More ›