miniblog.

Mar 28, 2016 at 09:55

I've discovered https://github.com/gdbinit/Gdbinit as a brilliant default gdb config. Tons of useful information, colour coded!

GitHub - gdbinit/Gdbinit: Gdbinit for OS X, iOS and others - x86, x86_64 and ARM

Gdbinit for OS X, iOS and others - x86, x86_64 and ARM - gdbinit/Gdbinit

X / ?

Jul 24, 2020 at 06:44

I've been revisiting a 5 year old Emacs mode I wrote: https://github.com/Wilfred/logstash-conf.el It's nice to see that I've learnt tons in that time! I've massively improved indentation performance, corrected syntax highlighting, and even added a test suite.

GitHub - Wilfred/logstash-conf.el: Emacs major mode for editing logstash configuration files

Emacs major mode for editing logstash configuration files - Wilfred/logstash-conf.el

Jan 25, 2020 at 04:18

Tons of great talks at #POPL yesterday: I loved this approach to solving the expression problem, building a PL and tool where you could toggle between data and codata (like functions/methods)! https://popl20.sigplan.org/details/POPL-2020-Research-Papers/57/Decomposition-Diversity-with-Symmetric-Data-and-Codata (had a live demo!)

Decomposition Diversity with Symmetric Data and Codata (POPL 2020 - Research Papers) - POPL 2020

The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and programming systems. Both theoretical and experimental papers are welcome on topics ranging from formal frameworks to experience reports. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages. The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.

Dec 1, 2018 at 00:00

Tons of hobby operating systems exist, but hobbyists have built browsers too. *Emacs has eww *Webkit and Chrome were both born from KHTML, a FOSS project *Servo started as a small research project

Related Posts