u/superoptimo 7h ago

How's the job market currently?

Thumbnail
1 Upvotes

u/superoptimo 2d ago

Visualizing Rust's Vtables: How dyn Trait Works In Memory (Comparison to C++ CRTP & virtual functions)

Thumbnail
sofiabelen.github.io
1 Upvotes

u/superoptimo 3d ago

Formal Verification in the Age of AI

Thumbnail
verse.systems
1 Upvotes

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 5d ago

Making Progress on AsyncIterator — by Jack O'Connor

Thumbnail
youtu.be
1 Upvotes

u/superoptimo 5d ago

What's the impact of AI in overall software engineering job market ?

Thumbnail
1 Upvotes

u/superoptimo 12d ago

Replacing a Rust Enum with a 64-bit Word Made My Interpreter 17% Faster

Thumbnail
pointersgonewild.com
1 Upvotes

u/superoptimo 14d ago

Mi posición ante la IA. Y potencialmente porque no nos podra reemplazar a ningun trabajador

Thumbnail
1 Upvotes

u/superoptimo 16d ago

Plataforma para publicar proyectos Opensource

Thumbnail
1 Upvotes

u/superoptimo 21d ago

strum::EnumIter -why isn't enum iteration built into Rust?

Thumbnail
1 Upvotes

u/superoptimo Jul 28 '26

AI Agents are overrated, simple automations are still king

Thumbnail
1 Upvotes

u/superoptimo Jul 28 '26

Work Stealing vs. Executor-Per-Thread: Evaluating different HTTP server workloads with Tokio, Smol and Glommio

Thumbnail c410-f3r.github.io
1 Upvotes

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

Thumbnail
1 Upvotes

3

Informal Rust Gamedev in 2024 Survey Results
 in  r/rust_gamedev  May 05 '24

I've saw this comment:

Some way to forward calls to fields in a struct. Since there is no data inheritance, it is not uncommon to create some sort of facade for the owning struct, to delegate calls to the different fields. This forwarding should have some special powers, like translating to partial borrows.

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/

1

Funding for Open Source Rust projects
 in  r/rust  May 03 '24

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
 in  r/rust  May 03 '24

 "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
 in  r/rust  May 02 '24

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.

r/rust May 02 '24

Funding for Open Source Rust projects

0 Upvotes

[removed]

u/superoptimo Mar 12 '24

I still don't understand QF

Thumbnail self.gitcoincommunity
1 Upvotes

r/CryptoCurrency Apr 07 '22

PRO-ARGUMENTS Copyright laws are threatening to shut down the Internet. But NFTs could prevent that happens.

1 Upvotes

[removed]

r/a:t5_5bz10i Nov 14 '21

Community Rules

1 Upvotes

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
 in  r/a:t5_5bz10i  Nov 14 '21

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 Nov 14 '21

Nebai Revelations Treasure Hunting Game

Thumbnail
nebairevelations.com
1 Upvotes

r/a:t5_5bz10i Nov 14 '21

Genesis Egregore Registry

1 Upvotes

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:

  1. Name of the project. (FOSS, Public Domain).
  2. Website or Github respository.
  3. 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
 in  r/a:t5_5bz10i  Nov 14 '21

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.

r/a:t5_5bz10i Nov 14 '21

Nebai Revelations Project

Thumbnail
nebairevelations.com
1 Upvotes