Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Penyngton
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
1.
▲
by
Penyngton
3y ago
Here's a link you can use to explain the topic to people who make this mistake: https://www.cais-soas.com/CAIS/Languages/persian_not_farsi.h...
2.
▲
by
Penyngton
3y ago
I believe that the 'official answer' is that SageMath is the best of the free software CASs. I personally use Maxima, because it's good enough for my use cases (which involve a lot of finite sets and not many inequalities) a
3.
▲
by
Penyngton
3y ago
I might be interested. How many people are you? What is your background (professionals/students/etc)? Are you planning to work in Java, C, or C++?
4.
▲
by
Penyngton
3y ago
One of the few surviving industries we've got.
5.
▲
by
Penyngton
3y ago
Yes and no. Maybe I should have quoted the following part of the parent's comment: > whenever civil protection and economic freedom gives them any semblance of a choice, the number of children they get goes way down. Which is clear
6.
▲
by
Penyngton
3y ago
> Having children is a horrible deal for women though Women in every rich country have fewer children than they desire: https://medium.com/migration-issues/how-big-is-the-fertility...
7.
▲
by
Penyngton
3y ago
I've personally read An Introduction to Mathematical Reasoning: Numbers, Sets and Functions Paperback by Peter Eccles and Chapter Zero by Carol Schumacher and would recommend them both. Sadly, this is not an easy thing to learn and req
8.
▲
by
Penyngton
3y ago
I'm not quite in the situation you're looking for, because I have got an undergraduate maths degree, but due to my personal situation at the time, I wasn't a good student and I have done a lot of self-teaching in the years si
9.
▲
by
Penyngton
3y ago
I've actually recently read "FUNCTIONAL PROGRAMMING: Application and Implementation", by Peter Henderson from 1980, which contains a description of the SECD machine and a compiler for a simple purely-functional Lisp dialect c
10.
▲
by
Penyngton
4y ago
I agree with you, but this is how bullies get their way.
11.
▲
by
Penyngton
4y ago
William Shawcross's Independent Review of Prevent [0] has on page 24 > 3.46 While the products related to Islamist terrorism focus on the most serious material relating to violent Islamist ideology, mostly Islamic State and al-Qa’id
12.
▲
by
Penyngton
4y ago
SML is probably my favourite programming language, and ML for the Working Programmer is probably my favourite programming book. It is indeed sad to think that I'll probably never use it seriously or even meet another SML programmer in
13.
▲
by
Penyngton
4y ago
Your own link says: > However, a large number of epidemiologic studies (both case-control and cohort studies) in humans have found no consistent evidence that dietary acrylamide exposure is associated with the risk of any type of cancer
14.
▲
by
Penyngton
4y ago
Apparently, this is a myth: https://www.cancerresearchuk.org/about-cancer/causes-of-canc...
15.
▲
by
Penyngton
4y ago
I did that a bit more than a decade ago and everything worked except for the "picture language" section from chapter 2, but that's a very minor part of the course. There may have been an occasional definition I had to add to
16.
▲
by
Penyngton
4y ago
I feel like I live in a society without a culture, let alone a counterculture.
17.
▲
by
Penyngton
4y ago
> That can also happen in two-year long programs as well, especially in those that allow you for less than a semester from proposal to defense. I can imagine that. My own programme had two terms with exams in January and May/June,
18.
▲
by
Penyngton
4y ago
Yes, my own MSc dissertation was very rushed and of low quality, unfortunately...
19.
▲
by
Penyngton
4y ago
The problem is that universities, at least in my experience here in the UK, are just getting more bureaucratised and less committed to pure (non-corporate/"enterprise") research. I don't trust them to reform anything an
20.
▲
by
Penyngton
4y ago
Since I haven't seen many discrete maths books, he's my list: Beginner: NL Biggs, Discrete Mathematics, Oxford University Press Intermediate: PJ Cameron, Combinatorics: Topics, Techniques, Algorithms, Cambridge University Press A
21.
▲
by
Penyngton
4y ago
I discovered Autocode from the following passage of [0]: > Alick Glennie (UK) > In their contribution "Programming for high-speed digital calculating machines" (1953), the British computer scientists J. M. Bennett and Alick
22.
▲
Autocode
(en.wikipedia.org)
2 points
by
Penyngton
4y ago
|
1 comments
23.
▲
by
Penyngton
4y ago
I've already started improving my C++ knowledge with www.learncpp.com and Stroustrup's "The C++ Programming Language (4th Edition)" because my PhD supervisor is into C++ and I've got a few projects with him coming u
24.
▲
by
Penyngton
4y ago
Depending on your definition of `Computer Science', [2] is already the link you're looking for. Church, Turing, von Neumann, McCarthy, Shannon and many other founding fathers of Computer Science are there. In fact, from your link
25.
▲
by
Penyngton
4y ago
Sadly, that's not something easy to find if you're not born into one...
26.
▲
by
Penyngton
4y ago
I'm surprised not to see any mention of satisfiability here. There are a few papers I've seen about it, but this blog post seems to give a reasonable overview: https://codingnest.com/modern-sat-solvers-fast-neat-u
27.
▲
by
Penyngton
4y ago
Google's Common Lisp style guide says "Ideally, use the default indentation settings provided by slime-indentation". < https://google.github.io/styleguide/lispguide.xml >
28.
▲
by
Penyngton
4y ago
I'm sorry that the phrase riled you. I didn't intend it to be pithy, but simply to demonstrate that it's well known that what OP is asking for doesn't exist. > Is there a course or series of courses I can take that
29.
▲
by
Penyngton
4y ago
There's no royal road to geometry. You just have to keep trying things and keep suffering. Sadly, I'm not familiar with that book or particularly with the topics you've mentioned, so I can't recommend specific books, b
30.
▲
by
Penyngton
4y ago
I personally really like Alfred Tarski's book "Introduction to Logic and to the Methodology of Deductive Sciences". The first Polish edition was written in 1936 and the English version is still available from Dover: https:&
More ›