Bioinfhotep (@pp0196) profile picture

Sequences and consequences. @pp0196.bsky.social @bioinfhotep@genomic.social

Joined December 2009
Photo by Bioinfhotep (@pp0196)Photo by Bioinfhotep (@pp0196)Photo by Bioinfhotep (@pp0196)Photo by Bioinfhotep (@pp0196)Photo by Bioinfhotep (@pp0196)Photo by Bioinfhotep (@pp0196)Photo by Bioinfhotep (@pp0196)Photo by Bioinfhotep (@pp0196)Photo by Bioinfhotep (@pp0196)Photo by Bioinfhotep (@pp0196)
Bioinfhotep retweeted
Replying to @VictorTaelin
Another thing: what you get from writing things yourself isn't just the code. It's an improved understanding of what the code does. That mental model is what lets you come up with further improvements, or invent a different way of doing things. You can't come up with ways to improve a blackbox you don't understand. For most projects this doesn't really matter, because the code is the only thing you need. But if you're doing something novel, if you're doing research, the code is not the most important part. Understanding what the code does is the most important part.
15
44
7
667
29,971
Bioinfhotep retweeted
Soon we will have symbolic proofs whose full verification can take days on a cpu cluster or even weeks. It's only a matter of time before AI-generated mathematics converges to full blown theology.
6
9
1
117
4,096
I have a truly marvelous Lean certificate for this proposition which this context-window is too narrow to contain.
4
37
1
332
7,680
Bioinfhotep retweeted
My thought on AI review: lh3.github.io/2026/10/27/let… TL;DR: journals are banning fully AI-generated review and I think that is the right decision
13
42
7
219
40,599
Bioinfhotep retweeted
Mathematics is 100% dead 🪦 A cause for celebration 🎉 Read my eulogy and weap 😭 Link👇
31
46
19
320
68,960
Bioinfhotep retweeted
Replying to @chrisalbon
Because you’re giving examples of ingredients, not recipe, the “recipe” token in your input doesn’t have a match. So the system will try and complete that given the ingredients. 1/
2
1
15
2,143
🧬 New paper in Bioinformatics Advances: "DistPCA: Tera-scale genomic PCA via out-of-core distributed parallelism"  Read it here: doi.org/10.1093/bioadv/vbag3…
2
3
12
759
Bioinfhotep retweeted
If you’ve ever run a GWAS, chances are you've used COJO (Conditional and Joint analysis). Well, we've extended and improved (up to 100× faster 🚀) this essential tool in the GWAS toolkit to enable joint analyses across multiple ancestry groups. Paper: nature.com/articles/s41588-0…
3
31
89
5,381
Bioinfhotep retweeted
🦆 Announcing DuckDB 2.0.0 LTS “Cinnamon Teal” We are proud to release DuckDB 2.0.0, named after the cinnamon teal (Spatula cyanoptera), a striking reddish-brown duck found in the western Americas. 🌎 DuckDB 2.0.0 is the biggest DuckDB feature release so far. It ships a polished version of the Quack protocol, which turns DuckDB into a full-fledged server. It improves performance and lowers costs through supporting asynchronous I/O, a first-class VARIANT type, and a dedicated “agent mode”. It also empowers extension developers with a new SQL parser that allows adding new statements, clauses, and keywords, a new API to build on, and a new mechanism to distribute extensions more easily. In our announcement blog post, we summarize the highlights and then walk through the key changes and give guidance on how to migrate to 2.0. For the complete release notes, see the release page on GitHub⁠. duckdb.org/2026/10/21/announ… #DuckDB
24
110
24
487
23,228
“The ultimate hidden truth of the world is that it is something we make, and could just as easily make differently” — David Graeber (1961-2020) Link: tinyurl.com/y9a24tv9
22
54
19
326
72,377
Bioinfhotep retweeted
recommended reading. i like the term "coherence" over "taste". historically, simplified, a human would approach a software writing human, asking them to build a thing. that's an iterative process, until software writing human truely understands what the other human needs and wants. which is also why we moved away from waterfall. you often can't know what you want before you've build a first shitty solution you can feel out. and your wants might change. in this scenario, the outcome is what matters, not the program structure itself, unless that makes the outcome worse/impossible (bugs, perf, ease of adding features). the software writing human's skill is not so much programming itself, but understanding the other humans wants, pulling out domain knowledge from the other human, asking questions, and ultimately translating the other human's wants into programs, while ensuring the program structure is fit to be modified for future needs. now, can you replace the software writing human with an agent? for simple one-off stuff, yes. if the human with a want is technically minded that extends to more complex programs. most humans suuuuuck at this iterative colab with agents tho, as they are bad at structuring and communicating their wants. and agents currently still suck at the software writing human skill of colaborating with another human to understand their wants and translate them to a program. my gut tells me that this is because the training data and RL for coding agent tasks is largely composed of trajectories where a software writing human and an agent colaborate. that missed the other half of the problem: the human with a want and software writing human interaction. and until we can encode that agents for writing programs will likely only be effective in the hands of software writing humans, or very technically minded humans. another thing agents currently suck ar is translating software writing human shallow instructions into architecture that's not a house of cards. i think this too is a consequence of the lack of training data/RL-able trajectories that encode the process a team of software writing humans go through when building a thing. we do have digitized artifacts (design docs, commits/PRs, issue trackers) that capture some but not all of that. i think this will improve, as we all are now doing design sessions with our agents, so labs could in theory train on that. however, even if this data were available and becomes part of training, the pretraining data still has tons of shit code from around the internet in it, ehich posttraining would have to combat. welcome to my morning word salad.
64
34
12
545
25,740
Bioinfhotep retweeted
On Sunday, November 15th, we are celebrating the 20th anniversary of the first release of data.table!!! 🥳 👩‍💻 This remote event features talks from data.table superstars, tutorials for all levels, and prize giveaways! 🎟️ Get your tickets here: ti.to/nf-projects/data-table
2
1
11
190
Bioinfhotep retweeted
Introducing Indra, a 1M parameter OCR model: - 49 pages/s on CPU, 11x faster than PaddleOCR and 17x Tesseract - Beats them on OmniParseBench text (41.3 vs 35.8 and 19.3) - Full layout and line bounding boxes
128
255
41
2,899
150,117
Bioinfhotep retweeted
OpenAI’s faster Fourier transform is less a mathematical breakthrough and more a malicious exploit of mathematical traditions. argmin.net/p/faster-fourier-…
66
118
56
1,157
367,888
An new Pleias paper: in collaboration with AI Bridges and @Wikimedia Deutschland we developed a new harness for complex semantic search over the largest knowledge database, @wikidata
11
21
154
5,154
Bioinfhotep retweeted
Point: no, you really don't need templates and functors to have very fast and very generic generics in plain C. With constant propagation, void* data can be just as fast as typed data, and inlinable function pointers can be just as fast as inline functors.
1
5
1,320
Bioinfhotep retweeted
Réponse que je viens de faire à un étudiant qui s'inquiète de ce que deviennent les maths: ⬇️
27
81
5
463
30,042
Bioinfhotep retweeted
Goose: my latest programming language. Safer, faster and less memory than Rust/C++ for algorithms where tightly packed, flat data structures matter. It can represent more kinds of data structures as flat, pointer-free bytes than any language I know. github.com/aardappel/goose 1/
111
156
61
1,387
143,217
Bioinfhotep retweeted
La mort du marxiste Anwar Shaikh devrait inciter à lire cet économiste, surtout en France où la fin de la cage dorée de l'endettement et de la rente est propice aux illusions du Frexit protectionniste et de la déflation austéritaire
2
15
1
66
2,146