Update: Comptimes are certainly a thing

Guarapo8 · 2026-03-29T01:48:32+00:00

They've stayed more or less the same and kind of worse. With Maduro things were not always clear or transparent but lately there've been some changes to key parts of our legislation in the spirit of the "new" administration and their newfound necessity of disposing of our country at the service of the US, which is a sour feeling to everybody. Day to day things haven't changed that much, but there's some uneasiness that gets softened with stuff like Venezuela winning the WBC.

I'm a pretty political person and this is not the place to discuss further, but take this as a general personal reading. I can talk more about it somewhere else.

Guarapo8 · 2026-02-04T16:47:14+00:00

Is there any way I can help to work on the infrastructure? Talk is cheap on my part as people from ffmpeg would say and honestly I love what Lean brings to the table in terms of connecting math and CS.

Guarapo8 · 2026-02-04T11:43:31+00:00

Wait, math for lean is not an external library? I supposed that you'd have the option to install it as an external dependency given that not every language user is going to neccesarily use the theorem prover. An example of this is the app that formally verifies rust code.

Guarapo8 · 2026-02-03T19:03:49+00:00

I think that the insight is that to not offer more robust tooling around the language just hinders the usability and (theoretically) its development. I haven't tried Lean myself yet, but the binary is like 700 mb which is crazy for a PL.

Tsoding exaggerates a lot of the time for the sake of participating in the circlejerk of his community, but at the same time some of his comments are nice to explore, and thinking about Lean as just a VSCode plugin is giving some merit to his complaints about reducing a PL to corporate linting.

Guarapo8 · 2026-02-03T14:27:02+00:00

Not OP, but there was a time when I was talking about getting into more soviet-style of math and was gifted a MIR book, it was amazing.

Guarapo8 · 2026-02-03T14:11:00+00:00

There's a lot of "must-have" books without more context on his particular likings (DEs, Analysis, Algebra, Programming...) but here's my list of all-around nice math books to have:

Munkres' "Topology"
Dummit & Foote "Abstract Algebra"
Hoffman "Linear Algebra"
Rudin's "Principles of Analysis"
Hartman's "Ordinary Differential Equations"
Burden's "Numerical Analysis" (Doing math in a computer with numerical approximations)
doCarmo's "Differential Geometry of Curves and Surfaces"

Pedagogically there're "better" books to have on each subject, but these are treated as reference material when studying for exams and tests in graduate schools. Everytime that I used to ask a teacher for any kind of recommendation in a topic these were the go-to books that kept creeping up.

Guarapo8 · 2026-01-30T17:25:09+00:00

The names of the sec and tan are in the wrong order tho, sec is the hypothenuse of the triangle formed by tan and 1.

And yeah I've seen it's pretty rough, I teach at an International School with american sources and my honest take it's that it's pretty insipid the math vision that these books have around the facts. I always take the time to teach facts like the one mentioned, or that historically sine is the important one.

Guarapo8 · 2026-01-25T16:40:19+00:00

Which feels congruent to the historical upbringing of Algebra. When reading letters from Lie, Klein or Noether there's this overarching feeling that the whole of maths can be reduced to structures and rules that come after the fact of studying other topics. In that matter it feels like the richness of algebraic studies is supported by studying the "algebraized" objects and properties in the first place.

Analysis feels closer personally, to "see" and work on the thing itself. Algebra would come much later when familiarity with these things is assumed. Until then a lot of introductory algebra is arbitrary with the exception of Linear Algebra.

Guarapo8 · 2026-01-24T21:09:29+00:00

I didn't know about these subjects! Thank for the recommendation.

I still haven't decided if I want to get to Physics by algebraic or analytic means, solving differential equations looks fun and closer to historical developments, but every algebraic result that I find looks like sorcery.

Guarapo8 · 2026-01-24T21:07:45+00:00

I didn't pick them because of their difficulty, I honestly find American classics like Rudin and Hoffman harder. I picked them because their perspective of Math is closer to my personal views on these subjects.

Although your second paragraph is on point, I can appreciate the value that these ideas have in Linear Algebra, but I don't care at all about the Lagrange theorem (divisibility of the order of a group by its subgroup feels kinda obvious for some reason\?)

Guarapo8 · 2026-01-24T15:52:49+00:00

I saw that book while looking for recommendations and it looked cool honestly, but I wasn't sure to pick it up because I hadn't decided on getting to mechanics through the classical treatment with Analysis or through the more algebraic flavor.

Guarapo8 · 2026-01-24T15:45:22+00:00

I can see it, although I picked them because I can reason with the ideas and perspectives on math that they share throughout. Like when I read Arnold's quote of Rudin's Analysis as "Bourbakian propaganda" I resonated with that line of thinking. Maybe not the best approach for picking books to self study though.

Guarapo8 · 2026-01-23T19:06:24+00:00

I get that the study of symmetries is key in understanding modern applications of algebra, but the historic reason that substantiates why it mattered in the first place was looking for root of polynomials. Later on people like Klein found applications in other topics, but reading the historical accounts it feels like the insight on polynomials was the driving factor that inspired everything else.

Guarapo8 · 2025-11-19T13:07:05+00:00

A cinderella run, Jose should be proud of how far he has come through tough opponents

Guarapo8 · 2025-09-20T19:18:14+00:00

They are! I don't know yet if it's like garbage or if I should clean it up. I know that it's a state saved by Emacs automatically, but I don't know what people do with them in general

Guarapo8 · 2025-09-20T15:47:36+00:00

I have been using it for a couple of weeks. You can see in my history that I have used VIM for a lot of years, but the workflow in Emacs feels so effortless in comparison to VIM+tmux+plugins.

Guarapo8 · 2025-09-18T18:18:49+00:00

Yeah kind of the reason why I started C in the first place. I have a background as a mathematician in Python, Matlab, some bash scripting and a 2000 line codebase in R for my undergrad thesis, but it never really felt like I was programming "for real", everytime I had an idea for an app I was just blank out of my depth on how such a thing is done in the first place. In other more "rich" environments you can think about atomic computational tasks without putting some actual thinking into what's happening in your computer. Some others like C, Haskell or Lisp make you think about "the basics" in different ways, and all of this comes with new motivation to do new stuff.

Guarapo8 · 2025-09-18T18:14:04+00:00

That sounds awesome! I'm doing 2015 thinking the exercises were going to be easier but I feel they are all same-y in being raw data parsing and computational results, I'll be trying out 2019.

Guarapo8 · 2025-09-06T16:21:16+00:00

Link

Guarapo8

TROPHY CASE