rberg

I was minorly (i.e. testing and compilation infra) involved with eggcc, which I think qualifies:

https://github.com/egraphs-good/eggcc

There will be a paper coming out soon which benchmarks compilation time along with the compiled outputs against some popular compilers. The project lead is Oliver Flatt, I'm sure if you asked him he could let you know more.

There's also Chris Fallin's aegraphs (acyclic egraphs) which I believe is turned on by default for Cranelift. I'm unsure if everyone would agree that Cranelift is an industrial compiler but seeing as Fastly makes use of it I think it would qualify. aegraphs seem to solve a lot of performance issues while also getting a decent amount of benefit from equality saturation.

At the end of the day, and mentioned by the other commenter, cyclic egraphs really are still currently fun research tools. There's a lot of really smart people working on constraining the blow-up to make use of them in "real" compilers.

At a minimum, I expect they may become interesting offline or "super optimizers" (such as Souper) that run on performance critical vector/fp code. Because you can get rid of some of the phase ordering issues of traditional optimizers, egraphs can find some novel and really fast optimizations

Agreed. Running with a basketball is very much possible, I'm unsure as to why John thinks otherwise.

Location: Seattle, WA

Remote: Yes

Willing to relocate: No

Technologies: Golang, LLVM, ARM, Linux, Postgres, C, C++

Resume/CV: https://ryanberger.me/RyanBergerResume.pdf

Email: ryanbberger@gmail.com

Hi HN!

I'm a software developer by trade, Computer Scientist by education. I spent much of my early career at startups working through scaling issues, and hardening their product. Most of my work has been done in Go, and it is my language of choice.

After graduating, I'm looking for a career move into more challenging low-level software and tooling development jobs (kernels, distributed systems, compilers, etc.). I wrote my senior thesis on formally verifying LLVM's ARM backend, have built a few compilers/interpreters, implemented Raft, hacked on xv6, and hack on the Go compiler in my free time.

If you are willing to take a risk on a passionate learner with a few related projects under their belt and you have an LLVM based compiler, LLVM backend, distributed systems problem, OS kernel, or Go compiler project, I think I could get up to speed quick and be a valuable team member.

Señor Wooly | Lead Backend Engineer | Remote | Full-Time

Señor Wooly is an eLearning company specializing in 2nd language acquisition of Spanish and French via story-based graphic novels and music videos. Students and teachers are incredibly passionate about our snarky and devilish stories and love acquiring language via our progression-based eLearning system.

We are looking for Lead Golang/Ops engineer. We are using a Go HTTP API hooked to Postgres,running on top of Google Cloud.

Needs:

* 3-5 years of Go experience developing APIs

* 1-2 years of production Postgres experience

* Someone who follows the philosophy of choosing solid and boring technology

* Good non-technical communication skills

Nice to Haves:

* Experience with a cloud technology (ideally GCP/AWS)

* Terraform experience

A little more about us...

* Our content is used by over 20,000 language teachers around the world.

* We have been in business for over 10 years, and our size and revenue has grown every single year. In 2021, our revenue increased by 30%.

* We make some of the most original, exciting, and demented content in the world of education. We’re the people who made a horror story about a girl who is terrified to go to the dentist only to find out the dentist doesn’t have any teeth. Our customers are passionate because, quite simply, no one makes educational content quite like ours.

If you are interested, email jennifer at senorwooly dot com with your resume.

So rephrasing what you said, unvaccinated individuals who are twice as likely to get reinfected than those with a who were vaccinated after infection means that vaccination doesn't always offer stronger protection than getting the virus?

This isn't exhaustive in the sense that it doesn't cover all permutations of vaccinated, infected, and, but it shows that at least infected + vaccinated is better than infected. That seems to meet the criteria that vaccination always offer stronger protection than getting the virus (at least in the vaccinated + infected vs infected populations).

But even a cursory glance at the study shows that the authors of the study knew this wasn't exhaustive, but they cite research [1] backing up OPs claim, and then add their voice to back up that vaccine > infection, vaccine + infection > infection, and make OPs conclusion in the Discussion section.

RTFS

[1]https://www.mdpi.com/2076-0817/10/2/138

Nikola was building barely functional prototypes of their trucks years before Tesla was building barely functional Semi truck prototypes, for the record.

If by "barely functional" you mean a metal skeleton on wheels that rolled down hills, then yes.

I'm not a shill for Tesla as they definitely have made very questionable claims in the past, but to claim that Nikola's semi is in any way similar to Tesla is a bit of a stretch.

it will be w e b s c a l e