miniblog.

← Back to all posts

Nov 9, 2014 at 23:19

Writing decent indentation for a major mode is very hard. You need a non-trivial performant parser. I dare not look at perl-mode or C++.

Jun 13, 2021 at 06:30

Building a performant IDE that scales is a non-trivial architectural problem: https://news.ycombinator.com/item?id=27428625

Jul 13, 2018 at 19:05

Profiling symbolic execution by measuring the symbolic heap and the symbolic execution graph to ensure solver-aided tools are performant: https://2018.splashcon.org/event/splash-2018-oopsla-finding-code-that-explodes-under-symbolic-evaluation (Part of the remarkable Rosette project.)

Finding Code That Explodes Under Symbolic Evaluation (SPLASH 2018 - OOPSLA) - SPLASH 2018

PACMPL (OOPSLA) seeks contributions on all aspects of programming languages and software engineering. Authors of papers published in PACMPL will present their work at OOPSLA in Boston. Papers may target any stage of software development, including requirements, modeling, prototyping, design, implementation, generation, analysis, verification, testing, evaluation, maintenance, and reuse of software systems. Contributions may include the development of new tools (such as language front-ends, program analyses, and runtime systems), new techniques (such as methodologies, design processes, and ...

Dec 27, 2015 at 16:37

Brilliant deep dive on the Midori compiler, and its quest for performant, safe, GC'd language implementation:

Joe Duffy - Safe Native Code