HNHacker News
TopNewBestAskShowJobs

badtuple

205 karma · joined January 25, 2017

Projects focused on event streams, conformance checking, and database implementation.

Communication encouraged! I enjoy talking to people. Feel free to send me an email.

  email: badtuple@the.sarl
  everything else: badtuple
submissionscomments
badtuple··on Ask HN: How to get industry insights and meet people outside your bubble?
You really aren't giving people enough credit here. You don't have to be at the top of an org to know the nuances of your own job. There are tons of people who work hard and are interested in their job beyond trying to "avoid getting fired." Don't rule people out so easily...literally everyone knows something you don't.
badtuple··on MedleyText
One thing I've noticed with my personal note taking is that most features note applications offer are more distraction than anything.

I've settled on having a permanently open vim buffer in a hidden window. When I press a hotkey it's pulled ontop of any windows I have. I type in a plain ascii pseudo-markdown-org-mode-ish style I've made up over the years but no one else needs to read. Then I hit the same hotkey to hide the window until I need it again.

The biggest thing for me is that it pops up, I brain barf all over the buffer, and then it's gone with no thought on how it's supposed to be formatted or anything. It should be more like playing an instrument than creating good documentation. It can be changed into something presentable later iff I need to. Options and features, while necessary to push your new app, are the antithesis of seamless note taking for me.

badtuple··on Cayley – An open-source graph database
Anyone use Cayley in prod? An old job used Neo4j, and the graph concept was great for specific use cases. As a lightweight graph store, Cayley was really exciting when it came out, but I haven't had a need for it since I left that job. It strikes me as really well made, and I'd love to hear any war stories.
badtuple··on Why Don't Computer Scientists Learn Math? (2016)
Thank you! I looked for something similar a while ago and came up empty. Whenever I asked math friends the answer was always "there's too much variation so a book couldn't tell you everything", which is probably true but even common things would help.

Someday I'd love to see a similar thing that's simply an operator to function index where you can read in code/pseudocode what an operator does on a (bounded for ease of reading) datatype.

badtuple··on Rust's Type System Is Turing-Complete: Type-Level Programming in Rust
Here's a great article about making the Prolog re-implementation in Rust's type system less ad-hoc and more awesome: http://smallcultfollowing.com/babysteps/blog/2017/01/26/lowe...

The best days are when Niko posts about his work on Rust. Always interesting and they often exploit the power behind ideas like "It's basically Prolog" instead of apologizing for it. It's exciting and the kind of thinking that makes me remember why I fell in love with programming in the first place.

badtuple··on Ask HN: What're the best-designed things you've ever used?
The Tom Bihn Synapse 25 backpack: https://www.tombihn.com/collections/backpacks/products/synap...

I went nomad earlier this year and decided I needed a good backpack. After much research, I landed on the Synapse.

It's simply amazing that something as simple as "a bag" can be so well designed. So clearly better.

It's the only product I've ever owned where I notice myself stop and admire it regularly.

badtuple··on Ask HN: Anything we can do for those impacted by the US immigration ban?
There's alot of meatspace stuff suggested, but I'm an American that's overseas until April. Anything I can do to make an impact when I can't physically protest? I've made donations to the ACLU and CAIR and sent emails to my representatives, but willing to do more if there is something.
← PreviousPage 3 of 3