Viewing profile — efferifick

> Among other things, this means you can "plug your own language" into the syntax library to get a "free" autodiff algorithm. Hello, as a compiler engineer I am interested in this …

Thank you for sharing!

Damn, I am being nerd-sniped here :) One thing is that you can think of static analysis as building facts about the program. You can for example start by assuming nothing and then …

I am not sure why you mention LLM, the post mentions LLVM. Second, you can have different optimization options with different tradeoffs in compile-time and run-time. Third, even if…

This post and the Hydra paper reminds me a lot of Ruler and Enumo. * Nandi, Chandrakana, et al. "Rewrite rule inference using equality saturation." Proceedings of the ACM on Progra…

The order goes from simpler to more complex data flow analysis frameworks. These frameworks allow you to encode dataflow problems and solve them. * Kam, John B., and Jeffrey D. Ull…

I've been a big fan of Emery's research. Coz is one tool that I am always wanting to use, but I haven't had the chance to do so. Check his other research. Some of it is highly acce…

I recommend `egglog` which is Datalog + Equality Saturation. It has python bindings and has allowed me to optimize programs in a custom programming language. https://egg-smol-pytho…

I will be in the minority here, but: Native integration with Datalog. Many times, I find myself working on a program and I realize that what I need is a database. But having a data…

I think a lot of people in the comments are hung up on defining compiler as "taking a source language and producing a binary". I personally know Eddie and I agree with his points. …

> Spanish Catalan architect Antoni Gaudí disliked drawings and prefered to explore some of his designs — such as the unfinished Church of Colònia Güell and the Sagrada Família — us…

I was suggesting a simpler solution: just merge the two civs into one. This would be equivalent to having only one general.

Shouldn't there be the possibility for civilizations to join forces?

Mmm... maybe I'm mistaken. Thanks for the opportunity to reflect a bit more about this. I was remembering this video [0] which talks about Graph Embeddings. In the video, the speak…

I am really interested in GNN in the context of compilers. * Predicting the color of a node in a graph, could be used for example speculative devirtualization. * Predicting edges w…

This is awesome! Thanks for sharing!

Yes, but the problem is learning through the graph data. I.e., it is not a well-structured problem like an image which will always have a certain size in pixels. Coming from a comp…

Something very similar: a "decompiler" that decompiles minified javascript and guesses variables and functions: http://www.jsnice.org/

This reminds me a little of the Voight-Kampff test.

Relevant comic: https://believermag.com/technofeelia-vol4/

Take a look at coz the causal profiler: https://github.com/plasma-umass/coz From what I know this is the closest project that fits your description.

I wonder how well one can modify the framework laptop to use the 13 inch e-ink monitor. Even if a small hdmi cable needs to run outside the case, as long as the lid can close (no n…

Do you know if there's any disadvantage on using the Futamura projections to generate a compiler? Harder to maintain? Some optimizations are harder to express this way? I have some…

The abstract looks very interesting. I will certainly take a look and read during the weekend. Thanks for sharing. My quick interpretation is that staged abstract interpreters are …

Not sure how much this fits: * fraidycat: RSS reader where the user can choose refresh rate for different type of feeds. Also different categories (i.e., friends vs brands). * futu…