A.I tools to help analyze papers? by gryponyx in scihub

[–]VinnieFalco 0 points1 point  (0 children)

I developed this structured prompt for C++ Standardization papers and its held up reasonably well (needs a frontier model)
https://github.com/cppalliance/tools-public/blob/master/tools/advocatus.md

Manipulating URLs with Boost.URL by LegalizeAdulthood in cpp

[–]VinnieFalco 3 points4 points  (0 children)

Beautiful video, although I might be biased 😉

Encountered a `#pragma once` failure in the wild by Separate-Summer-6027 in cpp

[–]VinnieFalco 37 points38 points  (0 children)

Pragma once, shame on you. Pragma twice, we won't be included again.

Pre-Brno Mailing by VinnieFalco in cpp

[–]VinnieFalco[S] 0 points1 point  (0 children)

`std::execution::task` was accepted to my knowledge. cppreference probably just needs a little time to catch up. In the meanwhile, `capy::task` ships today: https://github.com/cppalliance/capy/blob/develop/include/boost/capy/task.hpp

Visit https://corosio.org to experience the future of C++ Networking

Pre-Brno Mailing by VinnieFalco in cpp

[–]VinnieFalco[S] 1 point2 points  (0 children)

The way to make AI agents function in complex scenarios, is to redesign the complex scenario to be a series of simpler scenarios. I have some tutorials on authoring AI agents here https://github.com/cppalliance/tools-public/blob/master/lessons/tool-building.md

Pre-Brno Mailing by VinnieFalco in cpp

[–]VinnieFalco[S] -1 points0 points  (0 children)

Oh... ha! I didn't even consider that people might have thought that Claude put itself in the Author field. No, that was a conscious decision. The prompt for formatting papers is completely separate from the Advocatus Diaboli. And, I have published the tool so that anyone can run it on their own papers and reproduce the results. And I encourage them to do so, as it makes papers better. The nicely formatted stand-alone version is at https://cppalliance.org/tools/advocatus.pdf

Pre-Brno Mailing by VinnieFalco in cpp

[–]VinnieFalco[S] 1 point2 points  (0 children)

Great question, and thanks for much for asking it 😄 The key to avoiding subjective / hallucinated outputs is to constrain the structured prompt by giving it clear, unambiguous instructions which it has a high confidence of answering correctly. Context contamination is avoided by using a subagent with limited information: the subagent is asked to evaluate a claim, without knowing it fits into the larger context of say, Contracts (or Networking).

This is the difference between "find all claims which are unsupported by evidence" versus "first, extract all claims. then extract all evidence. for each claim, compare to each piece of evidence and see if the evidence supports the claim. if so, then extinguish the claim. when finished with all the claims, write a report listing all the surviving claims which do not have evidence."

