Hacker Newsnew | past | comments | ask | show | jobs | submit | fastneutron's commentslogin

Very cool!

One possible nitpick: were you aware of the naming collision with Versor, the general purpose GA library in templated C++?

http://versor.mat.ucsb.edu/


Ludlum is rare among equipment manufacturers in that they design with user-servicability in mind. They happily took phone calls and emails from my 16-year-old self about how to diagnose and repair various instruments of theirs I had picked up on eBay, many of which were long obsolete. Their schematics are still open, to my knowledge.

I have no relation to the company, just a very satisfied customer.


This sounds more like proactive outreach to PIs based on AI-automated market research rather than direct AI-based gatekeeping by the granting agencies.

There’s certainly a case to be made about using LLMs to find needles in haystacks, since most grants tend to be awarded to “repeat offenders” rather than newcomers and outsiders* with different methodologies.


> there aren't that many well paying jobs

The irony here is that if you look at the job postings of quantum hardware vendors, they ask for a laundry list of skills that only a small handful of people on Earth realistically possess (you included).

People are given the impression that there's this outsized demand for Qiskit jockeys, when in reality, what we're currently calling quantum computers are basically physics experiments with the cables cleaned up and hidden in a cabinet. The results you get from these things are tightly coupled to their hardware implementation, and you need people who can work, or at least think, up and down the full stack to get even scientifically useful results. Same goes for quantum sensors, networks, and other so-called adjacent technologies.


You could cut all of it and it wouldn’t solve the problems you listed. It would just create new ones by closing off a major valve to the country’s R&D pipeline. Assuming you believe R&D is a worthwhile investment, what non-government alternatives would you propose for funding it?


While I dream of unshackling my research programs from the bureaucracy of the institutions they’re tied to, I do very much enjoy having an actual budget, paycheck, and health insurance. With all the chaos currently befalling the academic research community, I’m curious what alternative models exist, or could potentially emerge, to support independent research at the $500k - $5m level.


Math research is cheap, requiring only coffee + room + board + health insurance


> + health insurance

In the US at least, this immediately makes it not cheap


Not if your income really only covers coffee + room + board. For example, a 40-year-old in California making $25K/year can get a plan on the ACA exchange for $13/mo.


Now do it for an applied physicist with a family and a mortgage!

In theory, the work I do sits in that valley of death between where the government funds uncertain things at a $1e5-$5e6 level and where private capital funds things with more certainty at the $1e7-$5e7 level. It’s easy to burn a lot of labor and equipment on dead ends before you know something will scale.


Yes, mathematicians don’t have families.


George Mitchell


I’m no expert in formal methods, but of all the tools I’ve used, Athena [0] has been one of my favorites to work with. The proofs read much more like what you’re used to seeing in math literature.

0. https://athena-lang.org/


> The proofs read much more like what you’re used to seeing in math literature.

