𝕐 (@nomad421) header
𝕐 (@nomad421) profile picture

I ♥ science & compiled, statically-typed programming languages! I dislike slop in all forms, including slop thinking. Views are my own, but are obviously right.

Joined August 2008
Photo by 𝕐 (@nomad421)Photo by 𝕐 (@nomad421)Photo by 𝕐 (@nomad421)Photo by 𝕐 (@nomad421)Photo by 𝕐 (@nomad421)Photo by 𝕐 (@nomad421)Photo by 𝕐 (@nomad421)Photo by 𝕐 (@nomad421)Photo by 𝕐 (@nomad421)Photo by 𝕐 (@nomad421)
It's 4 weeks (or at least it will have been by Sunday).
1
143
The singularity is about to get absolutely fuckin' bodied by biology
The Singularity is coming for Physics and Biology. RIP Math.
34
21
3
456
23,212
Nobody cares what your personal opinion of Stewart was, especially from the perspective of your anti-constitutional, anti-freedom politics. It's worthless whining from someone who hates America. Fortunately, history will remember Stewart, & forget Byl, even as a footnote.
Why am I NOT MOURNING the death of Patrick Stewart? I first saw Stewart as Picard after having known only Kirk, and I always found him weak by comparison. Kirk had URGENCY. Sisko had STRENGTH. Janeway had FIRE. Archer had FORCE. Picard was just a mealy-mouthed liberal reading Shakespeare in space. Then, in later years, he started lecturing us AMERICANS about politics. In March 2017, he told The View that his friends in D.C. advised him that the best way to make a difference was to "fight, fight, oppose, oppose" TRUMP. He said that applying for U.S. citizenship was his way to "fully engage in the American political system and legally oppose Donald Trump's administration and policies." And he most famously said "The fact is when America sneezes, the world catches a cold. America I think is on the edge of a very bad flu infection and it's because of the man who's in the White House." And I only grew to hate him more. Finally, he willingly participated in the destruction of his own character, Jean-Luc Picard, in the first two seasons of that garbage Paramount+ show. He stood by while they took everything that made Picard GREAT and DECONSTRUCTED it into woke "weak male" garbage. So no, I'm not wearing black today. Because when an actor chooses a side - and that side is AGAINST ME - that actor is already DEAD TO ME. This is just the final nail in his already-closed coffin.
2
293
In addition to my day job, I'm trying to keep up with my scholarship. One thing I've been working on is a reimplementation of a popular tool (TransRate) for evaluating de novo transcriptome assemblies. See the paper here: arxiv.org/abs/2610.37031
1
1
318
This is actually a literally deranged take. This is the kind of thing people say when they have take no effort to learn how something works, and are adopting a party line. This is like dictators declaring that pi = 3. Insane.
212
Other points of argument aside, 3 things are clear. (1) Covid is definitionally endemic (2) if what someone is doing (e.g. masking) isn't hurting you, why bother them (3) nobody has an obligation to conform to someone else's preferences, and it's entitled to think they should.
One of the many tells that "covid is mild/endemic/we have to learn to live with the virus" is cope/denialism is that these people can't let you protect yourself without projecting/bullying. Even the idea that there might be more they could be doing is too much to bear.
1
314
I'm happy to see that Apple *doesn't* seem to have leaned into "thinner and lighter" MacBook Pro refreshes (the thermal gods thank you). But I have to say, I spend an inordinate amount worry about *not* touching and getting finger prints on my screen...
2
312
Objectively false. Of all places there could be clarity in this, a proof is near the top. An AI-generated math solution is, in all meaningful ways, a solution.
AI-generated math solutions are not solutions, they are data, we should view them as that when trying to understand, interpret, & ask the next question.
1
303
> (any question you can ask and has an small enough answer is solved) This isn't what P vs. NP says. Not even close. Even if P=NP, there are still EXPTIME problems, undecideable problems, etc...
Went out to eat to celebrate this crazy milestone Personally my P(P=NP) went from like 2% to like 15% BTW, if P=NP not only is ~all math solved (any question you can ask and has an small enough answer is solved), also all chemistry and simulation and bio and manufacturing
1
2
714
Strongly sub-quadratic edit distance algorithm FTW? Please?
Wow. So many results that assume the ETH will fall if this checks out, including multiple of my own!
3
485
Actually. If this proof is correct, it means 3-SAT can be solved in sub exponential time. 3-SAT is NP-complete, so we can reduce other NP-complete problems to it (and then solve it in sub exponential time).
SATがsubexpで解けても任意のNP完全問題がsubexpで解けるわけではないので、暫くは色んなNP完全問題をsubexpで解く研究が流行るんだろうか?例えばハミルトン閉路とか。 (その前にOpenAIがSATを多項式にするかもしれないが)
10
2
1
180
36,327
Uhhh, this is a huge result. But: > The entire computer science world has collapsed, and I was fucking shocked for a solid 5 minutes. Tell me you don't know what you're talking about without telling me you don't know what you're talking about.
操他妈的,OpenAI正式宣布,ETH被证伪了。 整个计算机领域的天塌了,我他妈整个人震惊了整整5分钟。 这他妈的,这种心情和情绪,不知道他妈怎么形容,就是觉得他妈的,一个巨大的震惊,我可操他妈的。 OpenAI这群闲人没白养,这个贡献妥妥他妈的值半个图灵奖(含金量约等于10个诺贝尔奖)了。
1
3
979
This is going to be a big week, in terms of releases. First up: Cherimoya CATv1 is now in proto-tools (github.com/evo-design/proto-…), making our ~7.5k DNase+ATAC models available for design using this extremely cool tool. Thanks @benviggiano!
2
15
43
4,297
If this is the case, then you are using it in an incredibly wrong and limited manner.
290
I would like for a unicorn to show up at my front door and fart out $10-20 billion in cash and tell me the winners of the world series and super bowls for the next 20 years!
I would like for AI to die
300
There has been tremendous IP and copyright violation during AI training. I don’t think the models should be destroyed, rather I think we should tie their potential success to the public good/welfare (not a fine; recurring revenue). But stealing from Elvis… that’s rich/ironic.
Every generative AI model is built on theft and should be destroyed.
2
303
It's going to take this person a light year to learn what exponential means 😂😂
If you had an exponential amount of compute you could solve simulate biology exactly and wouldn't need to run any experiments. Some of you will think "of course, but that's an unrealistic assumption" and others will think "no, you need experiments even with that much compute. That's just How It's Done". You would of course need evaluations once you have a solution, but you don't in principle need experiments to find it: Experiments are a way to save compute, dating from a time when it was much more expensive. And I think the presentation is exponential but real systems aren't irreducibly exponential. AlphaFold worked, after all.
286
It is time to let C++ go. It has served honorably for decades, but its process is a boondoggle, and the language has refused to evolve in the most important ways. Let's look the the future and let the past go.
today is a really sad day. no C++26 this year :( come on bros let me have reflection PLEASE. compromise idea: C++26.5 where we sneak in just reflection
3
336
Ok, buh bye.
unavailable
283