Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
363849473754
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
5 ms
·
1.
▲
by
363849473754
3mo ago
For a more advanced book: Category Theory in Context by Emily Riehl
2.
▲
by
363849473754
3mo ago
F. William Lawvere - Conceptual Mathematics: A First Introduction to Categories Eugenia Cheng - The Joy of Abstraction: An Exploration of Math, Category Theory, and Life She builds up to the category theory chapters. Book club: https:/
3.
▲
by
363849473754
2y ago
GRPO project is neat. Would you be willing to do a Karpathy-style explainer, breaking down the algorithm from scratch? It’s hard to understand on its own without prior background knowledge.
4.
▲
by
363849473754
2y ago
Understood! How much is it to enroll in your “Methods of Proof” course or in Math Academy more generally? I didn’t didn’t quite understand how it works based on the FAQ, is it lecture-problem based with an interactive testing element for co
5.
▲
by
363849473754
2y ago
Thank you for the response and for making these resources fully available. Do you plan to make a proofs based book available as well?
6.
▲
by
363849473754
2y ago
This is phenomenal. I currently don’t have a great internet connection, so the pdfs won’t load. Do these books have solutions?
7.
▲
by
363849473754
2y ago
What is the pricing model for this? I’m interested in enrolling.
8.
▲
by
363849473754
2y ago
Thanks! So, you are considering expanding the Zero to Hero series to include building a basic GPT-2 toy chatbot? I believe you mentioned in one of the early lectures that you planned to include building a toy version of Dalle. Do you still
9.
▲
by
363849473754
2y ago
You might have covered this topic before, but I'm curious about the main performance differences between nanoGPT and llm.c. I'm planning to take your "Zero to Hero" course, and I'd like to know how capable the nanoG
10.
▲
by
363849473754
3y ago
Do you plan to do any investigative pieces on AI alignment? I’d be interested in a piece that interviewed people like Paul Christino, Eliezer Yudkowsky, Chris Olah and the like. Covering opposing views from doomerism to e/acc.
11.
▲
by
363849473754
3y ago
Thanks for the link. I like taking these for fun, any idea where to find the advanced set for older teenagers and adults?
12.
▲
by
363849473754
4y ago
Has anyone ever had success on an app like Hinge, then deleted it only to see a large drop in your success rate when nothing else changed about your profile? If so, it could be due to things like this: https://tech.okcupid.com&#x
13.
▲
by
363849473754
4y ago
>“ There is a facebook group called "Topology Without Tears Readers" where readers of the book can communicate with each other. But this is definitely not a place to ask others to solve your homework problems. If you ask quest
14.
▲
by
363849473754
4y ago
Despite using Google maps I like having a separate GPS navigation system like this running in the background as a backup. That’s in case if something happens to my phone and it no longer works, then I have a secondary GPS device.
15.
▲
by
363849473754
4y ago
this video may help https://youtu.be/iC-KVdB8pf0
16.
▲
by
363849473754
4y ago
yes https://youtu.be/iC-KVdB8pf0 http://zxcalculus.com/ https://github.com/Quantomatic/pyzx https://en.m.wikipedia.org/wiki/ZX-calculus
17.
▲
by
363849473754
4y ago
To be honest I care more about the high iq kids interested in math who come from poor or working class families that either won’t be identified or will be identified but not much can be done for them given the lack of resources. Plus this d
18.
▲
by
363849473754
4y ago
Not to downplay any of Daniel’s accomplishment but sometimes it isn’t a “fair” comparison when others started younger with more resources. His father is a distinguished professor of mathematics and his mother is a professor of mathematics.
19.
▲
by
363849473754
4y ago
Depends what “non-expert” means. Because I actually think even if you have an undergraduate knowledge in mathematics then you still may not be able to follow some of his arguments unless you specifically studied mathematical logic. I have a
20.
▲
by
363849473754
4y ago
I disagree that it is “quite approachable for the non-expert” assuming you meant a general audience without a background in high school mathematics. They probably wouldn’t exactly understand the Löwenheim–Skolem theorem or ZFC, or consisten
21.
▲
by
363849473754
4y ago
what math background is needed to specialize in ZKP?
22.
▲
by
363849473754
4y ago
for proofs i really liked two sources: susanna epps’s discrete math book and also rosen’s discrete math text (though epp’s is friendlier for the beginner) supplement those books with these lecture videos: https://youtube.com/
23.
▲
by
363849473754
4y ago
As Jensson recommended I would learn abstract algebra first to understand concrete examples in category theory. If abstracts algebra is too difficult then learn introduction to proofs before continuing with abstract algebra. Try doing probl
24.
▲
by
363849473754
4y ago
The author also wrote this excellent article: https://www.newyorker.com/magazine/2015/02/02/pursuit-beauty
25.
▲
by
363849473754
4y ago
Does anyone have experience with being a non-traditional PhD student and doing your PhD later in life? I worked a bit and want to return for a PhD in CS. I took some courses at a nearby (and good) institution and did well (for fun). I want
26.
▲
Mathematicians Discuss the Practicality of Lean
(old.reddit.com)
3 points
by
363849473754
4y ago
|
0 comments
27.
▲
by
363849473754
4y ago
I’ll copy paste what I wrote before about quantum country This doesn’t provide solutions to the problems and doesn’t show you how to do the mathematical calculations. It assumes you know proof based linear algebra and if you’re a math begin
28.
▲
by
363849473754
5y ago
This doesn’t provide solutions to the problems and doesn’t show you how to do the mathematical calculations. It assumes you know proof based linear algebra and if you’re a math beginner the level that this is written at will be beyond you.
29.
▲
by
363849473754
5y ago
Grothendieck was the best in class at abstract mathematical reasoning and some regard him as the best mathematician in the 20th century. The Heron Formula or “prime” example doesn’t negate that
30.
▲
by
363849473754
5y ago
I wouldn’t go far as to say Von Neumann was smarter than Grothendieck. I think they’re both different types of geniuses, where their genius manifest in different ways. Grothendieck was a genius in working with extremely deep abstractions, I
More ›