"You only have 10 seconds to make a first impression"
Glad you were able to restore the commit history.
With all the lack of authority of a random software developer on the Internet (but feel free to check my post history), I see the GitHub repo and its commit history as important and answers a few questions.
How old is this project ? (If one commit, I have no time range, so I have no way to know how long it has been worked on .)
Is it regularly updated? (If one commit, I can't tell the pace of updates)
Is it just one person, or a few people, or a community? (If only one commit, cannot see how many other people are available to support the project.)
If a project has no issues (no user complaints), then it's probably not used by anyone -- throw a rock and you can get one person to complain about how you changed the scenery, one person to complain about it being loud, one person to complain about how you threw it unergonomicly, and one person to criticize your accuracy. :) If it has no issues then probably no users.
Does it have any merged PRs? Open PRs? (If no merged PRs then presumably you do not really accept them? No way to know for sure but it's a signal.)
Of course these metrics can be gamed. But if you literally have only one commit, no issues, no PRs, then it's like declaring your restaurant is open for business but all the lights are off, there are no patrons, waiters, cooks, and there is a single to-go box on the table with a small bell next to it. Or it's a museum with only one exhibit and no docents or guests. It's just incredibly odd to see no history for a project.
Basically naive CAP theorem assumes "no latency (delay) allowed", in which case, yeah, sure, the quorum must agree or you are writing to a split-brain quorum somehow. But what if delay sensitivity is a knob that can be tuned, and writes have conflict resolution?
Martin Kleppmann's book Designing Data-Intensive Applications is considered a useful tome for anyone who needs a insight in the complexity involved in distributed systems (hint: getting data in ram flushed to an SSD also involves multiple moving parts)
" diagnosis during childhood so if you're 30 or 40 you might have no chance "
Huh? You don't have to be tested as-a-child, you don't have to call up your fourth grade teacher. You can self report your subjective experience.
"Did you have these problems as a child? Have you always had trouble doing your homework? Did stressing out about homework enable you to do the homework?"
They ask the question a few different ways typically.
I get it, perhaps it is different in your area, but I get the impression that an adult ADHD diagnosis is far from impossible.
As I said getting a diagnosis varies by region and doctor. A lot. It's practically impossible in some countries. And also depending on region or personal circumstances, it may not be easy to find another doctor or psychiatrist. Also note that in many countries, only a psychiatrist can diagnose it. Even if diagnosed, you might live in a region where most medicine for ADHD is illegal or have a doctor that won't prescribe them. If you just get disbelief after 6 months of waiting, and after another 6 months just get told stimulants are bad, you might give up.
If you search (eg reddit) for ADHD adult diagnosis, it is filled with horror stories. There's even lots of posts of people diagnosed and medicated for 20+ years that move to another country and can't get a prescription. Or you get a prescription, but the pharmacy won't dispense it or insurance won't pay for it. A typical post on these topics also has one or more people responding "I'm in the same place and it was easy" but also has one or more people responding "I'm in the same place and I tried for 3 years before giving up". By the way, it's also common for women to have more trouble getting a diagnosis compared to male siblings and friends with the same symptoms.
Only recently in aus did an adult diagnosis get support from the government PBS scheme. And even then it's because they're letting retroactive childhood diagnoses be considered for the subsidised medication options.
In some countries it's almost impossible (I don't have any direct experience but I've heard tale that in e.g. aus/nz, east asia, south asia, etc people give up before getting diagnosed often), and my understanding is that in Europe it's virtually unheard of to have an adult diagnosis.
In the US, at least, it ranges from difficult to straightforward, but that's not true everywhere
> ... my understanding is that in Europe it's virtually unheard of to have an adult diagnosis.
Can't speak for the whole of the continent but UK here and I got my ADHD diagnosis a few years shy of 50 years old. Wasn't tricky at all, just a long-ish (8 month) wait for a non-private diagnosis (not full NHS but via an outsourced provider via Right-To-Choose).
When going through the DSM-5 questions (during an ~80 minute interview) I was asked to give examples from both current life experience and from childhood, and that was enough.
Europe here. I have several friends that got diagnosed with ADHD as adults.
If you try to do it through the public system it's very difficult to even get an appointment because there's months long waiting lists. Basically if you have a job and function somewhat OK in normal life you won't be diagnosed in the public system. If you do get through it can be a long process where they want to interview your parents etc to determine if you had symptoms as a child. But you can also get a diagnosis through private practitioners and some of them function almost like diagnosis mills. A couple of video interviews and tests and you are done.
IDK I'm just going by a friend moving there and not being able to get any of her existing medication prescribed, even though she's been diagnosed for literally 40 years.
Nvidia has a market cap of $5T USD today, and a decent chunk of that is due to LLM speculation.
Does Nvidia want their stock price to be at risk of being tanked by a download service being in the news? No, they want to make sure the party keeps going and is under their direct supervision, and part of that is making sure Hugging Face isn't bought by a competitor or runs out of money.
If their stock moves up more than third of percent due to this they have won... The math at these valuations get somewhat extreme. But there is some logic in it.
I love good programming languages, if that counts for anything, and I think there's a huge amount of room and value in "using an LLM to translate one programming language to another".
I also think your instincts are on a useful path. Perhaps using a very small and stupid LLM to generate plausible-sounding-but-probably-wrong programs might be a path to generating interesting test cases?
I've been jealous of the work antithesis is doing and support you in spirit; the world needs deterministic, tested software.
If you want a challenging open source deterministic game to test, may I suggest Beyond All Reason, powered by the Spring / Recoil engine? It's an RTS game that's been in various incarnations of development for 20+ years. (Disclosure: I'm an occasional code contributor to the project).
Oh man, Beyond All Reason would be a killer demo. We are actually testing another RTS as we speak, but I won't spoil it for you :) Look forward to a really epic post coming soon.
Yeah, been fighting variants of this problem as a data engineer where the upstream database would only let you see the current state of the table and did not provide you a changelog / cdc
So you have to
(a) repeatedly query incremental date ranges, with some overlap
(b) deal with late arriving rows
(c) deal with occasional bugs where a bug in a sproc caused the timestamp not to update
(d) query each day for all primary keys and remove rows that had been deleted (but only if you have newer data, otherwise you delete old values but don't have the updates)
(e) Sweat about if this goes wrong on a large table, how can you rapidly determine what state is out of sync? (Idea: how do I "hash" this in a way that hints at where the problem is?)
(f) Deduplicate, as mentioned
Martin Kleppmann's "Designing Data-Intensive Applications" book has some detailed discussions of some of the challenges...
Glad you were able to restore the commit history.
With all the lack of authority of a random software developer on the Internet (but feel free to check my post history), I see the GitHub repo and its commit history as important and answers a few questions.
How old is this project ? (If one commit, I have no time range, so I have no way to know how long it has been worked on .)
Is it regularly updated? (If one commit, I can't tell the pace of updates)
Is it just one person, or a few people, or a community? (If only one commit, cannot see how many other people are available to support the project.)
If a project has no issues (no user complaints), then it's probably not used by anyone -- throw a rock and you can get one person to complain about how you changed the scenery, one person to complain about it being loud, one person to complain about how you threw it unergonomicly, and one person to criticize your accuracy. :) If it has no issues then probably no users.
Does it have any merged PRs? Open PRs? (If no merged PRs then presumably you do not really accept them? No way to know for sure but it's a signal.)
Of course these metrics can be gamed. But if you literally have only one commit, no issues, no PRs, then it's like declaring your restaurant is open for business but all the lights are off, there are no patrons, waiters, cooks, and there is a single to-go box on the table with a small bell next to it. Or it's a museum with only one exhibit and no docents or guests. It's just incredibly odd to see no history for a project.
reply