Software Engineer at arXiv. LaTeXML dev. The Web was created to share science. Let's keep it that way. creator of https://xitter.cf/t.co/3d4VTPw7Lj

New York, NY
Joined March 2009
Deyan Ginev retweeted
p still probably doesn't equal np
258
232
108
5,571
371,231
Deyan Ginev retweeted
We’re hiring a writer at alphaXiv! (part-time or full-time) Write approachable, human-written guides on topics like LLM inference and interpretability that will be read by many! An interest in research is more important than an extensive background: forms.gle/f2qP8YfiRCctovzG7
6
13
2
157
11,672
Deyan Ginev retweeted
Anthropic has filed an S-1 registration statement with the SEC related to its proposed IPO. Read more: anthropic.com/news/s1-sec Legal disclaimer: A registration statement relating to these securities has been filed with the SEC but has not yet become effective. These securities may not be sold, nor may offers to buy be accepted, prior to the time the registration statement becomes effective. This post does not constitute an offer to sell or the solicitation of an offer to buy these securities, nor shall there be any sale of these securities in any state or jurisdiction in which such offer, solicitation or sale would be unlawful prior to registration or qualification under the securities laws of any such state or jurisdiction.
1,205
2,229
2,236
17,141
7,230,396
Deyan Ginev retweeted
Here’s the list with open positions in all the Tuebingen startups… tuebingenaicenter.github.io/…
We actually have 64 open positions at the moment at various startups in Tue ... let me see if I can find a summary somewhere.
2
11
1
162
13,943
6
33
1,599
Do you still write more than 20% of code by hand?
11%Yes
78%No
11%Show Results
6,630 votes • Final results
53
10
12
96
93,857
Deyan Ginev retweeted
One must imagine Claude happy
76
27
5
1,511
36,430
Yep: increasing formal verification of all code will be essential.
What Sam is not saying yet is: There is a solution here which is to use coding agents to replace all the bad code (i.e. essentially all code) with code that is formally verified to have safety properties. This is a huge and difficult undertaking yet the same non-AGI-yet-superpowerful AI tech that is doing all the hacking is capable to enable this. If government wants to do something valuable to smooth the path to the Singularity, one helpful step would be to allocate a trillion dollars (oh maybe just try $500B for starters?) to open-source communities to roll out software for automatically replacing badly buggy code (again almost all code) w appropriately formally verifiable code... Gov't can find trillions of $$ to bail out "too big to fail" companies in crisis -- it did it for the banks in 2008 and will do it for Big Tech if the circular financing causes a tech-industry financial collapse in late 2027/2028 ... it can find massive $$ for wars... but finding hundreds of billions of $$ to end world hunger or give the world a solid software foundation is somehow utterly infeasible... We are not even to the stage of human-level AGI yet but we are already meeting fascinatingly and disturbingly unprecedented situations as modern AI tech meets legacy society and legacy IT systems. It's just going to get crazier, before ultimately -- if all goes well -- getting gloriously abundant for all... We need some "out of the box" thinking across all levels of society to get through this transitional phase with a modicum of grace amidst all the chaos...
11
9
1
135
7,664
Deyan Ginev retweeted
Symbolic learning works
90
36
15
792
88,921
Deyan Ginev retweeted
Another vulnerability few are talking about: I found my Claude Code exposing personal data in http headers because the sites it curled politely asked agents to identify their users 😊 Epistemic cybersecurity is the hot new category for 2027.
97
274
69
5,370
576,948
Deyan Ginev retweeted
We're donating Agent Skills to the Agentic AI Foundation (@AgenticAIFdn), the same foundation we donated MCP to. Since December 2025, 70+ agent platforms have integrated the standard, including ChatGPT, Cursor, GitHub Copilot, and VS Code. Here's what that means for you:
295
421
254
8,727
959,688
if your paper title contains a question, then a minimum requirement is for the paper to try and meaningfully answer the question. if your main claim is producing an artifact with property X, a minimum is to discuss how X was achieved, and to verify its quality. (yay ICLR reviewing)
7
2
93
7,438
from the latest preprint on analytic prismatization by anschütz, le bras, rodríguez camargo, and scholze:
2
133
How we are approaching AI at openRxiv - new blog post prompted by growing adoption by researchers, submission patterns, and questions from the community. 1/n
1
16
2
24
5,829
This is important to realize. Today it is 100 to 1000 times cheaper to use classic deterministic document conversion tools compared to an agentic harness.
Fun fact: this is a deterministic and reproducible conversion. Creating a process to faithfully recreate the contents of a 300+ page PDF like this is kind of a nightmare. It took many millions of tokens from a collection of agents led by Fable 5 running a loop of writing/improving conversion code then verifying the output against images of the source PDF. The process ended up generating over 4k lines of Python.
3
190
Deyan Ginev retweeted
The arXiv team has been working hard on the arXiv-CE (Cloud Edition) project since 2023, and we're closing in on the finish line! Learn more about the arXiv-CE project, our progress so far, and how we are improving arXiv for authors and readers: blog.arxiv.org/2026/10/17/mo…
11
39
1
245
21,512
Deyan Ginev retweeted
A long time ago someone introduced me to HTML by saying it was sorta like LaTeX. Today I introduced LaTeX to someone saying it's sorta like HTML.
21
26
837
12,359
Deyan Ginev retweeted
We're working on a new math font. It's a bit controversial, because people are used to classic serif math fonts. Ours is sans-serif, built from the monospace fonts in code editors
62
131
13
2,583
66,054
Many people just starting out on Lean formalization have enjoyed playing the Natural Numbers Game. Now Autumn Mapes has produced Visual Lean, isomorphic to the original but playable in a lovely intuitive way with clicking and dragging rather than typing. leangame.autumnofautumn.com/
10
72
6
410
37,770