efferifick

6 ms·

1.
by efferifick 2y ago
> 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 area. Can you expand a little bit mor
2.
by efferifick 2y ago
Thank you for sharing!
3.
by efferifick 2y ago
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 adding facts about the program. And you need to iteratively
4.
by efferifick 2y ago
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 the default and only options distributed with clang are too
5.
by efferifick 2y ago
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 Programming Languages 5.OOPSLA (2021): 1-28. * Pal
6.
by efferifick 2y ago
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. Ullman. "Monotone data flow analysis frameworks."
7.
by efferifick 2y ago
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 accessible via youtube videos. I recommend watchi
8.
by efferifick 3y ago
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-python.readthedocs.io/en/latest/
9.
by efferifick 3y ago
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 database, even sqlite3 or Berkely DB, would be an overkill. If I
10.
by efferifick 3y ago
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. (Even though his title is a bit provocative and co
11.
by efferifick 4y ago
> 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 — using scale models made of chains or weighted strings. It w
12.
by efferifick 4y ago
I was suggesting a simpler solution: just merge the two civs into one. This would be equivalent to having only one general.
13.
by efferifick 4y ago
Shouldn't there be the possibility for civilizations to join forces?
14.
by efferifick 4y ago
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 speaker talks specifically about node classification. Assumi
15.
by efferifick 4y ago
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 weight could give us a better estimate of hot basic blocks st
16.
by efferifick 4y ago
This is awesome! Thanks for sharing!
17.
by efferifick 4y ago
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 compiler background I am genuinely excited about the research on
18.
by efferifick 4y ago
Something very similar: a "decompiler" that decompiles minified javascript and guesses variables and functions: http://www.jsnice.org/
19.
by efferifick 4y ago
This reminds me a little of the Voight-Kampff test.
20.
by efferifick 5y ago
Relevant comic: https://believermag.com/technofeelia-vol4/
21.
by efferifick 5y ago
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.
22.
by efferifick 5y ago
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 need auto sleep) I'd be happy. I don't know anythin
23.
by efferifick 5y ago
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 experience writing compiler optimization passes and wo
24.
by efferifick 5y ago
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 an optimization for faster analysis similar (or equivalent?)
25.
by efferifick 5y ago
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). * futureland.tv: a social media website focused on journals to doc
26.
by efferifick 5y ago
Came here to point videogrep out. It is a great tool! I don't remember if this is out of the box for videogrep, but it is possible to generate "fine-grained" subtitle information using speech to text and some massaging. In ot
27.
by efferifick 5y ago
Here's another model to generate nonsensical words.: https://www.soybomb.com/tricks/words/
28.
by efferifick 5y ago
Checkout differential datalog. Looks super interesting: https://github.com/vmware/differential-datalog But I've only played with souffle, which I am not sure where it lands in this taxonomy. I think it lands on th
29.
by efferifick 6y ago
I wonder how likely are code invariants found in the training set preserved in GPT-2/3. In other words, if I train GPT-2 with C source produce by Csmith (a program generator which I believe produces C programs without undefined behavio
30.
by efferifick 6y ago
Well... this is how I just found out about them. I find coil very interesting! Strongly thinking about becoming a member, but I would like to find out if the websites I follow use the web monetization tag first.

More ›