baziotis

7 ms·

1.
Metap: A Meta-Programming Layer for Python(sbaziotis.com)
1 points by baziotis 1y ago|0 comments
2.
Dias on the Web – Pandas Rewriter(pandas-rewriter.com)
2 points by baziotis 1y ago|0 comments
3.
What Happens If We Inline Everything?(sbaziotis.com)
3 points by baziotis 1y ago|0 comments
4.
by baziotis 1y ago
On May 7th I'll have a discussion with Federica Frabetti, the author of the amazing book: Software Theory: A Cultural and Philosophical Study. Federica is an Associate Professor in Digital Media at the University of Roehampton, and a f
5.
Getting Started with Compilers(sbaziotis.com)
2 points by baziotis 2y ago|0 comments
6.
by baziotis 2y ago
That's cool! I've heard similar nice words from other people who had him as a professor, advisor, etc.
7.
by baziotis 2y ago
Thanks for the comment and I'm sorry for the late response. HackerNews is bad in that you get no notifications. I agree and I updated the form, although I suspect no one will see it now :-)
8.
Questions for William J. Rapaport(docs.google.com)
27 points by baziotis 2y ago|5 comments
9.
by baziotis 2y ago
On March 27 I'll have a discussion with William J. Rapaport ( https://cse.buffalo.edu/~rapaport/ ). William is a Professor at U at Buffalo, a philosopher and computer scientist specializing in AI. He has written the
10.
by baziotis 2y ago
4 short essays: - On the value of a non-thesis CS master's in a top school in the US - Descartes' conception of infinity - Unified theories as a type of compression - Two interpretations of the rise of authoritarian regimes
11.
by baziotis 2y ago
If you find this interesting, you may also like my blog: https://sbaziotis.com/#blog
12.
by baziotis 2y ago
This is such an underrated comment haha
13.
by baziotis 2y ago
Hey folks, author here. I'm really happy the article has gotten such attention. I hope it's good attention and that you folks learned something! Unfortunately, though, it's _very_ hard to keep track of all the comments in Hac
14.
by baziotis 2y ago
Sure, but the article doesn't define optimal substructure, nor does it give a general statement about it. It just talks about a specific implication that _would be_ true if code size had optimal substructure as I thought (but based on
15.
by baziotis 2y ago
Indeed, I'm a 4-th year CS PhD at UIUC. Yes, the environment is great and it's surprising how non-antagonistic it is for a top school. About the social environment, that's exactly how you put it: let's not talk about it
16.
by baziotis 2y ago
Nice to hear that! I hope nothing else is questionable. And thanks for pointing it out! I guess the moral of the story is don't do "proofs" in your head after 3am.
17.
by baziotis 2y ago
Ok, I see a nice discussion going here. I may have disproved myself here and save ourselves some effort. First, just to be sure what we're talking about: If split the function in two and compile the two parts to minimum sizes, combinin
18.
by baziotis 2y ago
TIL that LLVM_OPTIMIZED_TABLEGEN exists, thanks! Unfortunately, it didn't make the build any faster on my machine.
19.
by baziotis 2y ago
Oh, that's cool! I think these are the folks that made the Specializing Adaptive Interpreter which does type specialization at runtime. If these folks have any thoughts on ahead-of-time type inference and/or Codon, please let us k
20.
by baziotis 2y ago
I don't know that much about ThinLTO but ThinLTO just works on summaries instead of the full code right? It still seems the linker is the one who reads these summaries (doc: https://clang.llvm.org/docs/ThinLTO.html
21.
by baziotis 2y ago
For the first question, check this: https://youtu.be/pVhcyKf3efM?t=447 at 7:27. I don't know any details about Porforr but you may want to look into that.
22.
by baziotis 2y ago
> Recently someone proposed this on LLVM Well, to be honest, it's not any extraordinary idea and it's not even mine. Mike Acton used this exact example in his CppCon video ( https://youtu.be/rX0ItVEVjHc?t=1558 a
23.
by baziotis 2y ago
Yes, but... First, it is what it is. Second, it's not that C++ people made bad decisions in the 80s but the decisions were great afterwards. Let's take C++ metaprogramming in general, which templates are part of. Let's take i
24.
by baziotis 2y ago
Well, the truth is there's a lot more to JITing than what I wrote in the article, just because JITing didn't fit the vibe of the rest of the article that well. Anyway, yes theoretically you can. Recently folks creating Codon ( htt
25.
by baziotis 2y ago
Thanks, I fixed it!
26.
Common misconceptions about compilers(sbaziotis.com)
190 points by baziotis 2y ago|64 comments
27.
Defining All Undefined Behavior and Leveraging Compiler Transformation APIs(sbaziotis.com)
1 points by baziotis 2y ago|1 comments
28.
Ayal Zaks – Compiling for Heterogeneous Platforms – Compiler Meetup UIUC [video](youtube.com)
1 points by baziotis 2y ago|0 comments
29.
by baziotis 2y ago
Thanks a lot for sharing!
30.
Inverting the Inverted: Revisiting Dismissed Ideas in Research(baziotis.cs.illinois.edu)
1 points by baziotis 3y ago|1 comments

More ›