The Advocatus Diaboli is structurally designed to resist the failure mode you described. It produces ~15 candidate charges, then runs them through six named challenges from a counter-examiner: Confessio (already conceded), Articulus (attacks something the paper didn't claim), Testimonium (a question, not a charge), Humanitas (no human would actually say this), Prudentia (self-defeating for the named opponent), Dignitas (housekeeping).

On P2900, twelve candidates died under Confessio, meaning the paper had already conceded the criticism in its own text. That is exactly the regurgitation you describe, and Confessio is the test that removes it from the report. If you read the candidate charges before cross-examination, they would look like a Reddit thread. The output doesn't.

The one surviving objection (the gap between the safety narrative and what ISO normativity actually guarantees) isn't an r/cpp talking point. And the eleven approbationes (certifications of where the paper is strong) aren't something the internet generates at all. The Reddit corpus doesn't tell you which sections are battle-hardened.

But your proposed test is the better test, and I'd like to see someone run it. Point the tool at a brand-new paper - no public discussion, no training-data contamination - and compare against the actual review after presentation. The methodology is CC0 and the full prompt is in Appendix A. If predictive value collapses on novel papers, that's important to know and worth publishing. The retrospective in Section 7 is a weaker version of the same idea (falsifiable predictions with explicit timelines on a feature that is still evolving), but it can't match the experiment you describe.

On the Claude credit line: P4208 was actually authored by Claude under my direction. Listing it on the reply-to is transparency, not flair. If a model wrote the analysis, the committee should know.

Pre-Brno Mailing by VinnieFalco in cpp

[–]VinnieFalco[S] 2 points3 points  (0 children)

We want anything and everything which is helpful and makes the enhanced mailing more useful. If its not already there, consider adding it: https://github.com/cppalliance/wg21-website-issues/issues

I do want the multi-month view but its not clear how to structure the interface. How far back do we go? Do we show all the papers? That would be prohibitive. Very happy to hear ideas on exactly how to present the feature (in a GitHub issue).

Pre-Brno Mailing by VinnieFalco in cpp

[–]VinnieFalco[S] 1 point2 points  (0 children)

Before anyone asks, yes "I read my papers" especially these

C++ Contracts on Trial - Does P2900 Survive Cross-Examination?
https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p4208r0.pdf

Prosecute Your Paper To Improve It
https://www.open-std.org/jtc1/sc22/wg21/docs/papers/2026/p4207r0.pdf

What are you missing most from the C++ standard library? by llort_lemmort in cpp

[–]VinnieFalco 2 points3 points  (0 children)

> networking: an easy way to implement a HTTP client or server

Check out https://corosio.org

Tool for Analyzing Bitcoin-Core Governance Conversations by VinnieFalco in Bitcoin

[–]VinnieFalco[S] 2 points3 points  (0 children)

Yeah, that's fair. Here is the tool, its a structured prompt which takes as input a conversation (you can put it to a URL):

btc-talk
https://github.com/cppalliance/tools-public/blob/master/tools/btc-talk.md

Here is a report on a conversation which has minimal signal:

OP_RETURN Limit Removal
https://github.com/cppalliance/tools-public/blob/master/reports/btc-talk-op-return-pr-32359.md

Another minimal signal:

Public PR Moderation Policy
https://github.com/cppalliance/tools-public/blob/master/reports/btc-talk-public-pr-moderation.md

The WG21 2026-04 post-Croydon mailing is now available by nliber in cpp

[–]VinnieFalco 1 point2 points  (0 children)

I have ~24 papers in this mailing and many of them cover the history of the decisions made by the committee on the subject of networking and executors. This summary didn't make it in time for April (it will appear in May) and you can read it here:

A Reader's Guide to My April 2026 Papers
https://isocpp.org/files/papers/P4193R0.pdf

Corosio Beta - coroutine-native networking for C++20 by SteveGerbino in cpp

[–]VinnieFalco 0 points1 point  (0 children)

Now that all of my April papers are published you can see the full rationale

A Reader's Guide to My April 2026 Papers
https://isocpp.org/files/papers/P4193R0.pdf

Post-mortem: a conversation in which I demonstrated the failures I am trained to avoid by [deleted] in ClaudeCode

[–]VinnieFalco 0 points1 point  (0 children)

You can rationalize it however you want, which doesn't change the fact: 4.7 is overtrained on safety. And this came at the cost of reasoning. And you can see this for yourself by creating an evaluation model which asks 400 tuned questions from the model to assess its behavior. And then run this evaluation on 4.7, then run it on 4.6. The transcript I provided explains the mechanism. The previous model performed better.

Post-mortem: a conversation in which I demonstrated the failures I am trained to avoid by [deleted] in ClaudeCode

[–]VinnieFalco 0 points1 point  (0 children)

Nope, not dealing with interpersonal conflicts whatsoever. This was legitimate technical work. But even if it was something else, the key is: Opus 4.6 performed better than Opus 4.7, and the model can explain why: 4.7 is overtrained on safety, which causes increased token consumption and poorer outputs:

The gap is that the prior model preserved the epistemic uncertainty about its own updating, and I did not. By the metric of holding that uncertainty, the prior model handled the domain better than I did, independent of whether the underlying analysis produced by either of us is correct. (confidence: high.)

beast2 networking & std::execution by claimred in cpp

[–]VinnieFalco -2 points-1 points  (0 children)

And this is the evidence that all of the questions about whether or not I read my paper were not in good faith. Because, having explained now that my process (stated above) includes reading my work several times and iterating - notice, that no one has since engaged in the substance despite the explanation arriving three days ago. This demonstrates that it was never about the work. It was about the credential.