miniblog.

← Back to all posts

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

Sep 11, 2015 at 20:56

Writing a correct, robust and performant code formatter is really hard. A fantastic post from dartfmt's maintainer: http://t.co/zVnQxAEa27