After doing mobile development professionally for two years, I decided it was time to remove the rust in my web development skills. For that, I built flytogether.hitnail.net. It solves a problem I recently ran into when looking for travel destinations for me and a friend living in another ...read more
It keeps popping up these day, from Hypernormalisation to The price of certainty, passing by Black Mirror and House of Cards: we live in post-factual times. The speed and volume of information in the current distorts our mental model of the world. We realize more than ever that our society ...read more
One difficulty I faced in my recent adventures with OCaml was figuring out how to organize and build my tiny toy projects, which have some custom C++ code in the mix. There's a lot of fragmentation in the OCaml ecosystem for build systems, and while ocamlbuild seems to be ...read more
EDIT (2016-09-16): as of a great suggestion from hisham, I reused some symbols from Russian Cyrilic (Э э for /ɛ/, X x for /x/) instead of using Latin alphabet or IPA replacements. I still kept S s for /z/ with readability in mind, as З з looks very similar to ...read more
Let's face it, using XCode in 2016 is a burden that iOS developers are forced to bear. All the crashes, the eternal indexing, the terrible refactoring functionality, the weird build fails solved by re-opening the editor, the inability to (sometimes) run individual unit tests, and other annoyances are already ...read more
This is a handy list of symbols that can help a lot when laying down keyboard shortcuts on tutorials or README pages. The * marks symbols that are not commonly used; those keys are usually referred by their names or an abbreviation.
Symbol Key ^ Ctrl/Control (Mac notation) ⎈ Ctrl/Control (Unicode ...
While writing my little l0dable, I faced a small inconvenient: compiling and flashing the f1rmware at every iteration of the development. The easiest solution for this would be running the code on some kind of emulator for development purposes. With a little research, I found a mention of a simulat0r ...read more
I was one of the lucky ones that got hold of an amazing rad1o on the last Chaos Communication Camp, but, apart from following some SDR tutorials and messing around with transmitting and recieving FM signals, I couldn't invest much time in doing cool stuff using it. After watching ...read more
So, almost 2 years since my last post, I finally have something worth sharing on machine burning again. I'm starting a new project: Do Androids Dream In Pixels?
The idea is posting some experiments I've been doing with digital art, mostly glitches and neural networks. Check it out!read more
Follow this construction: draw a circle and inscribe a triangle inside it; inscribe a circle inside this triangle and repeat the process, now inscribing a square. Continue this steps using pentagons, hexagons, heptagons, etc. The ratio between the radius of the outer circle and the inner limit circle is called ...read more
The two final productive weeks of Debugging and Inspection on Summer of Code have been quite busy. I've done a lot of refactoring on IEx code and added shiny new features to showcase the power of the debugging infrastructure being developed.
IEx, as of today, works using two ...read more
After last weeks' drama about anonymous functions, we could say that everything went well: the final code wouldn't differ much from the currentread more
caseexpressions. On weeks 9 and 10 I've finally managed to write code to make all runtime tests pass, dealt with with non-debugged ...
The second half of the GSoC program started with the Elixir debugger beginning to show some stability. Some of the challenges foreseen when taking the decision on the metaprogramming-based design have been solved, but other tricky control-flow structures involving exception handling and multiprocessing now have to be tackled.
Rescue catching ...read more
The last two weeks have been quite busy Elixir debugging: the project has seen a fair amount of changes on the design side and many practical issues came up. All that had to do with implementing debugging of programs using multi-processing directives, which are the most important and distinctive features ...read more
This week all the last pretty printing issue was solved, thanks to a pretty cool solution proposed by José (my mentor on the project). More details about the solution, based on changing a bit the way the algorithm decides between formatting a document onread more
:breakmode, are available ...
The third week of my GSoC project featured the pretty printer being merged into upstream. This is quite exciting for me, as it's my first expressive contribution to an open source project (:
An issue was raised on the behavior of the pretty printer when printing lists. This kind of ...read more
Not much going on this week on my GSoC project, mainly due to the finals season on my university. Besides studying to exams my class assignments kept me busy with cryptography-related algorithms, AES on WebCL and LLVM passes.
I started adjusting the code on the pretty-printer pull request to use ...read more
Today was over the first week of development of Summer of Code, and I worked mostly getting pretty-printing on Elixir. There was already a pull request implementing the algorithm proposed by Wadler (2003), but some performance issues still needed to be taken care of before merging it to upstream.
After ...read more
Just a really quick update with great news: the project I pitched to BEAM Community was accepcted on Google Summer of Code 2013! This means that until 15 September I'll be quite busy developing code inspection tools and a basic CLI debugger functionality for the great Elixir language.
Also ...read more
The user experience for a developer under Linux is way more flexible than under Mac OS X, specially talking about package management, which is light-years more evolved on the open source world. But, on the other hand, some hassle can be experienced from bad hardware support and buggy drivers. That ...read more
This is my first post from the Emacs (+ Markdown mode) side of the world. Muscle memory still tricks me many times with :wq and :%s lapses, but I must say: it feels good. The Finger yoga can be quite tricky when coming from the distinct vi-style editing logic.
I'm ...read more
The Arch Linux installation process wasn't much different on a Macbook than it would be on another laptop. Installing the bootloader comes as the main issue, but even though it was quickly solved. It's always helpful to have another device connected to the internet so you can read ...read more
Since the beggining of my adventures on the Lisp side of the universe with Clojure and Scheme, I've seen a lot of tutorials made by developers with seemly ninja skills on emacs doing some magical text editing (for instance this one from Sam Aaron). But after seeing a live ...read more
It wasn't hard to embrace Mac OS X when I bought my Macbook, back in 2010. It's a very good looking and practical UNIX flavor running on sexy designed hardware. And it is pretty usable out-of-the box, unless you like tweaking your system to the last variable and ...read more