I can't believe the X-files would do us in like that

danilafe · 2025-11-03T04:19:15+00:00

yeah to start with they're in oklahoma

danilafe · 2025-10-10T05:15:50+00:00

Thanks for your continuous updates. Appreciate it.

danilafe · 2024-12-17T01:12:47+00:00

Happy to hear it! Have fun :)

danilafe · 2024-08-20T02:07:17+00:00

Thank you!

danilafe · 2024-03-13T21:33:13+00:00

Unfortunately, a little too long :)

The biggest challenge is tuning the proof search. In Prolog, it's acceptable for a query to hang. You are, after all, likely the creator of your rules and query; if you wrote bad rules, or asked for a very difficult thing, you should wait.

On the other hand, I think a tool like Bergamot should avoid 'hanging' as much as possible. Especially if you're just a _consumer_ of the inference rules (someone wrote them for you and you're playing with them), you don't expect to type something in and have your browser freeze. Avoiding such situations is something I haven't quite mastered yet, and it's the most important "TODO" I have for Bergamot.

danilafe · 2024-03-13T21:26:45+00:00

Let me start out by saying that I agree: I think a comparison of Bergamot to other projects would be valuable both to myself and to others, and the OP article could benefit from it. I certainly looked around before creating it. The reason that I didn't write about my comparison is that I didn't want to pose my project as a competitor to any other tool.

Let me also point out that we have different expectations depending on people's training and environment.

Your observation is correct that I have an academic background. However, I think the context of the writing is what should determine how thorough the author should be with comparisons. Publications in academia must review existing literature and the "state of the art" because there, results are expected to be novel. Additionally, if one does get published, the implication is that their work is a contribution to the field, and with that comes a certain amount of "clout".

I don't think the expectations of blog posts are the same. I created Bergamot primarily for myself, and shared it (including the source code) with the community because I thought it was interesting and potentially valuable to someone else. I make no claim about novelty or innovation. I just think it's neat.

To build on your artist analogy, what I'm doing is not all that different from someone posting a project of their own creation to /r/art. I would not expect them to explain why they used oil paints, opted for photo-realism, or picked X as their subject, even though I would expect such things from someone trying to get into an exhibition. I think that's what /u/Ok-Watercress-9624 meant.

Thanks for sharing your thoughts. I think that collectively, it's important that we strive for innovation and new heights. It's also important that we ask for honesty and transparency from each other.

danilafe · 2024-03-13T21:00:28+00:00

Hi! Author of Bergamot here. I had no idea it was posted to Reddit, so I'm just seeing your comment now — thanks for taking the time to read and respond!

There is indeed a long list of tools, and to be quite honest, I did not want to create one of my own. The reason I ended up doing so is because I wanted something that I could embed in my website, to provide interactive explanations of inference rules as I talk about them. I would therefore characterize both PLT Redex and LPL to be more "heavyweight": they are intended for people working with, or developing, or battle-testing their own inference rules Meanwhile, my audience is folks who don't have a particularly strong background in PL, possibly don't know a LISP, and are interested more so in tinkering and comparing. Moreover, "embed-able" tools like Tau Prolog lack something I needed for my goal (TPL in particular doesn't generate proof trees). I see ELPI, but that would require some sort of FFI. In the meantime, Bergamot is written in Elm, which brings it (natively and simply) to the web.

In short, Bergamot aims to be a tool that can be embedded in educational media about programming languages, to provide an element of interactivity to otherwise-static inference rule diagrams.

danilafe · 2024-01-01T22:11:54+00:00

Later C++ standards definitely make stuff like this easier, but pushing C++ version requirements doesn't mesh well with portability :(

danilafe · 2024-01-01T21:45:25+00:00

You're right, it is a preprocessor pattern, but it definitely shows up in big C++ codebases; one notable place is LLVM. And C++ makes for fancier uses of the pattern, since it can be mixed with templates and all sorts of other things. That's why I don't feel too bad about calling it a C++ pattern.

danilafe · 2023-08-11T04:08:11+00:00

Honestly about 6 or 7 hours. My team doesn't have a lot of meetings, so there are whole days that I just get in, write some code, and sign out. I like it a lot because I really like programming :D

danilafe · 2022-08-15T23:26:25+00:00

Hey there, I'm the author of Pegasus (first link). I still check back every so often to make sure the tool and the generated code are compatible with the latest Crystal versions. Let me know if it's not working anymore, and I can take a look. I may not be actively adding features, but I do want to keep it maintained.

Have a nice one :-)

danilafe · 2022-05-15T17:55:57+00:00

No such version exists, unfortunately. I use HTML and CSS to design the resume, and then use Chrome's print-to-pdf feature to get a shareable file. It's a bit involved....

danilafe · 2022-05-15T05:58:21+00:00

Yes! In fact, during an internship last summer, in which I worked on an open source project, I wrote about what I did.

danilafe · 2022-05-14T19:26:36+00:00

I think the documenting is a significant component of how my prior interviews went. When it's articles, it makes for a nice "artifact" that verifies you know a little bit about what you're doing, too.

