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]
Why are you obsessed with fighting?
Stick to fishing from now on.
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

just contemplating quaternions as one does
having my regularly scheduled existential crisis about spinors.
Reviewing papers all day
0013370: Scholars sometimes ponder topics they already know
where they hung the jerk that invented work