Skip to content

Bram Geron

I make software that works and matters, in Berlin.

  • About me
2020/03/22

Extensive Unicode snippets in Visual Studio Code

I’ve been playing around with the Rust programming language lately. I like it a lot; perfect language for rewriting a Go tool I once lost the source code to! Here’s…Continue Reading …

2016/08/072018/10/27

Improving FizzBuzz in Rust

Read the syntax-highlighted version here. Chris Morgan has a really good write-up of the potential problems someone might encounter when you try to implement FizzBuzz in Rust. He gives the…Continue Reading …

2015/05/072018/10/27

On editing snippets of research: Authorea vs. plain LaTeX vs. Sphinx

A friend mentioned Authorea to me: it’s an environment for collaborative paper writing. In the past I’ve mostly used LaTeX or LyX, but I semi-recently switched to Sphinx to compile…Continue Reading …

2015/04/272018/10/27

Research summary

It’s been long since I let you know what I’m doing, so let me try to explain what I’m at! Purely functional programming works well for some applications, but others…Continue Reading …

2014/11/032018/10/27

Lexical effects, part 1: introduction to effects

I’ve been working on my PhD for a year now, and it’s about time I show you what it’s about. I’m working on a language with constructs such as yield_to_list:…Continue Reading …

2014/01/012018/10/27

Previous research

This page is about my PhD research. There’s something about my master’s research on my About Me page.

2013/06/062018/10/27

Paper accepted: Continuation calculus

It’s been a while already, but our paper on continuation calculus was accepted! I will present at COS 2013, part of the RDP 2013 conference in Eindhoven. Many thanks go…Continue Reading …

2013/03/312018/10/27

Scientific articles at home

It’s often useful to be able to read scientific articles at home. My university (TU/e) offers a proxy for this: appendĀ .janus.libr.tue.nl to the domain name to use it. It’s simpler…Continue Reading …

2012/04/162018/10/27

Clipboard to QR code in console

Here’s a script to show a QR code of your clipboard in Linux. I regularly use it to move text to my smartphone. #!/bin/bash FILE=`tempfile -p qr- -s .png` xsel…Continue Reading …

2012/03/052018/10/27

A taxonomy of authentication systems

The provocation So the other day, there was an ad on Reddit for WiKID, software-based two-factor authentication “that doesn’t suck”. So my bastard brain says: this can no way be…Continue Reading …

Recent Posts

  • Extensive Unicode snippets in Visual Studio Code
  • Improving FizzBuzz in Rust
  • On editing snippets of research: Authorea vs. plain LaTeX vs. Sphinx
  • Research summary
  • Lexical effects, part 1: introduction to effects

Recent Comments

    Archives

    • March 2020
    • August 2016
    • May 2015
    • April 2015
    • November 2014
    • January 2014
    • June 2013
    • March 2013
    • April 2012
    • March 2012

    Meta

    • Log in
    • Entries feed
    • Comments feed
    • WordPress.org
    Proudly powered by WordPress | Theme: GroundWP by the contributors.