vippy

13 ms·

31.
by vippy 4y ago
Velleman's How to Prove It greatly helped my ability to construct set theoretic proofs, which better prepared me for Spivak's calculus and Baby Rudin. Hamkins' Proof and the Art of Mathematics is designed as a a good, less se
32.
by vippy 4y ago
I also found this to be true. "Thought leaders", individual personalities as experts, etc. However: there are mountains of really good non-fiction books if you're willing to get a little boring. I've started digging heav
33.
by vippy 4y ago
har har.
34.
by vippy 4y ago
10000% this.
35.
by vippy 4y ago
Yeah, because that's definitely what folks are concerned with. A/B testing of button locations, and not feed algorithms designed to manipulate users.
36.
by vippy 4y ago
He's a smart, talented guy, but it takes a very different set of skills to break other peoples' stuff than it does to create it in the first place. George never had much patience for the organization of people -- he's got som
37.
by vippy 4y ago
Hell, that is abominable.
38.
by vippy 4y ago
Scala devs are too busy wondering about free monads and F[Request[F] => Response[F]]. I am very pleased by http4s, Doobie, ScalaJS, and the whole ecosystem, really: https://http4s.org
39.
by vippy 4y ago
Yes, the U.S. Constitution protects free expression, so the U.S. government's hands are completely tied on this issue. Even if government officials personally think a site probably facilitates behavior that violates the law, actually
40.
by vippy 4y ago
I don't know where you live, but I see many fewer plastic bags drifting like so many tumbleweeds since the imposition of plastic bag fees and taxes where I live.
41.
by vippy 4y ago
I wouldn't be surprised if micro-credentials paved the way for this. Seriously: why would anyone pay $18-24K to learn calculus except 1. ignorance or 2. coercion?
42.
When college costs $72,354 annually, can the FBI afford degree requirements?(twitter.com)
4 points by vippy 4y ago|4 comments
43.
by vippy 4y ago
"I felt I was constantly fighting the compiler/borrow checker/whatever. I just want to write some code, dammit" Well here's your problem. Type safety helps you avoid avoidable bugs. Try Haskell or Scala next.
44.
by vippy 4y ago
As a consultant, my executive clients simply aren't helped by phrases such as big data. A big pool of garbage is still garbage. Instead, I've dropped back into the traditional vocabulary of data and analytics, and I talk about sta
45.
by vippy 4y ago
How to Prove It is an excellent text. I didn't fully grok Spivak and Rudin until I worked through it, then the proofs all clicked!
46.
by vippy 4y ago
The Scala ecosystem is super cool, once you're able to groc all of the neat stuff happening, sort the good tools from the bad, etc. Love http4s, scala-js, scalajs-react, doobie, cats, etc.
47.
by vippy 4y ago
I've got 1938 problems but proving that the subspace L of the unitary space R_n has an orthogonal basis consisting of the eigenvectors of the transformation φ ain't one.
48.
by vippy 4y ago
The problem is that actual work experience doesn't give you this. The more experience you gain shipping working software, especially in a senior capacity, the less exposure you're likely to have to the skills tested for in the alg
49.
by vippy 4y ago
I have no idea what to do except be OK enough at the skill to get jobs, meanwhile using social media to attack the practice. I hate these god damned things.
50.
by vippy 4y ago
College debt and housing costs are killing the 30+ crowd.
51.
by vippy 5y ago
These level designs for FFX are SO TRICKY. I never realized just how carefully constructed for the camera each map was.
52.
by vippy 5y ago
This is so cool! From a level-design perspective, the Final Fantasy X maps are super illuminating.
53.
by vippy 6y ago
It fascinates me how we've gone from the web as a tool for resisting censorship to the point where we recognize the need for guardrails because of how dangerous information tools can be made in the wrong hands.
54.
by vippy 7y ago
This is a learning thing, honestly. Once you start thinking in types, it clicks: you're thinking at a higher level of abstraction, so the code is less important than understanding how the programmer put the types together in their head
55.
by vippy 8y ago
I keep copies of these papers in a safe in case I never need to re-develop the Internet from scratch. No seriously, the Tor papers are amazing and even hint at the means by which Tor might be manipulated to, say, track down someone like Ros
56.
by vippy 9y ago
Hegel's Phenomenology of Spirit. Kant's Critique of Pure Reason. Hofstadter's Godel, Escher, Bach. I also recommend Zizek's The Sublime Object of Ideology, but it's dense, so his film The Pervert's Guide to Ide
57.
by vippy 9y ago
I read it last year. It is a foundational tract in postmodernism; you WILL see the world differently.
58.
by vippy 10y ago
Srs.
59.
by vippy 10y ago
George, file paperwork? lel.
60.
by vippy 10y ago
Violence is structural.

More ›