Blogs / Personal blogs

Tony Garnock-Jones

eighty-twenty.org

Two years ago, I built an IDE for a teaching language based on Shriram Krishnamurthi et al. ’s work on teaching SMoL, the “Standard Model of Languages”, as part of PLAI . The project was directly inspired by the marvellous work of Kuang-Chen Lu and Shriram in developing Stacker .

Popular posts
3
Total points
837
HN comments
330
Rank
#2,722 personal

Visit eighty-twenty.org → RSS feedOn Hacker News Feb 2018 – Jan 2023

Systems & Performance 2Networking & Internet 2Tools & Productivity 1Software Engineering 1

1

60x speed-up of Linux “perf”

The tool is great, but it uses perf to record and analyze profile data, and perf on Debian has a performance problem : when not linked against libbfd , it shells out to addr2line for every address it needs to look up. Thousands and thousands and thousands of incredibly short-lived processes.

3

SirTunnel, a personal ngrok alternative

From time to time I need to expose a development web site or web service to the world. In the past, I’ve used ngrok for that, and of course long ago I built ReverseHTTP which is somewhere in the same ballpark, but I recently got fed up with the state of affairs and decided to see whether there was something simple I…