Nicholdav

@nicholdav.bsky.social

I'm interested in how animals communicate with sound and I try to make that easier for everyone to study: https://www.vocalpy.org/ Cat & dog dad, cold brew addict, video gamer, Florida boy, #altac, podcast fan, occasional espanglish. nicholdav.info

1. CRISPR came from basic research on bacteria. 2. Optogenetics started with a discovery in algae. 3. The GFP protein comes from jellyfish. The biggest breakthroughs all trace to scientists following their curiosity, and this is one huge reason why we must keep funding basic research!

I’m in DC scheduled to give this talk today. But the organizers flagged slides in my deck that mention racism, structural gaslighting, New Jim Code and other themes that are off limits in the Land of the Free.

APA Women’s Leadership Institute event flyer with “keynote speaker” crossed out with a red X

“Perhaps the most relevant issue is that by releasing this trove of material in this manner, the companies are in the process of destroying the ecosystem that made it possible for this work,” she said." To me, this is the crux. Science is a human, community endeavor. They are destroying science.

‘Breathtaking,’ ‘Devastating’: Mathematics Reels After New OpenAI Release (Gift Article)

Hundreds of new A.I.-generated findings moved the frontiers of higher math in a single day — dispelling any doubt that the field is forever changed.

nytimes.com

OSSOFF: Mike Collins is one of the most extreme members of Congress. He's a Trump puppet election denier. I want to hear if Mike still believes the 2020 election was stolen. What do you say Mike? COLLINS: ... ... ... ... ... ... ... ... ...

Makes me think of @olivia.science's points on specification. The literal transformers spec ("Attention is all you need") is a model for translation. The onus is on AI bros to prove that models generating unreadable Lean proofs are something besides bad translations. karagila.org/2026/openai-...

OpenAI, the Partition Principle, and mathematics

By the time I got out of bed yesterday, I had three people ask me if I'd seen the OpenAI announcement that the Partition Principle does not (...)

karagila.org

conputer dipshit@davidcrespo.bsky.social · 4d ago

relevant from the front page of HN right now

Makes me think of @olivia.science's points on specification. The literal transformers spec ("Attention is all you need") is a model for translation. The onus is on AI bros to prove that models generating unreadable Lean proofs are something besides bad translations. karagila.org/2026/openai-...

OpenAI, the Partition Principle, and mathematics

By the time I got out of bed yesterday, I had three people ask me if I'd seen the OpenAI announcement that the Partition Principle does not (...)

karagila.org

conputer dipshit@davidcrespo.bsky.social · 4d ago

relevant from the front page of HN right now

Software engineering could and should be done with the same care as any other type of engineering. This is a post in honor of Margaret Hamilton (and also a subtweet of all vibe-coders everywhere).

Screencap

"“I fought to bring the software legitimacy so that it — and those building it — would be given its due respect, and thus I began to use the term ‘software engineering’ to distinguish it from hardware and other kinds of engineering, yet treat each type of engineering as part of the overall systems engineering process,” Hamilton told El Pais in 2018. “When I first started using this phrase, it was considered to be quite amusing. It was an ongoing joke for a long time. They liked to kid me about my radical ideas. Software eventually and necessarily gained the same respect as any other discipline.”"

Source: https://news.mit.edu/2026/margaret-hamilton-computing-pioneer-dies-1007