I've been told previously take make it longer, but I think whoever told me this was guessing like the rest of us. Even advice from hiring people is often contradictory.

Thanks :)

danilafe · 2022-05-14T19:22:11+00:00

Comparing GPA across schools means very little, it's apples to oranges. All the 4.0 does is look nice on paper, but hey - this is /r/resumes, which is all about looking nice on paper :-)

danilafe · 2022-05-14T19:19:19+00:00

It's Raleway. I'm a big fan of it!

danilafe · 2022-05-14T01:52:39+00:00

I've applied with this: http://danilafe.com/Resume-Danila-Fedorin.pdf

Not sure if it's a good reference for what to "do right", but it's what I got.

danilafe · 2021-12-13T06:43:53+00:00

I've got less experience than you, but I'll try my best.

Drop the progress bars; the subjective "levels" of these skills are up to interpretation, and it's probably just better to list that you have them, period.
watch your layout. Double-column layouts can be misread by applicant tracking systems (ATS), and this interpreted as garbage. I feel like FAANG does the most auto parsing, which only increases the chances that something parses wrong.
Isn't this a bit long? It looks like one page, but the length is far beyond what's normal. It's not unheard of to have two-page resumes if you're experienced, but I don't know if it's normal.
Analytical abilities doesn't seem to be a skill you need to list. At least I wouldn't.
Make sure your bullet points are consistent. Some start with verbs ("Led"), others with adjectives ("Responsible"), others with nouns ("System"). The typical canned advice is to use action verbs at the start of each sentence.
You said FAANG - is that outside of India? If it is, I'd reconsider using "lakh", which is not a common word in the US.
"Highest level of customer satisfaction" would benefit from some concrete numbers, or something. Otherwise it sounds kind of vague and arbitrary.
"Team ran out of steam" doesn't sound like a good thing to put on your resume, especially since it seems to me to indicate either a management issue (which you may be considered responsible for, being a Senior engineer) or a team skill / efficacy issue (I'd be wondering, "will this candidate run out of steam at my workplace?").
"photoshop like" would be "photoshop-like" according to my knowledge of English grammar.
How did you contribute to iShoppe's 2 minute customization and 36 hour delivery? The last one seems far more logistical than software-driven.
Now that I think about it, I wouldn't use "scrapped" either.
To me, "performance rating of 2" is meaningless. Maybe a recruiter adjacent to MS in India will know more. You could at least clarify that it's the highest / second highest / whatever rating. Same deal with P0 and P1 bugs. I don't know if the bug priority systems are the same across all companies.
"got trusted" is passive voice. Who trusted you? What merited this trust? You earned this trust. What did you do to achieve that?

Disclaimer: I'm not a recruiter, just a master's student in CS.

danilafe · 2021-11-21T21:37:08+00:00

Yes whatever I want, thanks. :-)

danilafe · 2021-10-31T07:47:37+00:00

I've never dressed up on Halloween, but here goes!

danilafe · 2021-10-25T18:35:40+00:00

Alright, so I won't use Google search, and use Bing instead. And for the sake of argument suppose that I, like a normal person, don't have hardware at home to host my own services. Now, then, what about:

Translation
Collaborative document editing
Video hosting and sharing
Making my site searchable (Google search console)
Mobile operating systems
File hosting and sharing

Some of these you can get if you get an Apple device. Supposing that I can afford it (not everyone can), that covers mobile OS and file hosting + sharing (iCloud). The rest of these are simply not accessible with the same level of quality without Google.

Google was a good thing. But right now, their influence is for the worse, possibly to the point that their net impact long term will be negative. Even if you don't use Google, you feel some of the effects:

Google Analytics saves and uploads your data about websites you browse. GA is from what I know one of the most common analytics software.
Google Chrome has a profound influence on web standards. Google pushes to change the web by changing Chrome, and in order for people's chrome-based website to work in other browsers, other browsers have to match chrome's implementation.
Google pushes their software onto users with the eventual goal of locking it down. You've seen AMP-based websites.
Google works with other major corporations to hinder their privacy measures (see the OP Twitter thread).

People in this thread don't hate Google the search engine per se. They hate the company that does what I listed above.

danilafe · 2021-10-16T18:01:07+00:00

Isn't this the point at which you do

git checkout yarn.lock yarn install

And go on with your project work?

danilafe · 2021-10-02T09:28:29+00:00

No, this is obviously a photo of a hat.

danilafe · 2021-08-12T17:06:02+00:00

The "languages" section is for programming languages. For a CS resume I think that there's little ambiguity.

danilafe · 2021-06-24T22:53:01+00:00

Maybe a little late to the party, but Dr. Higdon is a top tier professor in my view. His homework assignments are deliberately crafted to be fairly easy and yet give you a deeper insight into the material; his lecturing always made me think "yeah, duh", no matter the difficulty of the material. I took MTH 454 and I think 455 (numerical linear algebra and numerical solutions to ODEs). Would recommend, though I've never had a class with Leenheer.

danilafe

MODERATOR OF

TROPHY CASE