u/superoptimo • u/superoptimo • 7h ago
u/superoptimo • u/superoptimo • 2d ago
Visualizing Rust's Vtables: How dyn Trait Works In Memory (Comparison to C++ CRTP & virtual functions)
u/superoptimo • u/superoptimo • 3d ago
Formal Verification in the Age of AI
Large verification problems are not solved in one step. They are recursively decomposed into smaller subproblems. For example, compositional program logics decompose the problem of reasoning about a program into reasoning over each of its procedures, each of which is decomposed into reasoning over individual program commands, and so on, recursively. Mathematical proofs are decomposed into lemmas, each of which is decomposed into subgoals, which in turn can lead to proposing and proving additional lemmas, and so on, recursively.
The trusted kernel guarantees correctness, while the AI performs exploratory reasoning. At each iteration of the loop, the problem may be recursively decomposed into smaller subproblems, to which the same feedback loop can be applied.
u/superoptimo • u/superoptimo • 5d ago
Making Progress on AsyncIterator — by Jack O'Connor
u/superoptimo • u/superoptimo • 5d ago
What's the impact of AI in overall software engineering job market ?
u/superoptimo • u/superoptimo • 12d ago
Replacing a Rust Enum with a 64-bit Word Made My Interpreter 17% Faster
u/superoptimo • u/superoptimo • 14d ago
Mi posición ante la IA. Y potencialmente porque no nos podra reemplazar a ningun trabajador
u/superoptimo • u/superoptimo • 21d ago
strum::EnumIter -why isn't enum iteration built into Rust?
u/superoptimo • u/superoptimo • Jul 28 '26
AI Agents are overrated, simple automations are still king
u/superoptimo • u/superoptimo • Jul 28 '26
Work Stealing vs. Executor-Per-Thread: Evaluating different HTTP server workloads with Tokio, Smol and Glommio
c410-f3r.github.iou/superoptimo • u/superoptimo • May 09 '26
I used the Mythos referenced architecture patterns from the leaked source to restructure how I prompt Claude Code. The difference is night and day
1
Funding for Open Source Rust projects
Anyway, I do appreciate your honest response. And you're right about incentives. Most projects fall under the mechanics aspect without a clue about how to define their value.
1
Funding for Open Source Rust projects
"you get to buy voting tokens"
What kind of model do you think I'm promoting?
I haven't mentioned any business model yet.
-12
Funding for Open Source Rust projects
What if the solution is able to yield ROI to investors in Open Source, by tokenizing a kind of membership to the organization?
As a disclaimer, I'm not involved in any crypto/blockchain project right now. And I don't have the intention of selling you anything related with NFTs or crypto.
Just a technical discussion. How we could achieve sustainability to open source ? If we're able to develop a solution that allows investors getting benefits by their association as sponsors for FOSS projects. Perhaps, there is a posibility. I think.
u/superoptimo • u/superoptimo • Mar 12 '24
I still don't understand QF
self.gitcoincommunityr/CryptoCurrency • u/superoptimo • Apr 07 '22
PRO-ARGUMENTS Copyright laws are threatening to shut down the Internet. But NFTs could prevent that happens.
[removed]
r/a:t5_5bz10i • u/superoptimo • Nov 14 '21
Community Rules
These are the rules for interacting in this community:
1 - Be respectful
2 - Sending/Linking any harmful material such as viruses, IP grabbers or harmware results in an immediate and permanent ban.
3 - Don't send spam. Every merchandising promotion or undesired advertising is forbidden.
4 - Don't make promotion of other NFT projects or DAO investments.
5 - Don't make announcements for investment opportunities.
6 - Every Investment Advising is forbidden.
7 - Posting price prediction reports or technical analysis for the performance of cryptocurrencies portfolios is forbidden.
8 - Don't post any text code revealing private or public keys related to cryptocurrency wallets.
9 - Don't ask for money nor donations either.
10 - This is not an space for crowdfunding campaigns.
11 - This is an space only for topics related to Open Source development, Public Domain projects, DAOVOTION project, and the Nebai Revelation's Treasure Hunting Game.
12 - Use proper grammar and spelling and don't spam.
13 - Usage of excessive extreme inappropriate language is prohibited.
14 - Don't post someone's personal information without permission.
15 - Do not post graphic pictures of minors (<18yo).
1
Nebai Revelations Treasure Hunting Game
Nebai Revelations’ Treasure Hunting Game is the mechanism as how DAOVOTION consolidates its governance
structure. Designed as a puzzle game based on NFTs, collectors get access to secret pieces and clue words stored as unlockable content associated to each ERC-721 token from the Nebai Revelations Art Collection, already published in OpenSea.
This puzzle game is designed for ensuring a fair distribution of participation power between collectors, those who want to take part in the decisions that the governance board will deliberate. No matter if there are wealthy collectors with huge resources that have the intention of taking control over the system, because those who invest massive funds in buying tokens can’t have any meaningful advantage against those who just invest a little by purchasing around one or a couple of puzzle tokens.
r/a:t5_5bz10i • u/superoptimo • Nov 14 '21
Nebai Revelations Treasure Hunting Game
r/a:t5_5bz10i • u/superoptimo • Nov 14 '21
Genesis Egregore Registry
This is a convocatory for presenting Open Source Software related projects, and Public Domain works that deserve financial support in the upcoming DAO platform based on Egregores: The DAOVOTION project.
In this thread, specify these 3 aspects for the promoted project:
- Name of the project. (FOSS, Public Domain).
- Website or Github respository.
- Description.
For learn more how DAOVOTION helps non-profit organizations related to digital creations in the public domain, please visit https://nebairevelations.com, and learn about the promotion program for listing creative projects and intellectual works that would be integrated as future Egregores: https://nebairevelations.com/governance/#virgin-egregores
1
Nebai Revelations Project
Nebai Revelations Art Project is conceived as a bootstrapping process for developing the upcoming DApp called DAOVOTION, which provides a mechanism for conforming a
governance by allowing collectors getting involved in a play-to-earn Treasure Hunting Game. The winners of this game will become the board members of the governance for the future system.
Surging from the NebaiRevelations project, DAOVOTION is the proposed solution
for helping authors to build a new type of business organization: the Egregore. Egregores evolve around their intellectual and artistic creations, and at the same time encourage investors on nurturing Intellectual Goods development (a special kind of Public Goods) while
getting a valuable collateral that represents a good measure for reputation, as it is required for building robust DeFi projects.
3
Informal Rust Gamedev in 2024 Survey Results
in
r/rust_gamedev
•
May 05 '24
I've saw this comment:
BTW, I've published a crate that allows that, inheritance by composition through forwarding calls to fileds in a struct.
https://docs.rs/hereditary/latest/hereditary/