Yup, that's mostly a factor of using declarative proofs rather than lists of proof "tactics" based on an entirely opaque proof state (that can only be reconstructed and understood by replaying them in the proof system). You'd find these proofs in systems like Mizar or Isar (a declarative framework that's part of Isabelle). Systems like Lean and Coq/Rocq do support structured proofs that can act as a minimal step towards declarativity but are not nearly as readable as actual declarative proofs.


Disregard them. A lot of people fixate on the 1 in a billion celebrity exceptions like Musk, Thiel, Gates, Dyson, et al and go “look look you don’t need a PhD!”

Yes, a highly motivated college dropout with a computer, a strong financial safety net, and the right social connections can be in the right place at the right time to seize big opportunities. Most people are not in that position. Many high-impact technologies need more than what just a computer can do.

The main thing is to be self aware enough to know the path you’re on, what paths are available to you, and how to make the most of the connections and resources you have available to you. The second you start to get pigeonholed, wrap things up and move on.


> The second you start to get pigeonholed...

That seems like good advice.


Yes! Be very aware of your time and opportunity costs. It can be an amazing journey, struggles and all, but make sure to not get stuck long-hauling on something you’re not passionate about.


Most discussions I see online about whether or not someone should do a PhD tend to assume:

- The student becomes hyper focused and pigeonholed into some esoteric and unemployable domain, destined to run on the postdoctoral treadmill for decades.

- The PI is a control freak who only cares about publications, and considers students who leave for industry jobs after graduation to be failures.

These stereotypes can have an element of truth, but there are more enlightened PhD programs and PIs that understand the value of cross-cutting and commercializable research than you’d expect from the discourse. Not everyone is stuck working on a pinprick of knowledge, and if you choose your program and PI wisely, you can go much further and do many more things than you would never have access to with just an undergraduate background.


One big issue is that industry jobs in some areas increasingly expect academic excellence in the shape of "publishing in top 3 conferences" for example.


An obviously totally arbitrary barrier. Why not 4 or even 5?

Someone who only published in 2 top conferences is obviously not worth anyone's time. But 3, now we're talking.


Because that's the number conferences that are generally considered to be better than the rest. Just like the "top 4" computer science schools in the US are unambiguously Stanford, UC Berkeley, MIT, and Carnegie Mellon. You can ask, why not 5? Because then you start getting into questions about whether you want to include UCLA or UIUC or Caltech and it's significantly more complicated.


And... it's totally arbitrary.

Top people come from non-top schools, and lots of non-top people from from "top" schools. And some top people come from no school at all.


Of course, but there are still four schools which are clearly the "top" ones. The same is true for academic conferences, or big tech, or intelligence agencies.


Top is just marketing. In Big Tech it's market cap or something, but it's not proof of anything and may be just marketing. Google is a search advertising monopoly pretending to be a "tech" company (per Thiel), but is a "top" company to work for. Ok.

And intelligence agencies are government mandated, not marketing made. Or at least I haven't heard any marketing from the NSA saying how selective they are in admissions (as if that means anything).


Most quantitative recruitment criteria are arbitrary to some degree. Unless you rigorously examine every single applicant, you need some heuristics for initial filtering.


So you need some arbitrary filtering to give you breathing room for your objective heuristics?

For some reason that seems slightly non-optimal.


I never understood point 1. Your PhD thesis will almost definitely be on a very specific topic, you don't have the time or knowledge to cover multiple distinct fields.


I'm not saying you're wrong but...

Elon Musk skipped his PhD program and did many more things than spending time in school would have allowed him to do. Of course, most people aren't Elon (probably a good thing).

Other than preparing you for a career in academia or some highly regulated environment where education is erected as a barrier to entry, it's hard for me to think of "many more things" that are open to a phd holder than to someone who is not.


Celebrity exceptions are exactly that; exceptions. Those people knew an opportunity when they had one, and were able to generalize their early successes into other domains by leveraging the financial, social, and intellectual capital they accumulated. People who fit this description aren’t the ones reading this thread.

In some fields all you need is a computer and an idea to be impactful, but in plenty of other fields you’d be hard pressed to make any credible, let alone meaningful impact without significant intellectual preparation and tacit knowledge. These things only come through experience, and for many people, the PhD program is that experience.


I agree that the exception is rare, but it suggests that the non-exception isn't exclusively necessary. It might suggest that the dominant paradigm of diplomas is quite non-optimal or at least optional.

Carlos Ghosn started out as a factory manager (although well educated), and in his Stanford interview the presenter noted that Stanford produced no factory managers, although it produces lots of would be global CEOs.

Perhaps it should produce more factory managers.

Musk has shown an ability to make an impact in multiple fields for which he seems quite under qualified for, for which he did not have "significant intellectual preparation and tacit knowledge". He read alot.

I think there are more non-celebrity exceptions that are simply not well known.

And there are lots of people in PhD programs who, despite their education, do not make credible or meaningful impacts, quite possibly not at all due to their competence or training quality, but due to wholly accidental or uncontrollable factors: industry shifts, business culture, changes in government research funding, or their entire paradigm being based on faulty assumptions that were simply not known and discovered later, or superseded by some innovation, etc.

Academics are rarely comfortable discussing the shortcomings of academia.


No, the non-exception is not absolutely necessary, and there are plenty of people on my staff who fit the description. There are also plenty more who Dunning-Krueger their way into thinking they do, but break down when challenged to do anything novel. Understand your options and choose your program carefully. > Musk has shown an ability to make an impact in multiple fields for which he seems quite under qualified for, for which he did not have "significant intellectual preparation and tacit knowledge". He read alot. He also had a giant pile of money from his PayPal windfall to hire the right people with the tacit knowledge to act on his ideas. The difference between a crank and eccentric businessman is the size of the budget they can wield when nobody else will. > Academics are rarely comfortable discussing the shortcomings of academia. Correct, which is why I’m not in academia.


Nobody pays tuition in a PhD program. Your work is funded by grants and fellowships and you get paid a stipend.


I understand your intent, but "Nobody" is as just as much of a myth.

I self funded my PhD. I prefered it that way.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: