Daniel Bittman

310 Followers
116 Following
1.4K Posts

PhD candidate at UCSC working on Twizzler (twizzler.io). If it ain't broke, let's try to break it!

Black lives matter. Trans rights are human rights.

Websitedbittman.com
Pronounshe/him
Alt[email protected]
the need for the inclusion of the graphic is a sad reminder of the shockingly low literacy rate among geese
Why are you obsessed with fighting?
Stick to fishing from now on.
@dev no, I ate them already
anyway these tacos are great
There are quite a few good gluten free options in Kauai. Lucky to be in a time when such options for celiacs are available.
well that was awesome

START DOING COMPUTER SCIENCE

  • VARIABLES WERE SUPPOSED TO BE GIVEN NAMES
  • YEARS OF PROGRAMMING yet STILL MORE TO CREATE
  • Don't want to write code anyway? We have a field for you: It's called THEORY
  • "Well typed programs don't go wrong." "Boolean satisfiability is NP-complete." "Every effectively calculable function is computable." — Statements dreamed up by the utterly inspired

LOOK at what computer scientists deserve your Respect for all this time, with all the circuits and computers we built for them
(This is REAL computer science, done by REAL computer scientists):

[graph of the world wide web] [photo of an FPGA] [screenshot of a proof assistant]

They have given us beautiful tools

@palvaro is one of those deities "neuroplasticity"?
@palvaro I read this as a "DMT sauna" and I was like jesus CHRIST.
@palvaro My "computers don't actually fail and when they do I don't care" line coming back to byte me.