artagnon

10 ms·

61.
by artagnon 6y ago
See the other reply on the thread: https://news.ycombinator.com/item?id=24900707
62.
by artagnon 6y ago
I started in late 2016. Initially, it was just during the weekends. I was a regular at the local coffee shop near my place in Boston: I'd go in with my iPad and some sheets of paper, spend 4~5 hours studying, while constantly consuming
63.
by artagnon 6y ago
Motivation and direction are important when starting out. I decided pretty early on that I wanted to be an algebraist, but would have to build some mathematical maturity before I could get there, so I had a rather shallow goal in the beginn
64.
by artagnon 6y ago
I've self-taught myself undergraduate-level Mathematics, and am currently enrolled in an advanced Masters program specialized in higher category theory at Université de Paris. Here are some thoughts: First, the amount I learnt on a day
65.
by artagnon 6y ago
Depression and anxiety are independent. It's possible to be depressed and anxious, depressed and non-anxious, anxious and manic, and manic with no anxiety. I wouldn't recommend LSD to people with anxiety, as raises anxiety. I woul
66.
by artagnon 6y ago
Ofcourse; Deno is V8-based, which is a lot more full-featured than quickjs. Perhaps this is a more informative benchmark: https://bellard.org/quickjs/bench.html
67.
by artagnon 6y ago
It's a simple command-line application that dispatches to the quickjs runtime. The headline is somewhat misleading.
68.
Airbus to launch hydrogen-powered commercial aircraft by 2035(rfi.fr)
3 points by artagnon 6y ago|0 comments
69.
Lean versus Coq: The Cultural Chasm(artagnon.com)
3 points by artagnon 7y ago|0 comments
70.
by artagnon 7y ago
Unfortunately, KaTeX can't do commutative diagrams, while MathJaX has an xypic.js extension, which can.
71.
Show HN: Clayoven – a minimalist website generator for math, code, and articles(github.com)
149 points by artagnon 7y ago|32 comments
72.
by artagnon 7y ago
Let's just say that there was very little emphasis on Math in my Physics Masters, which in itself was very poorly taught, and leave it at that.
73.
by artagnon 7y ago
I will concede that I have some friends who are Mathematicians who could provide me _some_ feedback. Besides, I did end up contacting a few serious Mathematicians at various points to get feedback on my exercises -- it was just at extraordi
74.
by artagnon 7y ago
I agree that it's necessary to do exercises in order to understand the subject, but I disagree that you need to have them checked by someone else -- in many cases, you should be check it for yourself, honestly. Beyond the junior underg
75.
by artagnon 7y ago
Actually, the view that Mathematics was "discovered" and not "invented" is quite popular among Mathematicians. There is an area of research called the Foundations of Mathematics, which investigates this question. It&#x27
76.
by artagnon 9y ago
Every generation of programmers _does_ learn from previous work, and every new platform starts from scratch learning the lessons, and incrementally evolves. A Hello World GUI on Windows 95 will require calling into a complex and undeciphera
77.
Entrain (1998)(ludix.com)
2 points by artagnon 9y ago|0 comments
78.
by artagnon 9y ago
It's nice to dream up a language with the perfect semantics; in reality, all programming languages make compromises because they are limited by current compiler technology. Ruby is on one extreme end of the spectrum, making little comp
79.
Dutch Winter Baby Syndrome(thestoneinstitute.com)
7 points by artagnon 9y ago|2 comments
80.
Incrementally updating the Dominator(artagnon.com)
4 points by artagnon 10y ago|0 comments
81.
Playing with matrix multiplication(github.com)
1 points by artagnon 10y ago|0 comments
82.
by artagnon 10y ago
Maintain a healthy balance in life. Read fiction, listen to podcasts, go on long walks, chat about non-technical things over coffee/lunch everyday. Oh, and get ample sleep. Beyond that, it's creature comforts around your desk: a g
83.
by artagnon 10y ago
Even without looking it up, I can say with certainty that his arguments have been debunked. Nobody should believe that 97% of scientists are wrong, or be trapped in an echo chamber.
84.
by artagnon 10y ago
These are good talking points when you want to debate climate change; it is necessary to gather scientific evidence to back each of these points. Everyone knows that 97% of scientists believe in climate change, 84% in an anthropogenic versi
85.
The Case Against Climate Change, by Former Greenpeace President(technocracy.news)
8 points by artagnon 10y ago|9 comments
86.
by artagnon 10y ago
Our genes are somehow improving in quality (survival longevity, quality of life, IQ), and this effect is cascading over generations. I don't know if it can be explained using pure epigenetics, and natural evolution is certainly too slo
87.
by artagnon 11y ago
Nope, sorry. And that was kind of the point I was making: in over a year, I've only been able to do the most foundational work in C++. It'll need another 2~3 years to feature optimizations like that.
88.
by artagnon 11y ago
Thank you. I actually made a lot of design mistakes in both rhine-ml and rhine, which is why I shelved them as "learning projects". I do fully intend to write a solid compiler for a well-designed language in the future. I have to
89.
by artagnon 11y ago
I needed a title. I could have said Elixir-inspired or Crystal-inspired, but few people know about Crystal. Although it's only minimally inspired by Elixir, I decided to go with that title. By the way, I've mentioned Crystal towar
90.
by artagnon 11y ago
Yes, I'd implemented the syntax with the intention of doing currying, but haven't gotten around to doing that yet. If you want to do any "partial application", you need to write a lambda, and explicitly pass its function

More ›