Lol, did you spot one of his alts? But yeah, otherwise agree that his conduct, within a corporate context and otherwise, do not merit the kind of public adulation he's getting. I also remember (vividly at that) his…
I’d invite you to reconsider the kind of language you’re using to interact with other forum members here. Dropping to profanities is not conducive to maintaining an environment that’s facilitating dialogue between its…
What is a complex function to you, and why do you think it’s impossible to verify properties of them?
Yeah, MU123 is basic (high school) mathematics. The reason for that is that the way the Open University works, they have no formal requirements to join, so they cannot assume that students know even the basic stuff…
I'm studying the Q31 (BSc Maths) on Open University. I can second this recommendation. The maths books are _excellent_. It's hard to explain how, but let me try: most of the maths textbooks I possess (plenty of them)…
Jesus Christ mate, they're talking about personal finance, not political economy.
I've just tried the first example on iOS 18.3.1 and it absolutely reproduces perfectly for me.
Depends on how much you consider that particular odour offensive :)
I see this written a lot, and I don’t get it. What matters for an award is that people recognise it as a prestigious accolade. The economics prize, while not “official”, is still recognised by everyone in economics as…
I've recently come across a spectacular number of regressions on my M3 Max MacBook Pro, Sequoia as well as previous versions included. The most workflow breaking one (which really tempts me to throw the computer out of…
Yes. https://github.com/dotnet/runtime/
This is a big problem, especially for people new to a field who can't easily tell AI-gen books from human-authored ones. It also saturates the recommendation system, massively lowering the quality of recommendations…
Yeah, I’ve also enjoyed greatly the following: * Computer Science, an interdisciplinary perspective by Robert Sedgewick * Code by Charles Petzold * Good Math by Mark C. Chu-Carroll
My favourite computing book. Very highly recommended.
In the case of the code that you have cited, these are all different elaborations of the binding at the invocation of the lambda, due to the interplay between activation records and scope rules. It's not really an…
"binding" is a PLT term, denoting the association between a name and a value. It's a higher level concept than the variable - a mutable binding is what people usually refer to as a variable, and an immutable binding is…
Fancy seeing this here, some days after finishing the third version :) I'm also glad to see the asynchronous programming chapter significantly reworked - it was materially weaker than the rest of the book because of…
Piracy *is* stealing. Sure, you may not have taken away money from Nintendo’s bank account by coercion/force/whatever, but the company and its employees have partaken into an effort to produce something of obvious value…
Love this! I was just reading the book and I came across this now, haha :)
Programming with types by Vlad Riscutia fits your bill exactly. Examples in typescript (so syntax should be familiar compared to e.g OCaml) and teaches you how to model a domain in types and how to think in terms of a…
You misread his comment - you're both agreeing here. He said that the people who brought us to this state have made it harder to move to the EU (because of Brexit limiting freedom of movement).
Where did you source the $7bn value from? I have trouble reconciling this with the information present on the financial statement. They have net assets of $1.2bn, and revenue for the year was $593mn minus $425mn for…
You don't need an accountant for that - you can read the financial statement (this one is pretty simple). From about $593mil revenue in their income statement (page 4), $510mil is derived from _Royalties_. Later, on…
Lol, did you spot one of his alts? But yeah, otherwise agree that his conduct, within a corporate context and otherwise, do not merit the kind of public adulation he's getting. I also remember (vividly at that) his…
I’d invite you to reconsider the kind of language you’re using to interact with other forum members here. Dropping to profanities is not conducive to maintaining an environment that’s facilitating dialogue between its…
What is a complex function to you, and why do you think it’s impossible to verify properties of them?
Yeah, MU123 is basic (high school) mathematics. The reason for that is that the way the Open University works, they have no formal requirements to join, so they cannot assume that students know even the basic stuff…
I'm studying the Q31 (BSc Maths) on Open University. I can second this recommendation. The maths books are _excellent_. It's hard to explain how, but let me try: most of the maths textbooks I possess (plenty of them)…
Jesus Christ mate, they're talking about personal finance, not political economy.
I've just tried the first example on iOS 18.3.1 and it absolutely reproduces perfectly for me.
Depends on how much you consider that particular odour offensive :)
I see this written a lot, and I don’t get it. What matters for an award is that people recognise it as a prestigious accolade. The economics prize, while not “official”, is still recognised by everyone in economics as…
I've recently come across a spectacular number of regressions on my M3 Max MacBook Pro, Sequoia as well as previous versions included. The most workflow breaking one (which really tempts me to throw the computer out of…
Yes. https://github.com/dotnet/runtime/
This is a big problem, especially for people new to a field who can't easily tell AI-gen books from human-authored ones. It also saturates the recommendation system, massively lowering the quality of recommendations…
Yeah, I’ve also enjoyed greatly the following: * Computer Science, an interdisciplinary perspective by Robert Sedgewick * Code by Charles Petzold * Good Math by Mark C. Chu-Carroll
My favourite computing book. Very highly recommended.
In the case of the code that you have cited, these are all different elaborations of the binding at the invocation of the lambda, due to the interplay between activation records and scope rules. It's not really an…
"binding" is a PLT term, denoting the association between a name and a value. It's a higher level concept than the variable - a mutable binding is what people usually refer to as a variable, and an immutable binding is…
Fancy seeing this here, some days after finishing the third version :) I'm also glad to see the asynchronous programming chapter significantly reworked - it was materially weaker than the rest of the book because of…
Piracy *is* stealing. Sure, you may not have taken away money from Nintendo’s bank account by coercion/force/whatever, but the company and its employees have partaken into an effort to produce something of obvious value…
Love this! I was just reading the book and I came across this now, haha :)
Programming with types by Vlad Riscutia fits your bill exactly. Examples in typescript (so syntax should be familiar compared to e.g OCaml) and teaches you how to model a domain in types and how to think in terms of a…
You misread his comment - you're both agreeing here. He said that the people who brought us to this state have made it harder to move to the EU (because of Brexit limiting freedom of movement).
Where did you source the $7bn value from? I have trouble reconciling this with the information present on the financial statement. They have net assets of $1.2bn, and revenue for the year was $593mn minus $425mn for…
You don't need an accountant for that - you can read the financial statement (this one is pretty simple). From about $593mil revenue in their income statement (page 4), $510mil is derived from _Royalties_. Later, on…