Hacker News: butterthebuddha

Million Magnet Simulation: Mathematica vs. Python vs. OpenGL

butterthebuddha — Sat, 22 Jan 2022 14:43:03 +0000

Article URL: https://www.youtube.com/watch?v=-EC6aOnRzaI

Comments URL: https://news.ycombinator.com/item?id=30037024

Points: 4

# Comments: 0

New comment by butterthebuddha in "Tell HN: I am doing online reading sessions on analytic number theory"

butterthebuddha — Sat, 06 Mar 2021 17:14:56 +0000

Do you mind posting brief notes indicating how far the reading group has progressed after each meeting?

Thanks for taking the initiative to host this.

New comment by butterthebuddha in "Advanced Compilers: Self-Guided Online Course"

butterthebuddha — Fri, 11 Dec 2020 17:41:10 +0000

For PhD students, the masters is integrated into the 5 years they spend doing their PhD. They are expected to take courses as a "pre-candidate" and do primarily research after they pass their qualifying exams and become candidates.

New comment by butterthebuddha in "After centuries, a seemingly simple math problem gets an exact solution"

butterthebuddha — Fri, 11 Dec 2020 07:25:20 +0000

Most Diophantine equations. Someone has already mentioned FLT above. Problems of this sort is almost one of the defining characteristics of number theory.

You can take the derivative of a regular expression?

butterthebuddha — Mon, 16 Nov 2020 17:24:37 +0000

Article URL: https://jvns.ca/blog/2016/04/24/how-regular-expressions-go-fast/

Comments URL: https://news.ycombinator.com/item?id=25114333

Points: 3

# Comments: 0

New comment by butterthebuddha in "Linux Command One-Liners"

butterthebuddha — Thu, 12 Nov 2020 14:45:02 +0000

See https://tldp.org/LDP/sag/html/buffer-cache.html.

New comment by butterthebuddha in "What Is Math?"

butterthebuddha — Sun, 27 Sep 2020 17:07:17 +0000

When people talk about different language, they mean more than just notation. For example, I can write "2 | 4" as "4 = 0 in Z/2Z". There is more than just a notational difference here.

A more non-trivial example: Say you want to say that 2 x 4 = 8. One way is to just write 2 x 4 = 8. Another way is to say that a finite set of cardinality 8 is the product of a finite set of cardinality 2 and cardinality 4 in the category of finite sets (in the sense that 8 satisfies the universal property of 2 x 4).

New comment by butterthebuddha in "C++20 has been approved"

butterthebuddha — Sun, 06 Sep 2020 09:53:34 +0000

Concepts and ranges are pretty big too.

The Rational Rejection of Security Advice by Users [pdf]

butterthebuddha — Tue, 25 Aug 2020 05:21:40 +0000

Article URL: https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/SoLongAndNoThanks.pdf

Comments URL: https://news.ycombinator.com/item?id=24268324

Points: 2

# Comments: 0

New comment by butterthebuddha in "A Keyboard with Blank Keycaps Made Me an Expert Typist"

butterthebuddha — Wed, 12 Aug 2020 06:56:25 +0000

An argument for a smaller keyboard (and this is definitely a personal thing) is that I try my hardest to avoid using keys that are more than one key away from a finger in its resting position anyway (why---I really don't like having to move my hand physically, and I'm willing to pay the cost of additional latency with having more keys gated behind modifiers if it means I have to move my hand less). My day-to-day keyboard uses QMK, so it's really possible to make this work.

New comment by butterthebuddha in "Some Fundamental Theorems in Mathematics (2019) [pdf]"

butterthebuddha — Wed, 05 Aug 2020 14:50:56 +0000

> Rot mathematics is where it goes wrong.

Not sure what you mean by "rot mathematics".

> Meta mathematics, abstract, detached from real life, as alot of the academy with its publish pr perish thinking ... that produces pain.

Some (including me) would say that the meta and abstract mathematics is most beautiful of all...

> saying weirdos hate logic is extremely dismissive to a lot of what I would call the human experience.

I think you misread the parent comment (although to be clear, I'm not defending it).

New comment by butterthebuddha in "A gentle intro to assembly with Rust"

butterthebuddha — Tue, 04 Aug 2020 00:15:05 +0000

TAOCP?

New comment by butterthebuddha in "Mathematicians will never stop proving the Prime Number Theorem"

butterthebuddha — Wed, 22 Jul 2020 15:39:55 +0000

This isn't true. Most mathematics published in journals is new.

New comment by butterthebuddha in "MIT and Harvard file suit against new ICE regulations"

butterthebuddha — Wed, 08 Jul 2020 17:36:39 +0000

Things are not so cut and dry. Rent in the college town my university is located in is high and people have to sign year-long leases the year before they actually occupy the apartment due to high demand. Forcing students to travel home places unnecessary hardship on them if they've already signed an expensive lease.

Breqn – Automatic line breaking of displayed equations (LaTeX)

butterthebuddha — Thu, 09 Apr 2020 12:26:37 +0000

Article URL: https://ctan.org/pkg/breqn?lang=en

Comments URL: https://news.ycombinator.com/item?id=22821866

Points: 2

# Comments: 0

On the Cruelty of Teaching Computer Science (Dijkstra) [pdf]

butterthebuddha — Sun, 05 Apr 2020 14:23:00 +0000

Article URL: https://www.cs.utexas.edu/users/EWD/ewd10xx/EWD1036.PDF

Comments URL: https://news.ycombinator.com/item?id=22785675

Points: 5

# Comments: 1

New comment by butterthebuddha in "Darling – Run macOS software on Linux"

butterthebuddha — Fri, 27 Mar 2020 20:55:31 +0000

Most people are here to have discussions, and not necessarily read news.

Uninterruptible Sleep

butterthebuddha — Thu, 26 Mar 2020 23:20:01 +0000

Article URL: https://eklitzke.org/uninterruptible-sleep

Comments URL: https://news.ycombinator.com/item?id=22699003

Points: 2

# Comments: 0

New comment by butterthebuddha in "Firefox's low-latency WebAssembly compiler"

butterthebuddha — Thu, 26 Mar 2020 19:54:09 +0000

I would love an expert's thoughts on whether something like MathJax/KaTeX can take advantage of WebAssembly for faster rendering. Seems like a perfect use case to me.

New comment by butterthebuddha in "Intel SGX has been removed from Rocket Lake-S CPUs"

butterthebuddha — Tue, 24 Mar 2020 02:38:39 +0000

Seems like you're thinking of Intel Management Engine (https://en.wikipedia.org/wiki/Intel_Management_Engine)?

From what I understand, IME and SGX are separate technologies.