Francesco Piccoli pfp

Francesco Piccoli

@francescop

291 Following
521 Followers
Francesco Piccoli pfp
Francesco Piccoli
@francescop
1/ Today we announce that @almanax raised an additional $1M to accelerate the development of our AI Security Engineer. Grateful for the support of our investors Blockchain Builders Fund | BBF defy.vc, Exor, Vento, IAG, Eden Ventures, and amazing angels. We're headed into a future where most code will be AI generated, and coding agents will need to pass security checks from AI security agents. We're building the latter at Almanax
6 replies
7 recasts
28 reactions
Francesco Piccoli pfp
Francesco Piccoli
@francescop
our office got physical memes
0 reply
0 recast
3 reactions
Francesco Piccoli pfp
Francesco Piccoli
@francescop
Today we release ALMX-1.5, our new AI model, and the first version of the Web3 Security Atlas (W3SA), an open-source initiative led by Almanax aimed at improving Web3 security with AI. ALMX-1.5 is designed to navigate large scale and complex repositories, to perform high effort reasoning across multi-file execution paths, while empowered with the ability to consult the project documentation and navigate the internet. It supports most commonly used programming languages. This first W3SA release includes a benchmarking suite for blockchain code vulnerabilities. It initially focuses on EVM smart contracts written in Solidity and Solana programs written in Rust, with a second launch planned for Stellar and Aptos smart contracts.
2 replies
2 recasts
5 reactions
Francesco Piccoli pfp
Francesco Piccoli
@francescop
we saw a recent increase in scams inviting people to participate in podcasts. pretty well structured, message is coming from accounts that seem legit. both my cofounder and me have been targeted by multiple accounts already (good luck scammers). be careful out there
0 reply
0 recast
0 reaction
Francesco Piccoli pfp
Francesco Piccoli
@francescop
Countdown to something big: 42 days
0 reply
0 recast
3 reactions
Francesco Piccoli pfp
Francesco Piccoli
@francescop
New blog post by @johnlawniczak just dropped! We talk about security issues we found in both smart contracts and traditional web2 software. One of these was a malware in a Go package that went undetected for over 3 years! "We’re in the middle of a software security arms race—hackers are adopting new tricks every day. As cyberattacks become more sophisticated, @almanax is leveraging LLMs to detect hidden threats in smart contracts and software supply chains once deemed impossible to catch." Full blog post here: https://www.almanax.ai/post/from-smart-contracts-to-supply-chains-how-almanax-is-uncovering-hidden-threats-in-code
0 reply
0 recast
4 reactions
Francesco Piccoli pfp
Francesco Piccoli
@francescop
pretty cool, we found some security issues in this Farcaster Attestation repo and were paid a reward for it https://github.com/Farcaster-Attestation/farcaster-decoder
0 reply
0 recast
8 reactions
Francesco Piccoli pfp
Francesco Piccoli
@francescop
Agentic Reasoning, a framework that enhances large language model (LLM) reasoning by integrating external tool-using agents. https://arxiv.org/pdf/2502.04644
0 reply
0 recast
0 reaction
Francesco Piccoli pfp
Francesco Piccoli
@francescop
👇🏽
0 reply
0 recast
0 reaction
Francesco Piccoli pfp
Francesco Piccoli
@francescop
come play @farcade with us @chuckstock @yassinelanda.eth @ted
0 reply
0 recast
3 reactions
Francesco Piccoli pfp
Francesco Piccoli
@francescop
another thing that found PMF in crypto
1 reply
0 recast
3 reactions
Francesco Piccoli pfp
Francesco Piccoli
@francescop
I just collected "Farcaster: Lion"
0 reply
1 recast
2 reactions
Francesco Piccoli pfp
Francesco Piccoli
@francescop
should @almanax release this?
4 replies
1 recast
10 reactions
Francesco Piccoli pfp
Francesco Piccoli
@francescop
why hahaha
0 reply
0 recast
0 reaction
Francesco Piccoli pfp
Francesco Piccoli
@francescop
The things you find at crypto events
1 reply
0 recast
1 reaction
Francesco Piccoli pfp
Francesco Piccoli
@francescop
This is cool @ampsfun
0 reply
0 recast
0 reaction
Francesco Piccoli pfp
Francesco Piccoli
@francescop
is that a dragon?
0 reply
0 recast
1 reaction
Francesco Piccoli pfp
Francesco Piccoli
@francescop
Guys how can Gemini be this bad? The integration into Google workspace frustrates me the same way Siri does. Simple tasks like reformatting or renumbering a list in a doc should be no-brainers.
2 replies
0 recast
0 reaction
Francesco Piccoli pfp
Francesco Piccoli
@francescop
having or not a funded FC wallet with a certain amount in it should probably be a factor considered by the spam ML model
6 replies
3 recasts
14 reactions
Francesco Piccoli pfp
Francesco Piccoli
@francescop
In what part of the cycle does Ronaldinho become a crypto KOL? https://x.com/10ronaldinho/status/1893824394922770676?s=46&t=a16OBx1OV2RbvWl1HoCCGQ
1 reply
0 recast
1 reaction