Remy Goldschmidt

@taktoa1

Haskell/PL/physics nerd.

/nix/store
taktoa.me
Joined February 2014
77 Photos and videos Photos and videos

Tweets

You blocked @taktoa1

Are you sure you want to view these Tweets? Viewing Tweets won't unblock @taktoa1

  1. Jun 7

    tfw you spend like 2 hours soldering something and then you turn it on, find out it doesn't work, and have no real tools (logic analyzer / oscilloscope) to debug it

    1 reply 2 likes
    Undo
  2. May 27

    successfully pumped down to 4 millitorr. I think this thing can do better (though not by much), and I'm not totally sure about that number since the pressure gauge was reading 730 torr at atmospheric (should be 760).

    1 reply 1 like
    Show this thread
    Show this thread
    Undo
  3. May 24

    just filled it with flushing fluid, flipped the switch... nothing. popped open the electrical panel, and there are two motor start capacitors. multimeter capacitance mode says that one measures in nanofarads (should be 240uF). I bet there's nothing else wrong with it.

    3 replies 1 like
    Show this thread
    Show this thread
    Undo
  4. May 18

    last saturday, I got a two stage rotary vane pump (Varian DS 302) for $100 at the sunnyvale electronics flea market (retails new for $2000). today, I ordered $300 worth of fittings, gauges, and oil so I can test it out. thanks for advice on fittings and such

    1 reply 4 likes
    Show this thread
    Show this thread
    Undo
  5. Apr 28

    Finally got my Lattice Boltzmann simulation working, now with GPU acceleration. Runs at about 100 fps on my GTX 1070, and uses the regularized entropic multirelaxation collision operator for enhanced stability. Written in Rust using ArrayFire.

    1 retweet 4 likes
    Undo
  6. Apr 10

    why do people make fun of itanium? it seems like a really good idea nowadays, especially in light of things like SPMD.

    Undo
  7. Apr 4

    "Abstract Conflict Driven Learning" describes a version of conflict-driven clause learning (used in SAT solvers) that is generalized to the problem of determining if an additive transformer on a Boolean lattice is always bottom

    2 likes
    Undo
  8. Mar 27

    is a set of libraries you can LD_PRELOAD into your executable to mock out things like the network. Seems extremely useful and I'm shocked more people don't know about it.

    1 reply 1 retweet 2 likes
    Undo
  9. Mar 22

    after a scary bout of RSI the other day, I ordered a Kinesis Advantage 2. today, it arrived. I hope I can adapt to it.

    1 reply 2 likes
    Undo
  10. Retweeted
    Feb 15

    TIL that if T1 is a terminating rewrite system and T2 is a rewrite system and T1 and T2 are completely disjoint (no symbols in common), then T1 \/ T2 is not necessarily terminating.

    1 reply 4 retweets 12 likes
    Show this thread
    Show this thread
    Undo
  11. Mar 17

    NixOS 20.03 -- Garlic??? (gf and I switching off adding stickers to new desktop)

    1 retweet 5 likes
    Undo
  12. Mar 9

    rust really needs typed holes

    7 likes
    Undo
  13. Feb 3

    currently working on a PID-based shower temperature controller. just finished the first step -- 3D printing an adapter that allows me to connect a servo to the spline of my shower knob

    16 likes
    Undo
  14. Jan 6

    Someone should review the combinatorial optimization literature to find the cases where a problem is hard because it's isomorphic to L₀ optimization, but the matrices satisfy the restricted isometry property, so you can replace it with L₁ optimization by the Candès-Tao theorem

    3 likes
    Undo
  15. Jan 2

    Anyone know how this odd anti-camera glass / light I saw at the Nintendo Store works? Polarized glass and rolling shutter effects are my only thoughts, but neither really fits.

    1 reply 7 likes
    Undo
  16. Jan 1

    This is a really good explanation of the Raft consensus protocol:

    4 likes
    Undo
  17. Retweeted
    18 Dec 2018

    Bombard All The Planets.

    7 replies 18 retweets 39 likes
    Show this thread
    Show this thread
    Undo
  18. Retweeted
    30 Aug 2018

    We’ve built the impossible: a full-sized LEGO Technic Chiron …and it drives!

    1,531 replies 34,035 retweets 71,539 likes
    Undo
  19. Retweeted
    10 Sep 2018

    nixpkgs-unstable is killing it: arch has slightly more packages, but they're not as up to date.

    1 reply 22 retweets 27 likes
    Show this thread
    Show this thread
    Undo
  20. 30 Aug 2018

    Mashups are clearly the tensor product in the category of songs -- they're even notated with ×!

    1 reply 2 retweets 15 likes
    Undo

@taktoa1 hasn't Tweeted yet.

Loading seems to be taking a while.

Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.

    You may also like

    ·