Founder at FirePress: we host websites + memberships + payments + mailing list thanks to Ghost. 🤖 CiCD everything. ☁️ Internet's opinion isn't my own.
Montréal, Canada
Joined March 2009
- Tweets7.2K
- Following327
- Followers701
- Likes4.8K
Pascal Andy retweeted
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
Pascal Andy retweeted
Orchestrator V2 is now out on the stable channel in @t3dotcodes! We also thought it was time we drop the Alpha branding, so we call this release 0.1.0 Beta.
Mobile store builds are also updated. Versions 2.0.0 are available to everyone on both App Store and the Play Store!
Pascal Andy retweeted
we as software engineers are becoming beholden to a handful of well funded corportations. while they are our "friends" now, that may change due to incentives. i'm very uncomfortable with that.
i believe we need to band together as a community and create a public, free to use repository of real-world (coding) agent sessions/traces. I want small labs, startups, and tinkerers to have access to the same data the big folks currently gobble up from all of us. So we, as a community, can do what e.g. Cursor does below, and take back a little bit of control again.
Who's with me?
cursor.com/blog/real-time-rl…
Pascal Andy retweeted
genie is out of the bottle
everyone hitting the magic button
button puts your brain in a state of laziness
that seeps into all your processes and they get skipped
we talk about this all the time and still our team is struggling with it
Amazon is holding a mandatory meeting about AI breaking its systems. The official framing is "part of normal business." The briefing note describes a trend of incidents with "high blast radius" caused by "Gen-AI assisted changes" for which "best practices and safeguards are not yet fully established." Translation to human language: we gave AI to engineers and things keep breaking?
The response for now? Junior and mid-level engineers can no longer push AI-assisted code without a senior signing off. AWS spent 13 hours recovering after its own AI coding tool, asked to make some changes, decided instead to delete and recreate the environment (the software equivalent of fixing a leaky tap by knocking down the wall). Amazon called that an "extremely limited event" (the affected tool served customers in mainland China).
Pascal Andy retweeted
Obsidian uses local files, so all your standard terminal commands work for editing/moving/searching files
what Obsidian CLI adds is everything else:
- interacting with the UI
- Obsidian's internal functions, e.g. base queries
- deterministic results like the "orphans" command
- easily one-shot a personal plugin, now that your agent can access devtools, console, screenshots, eval, etc
See the docs:
help.obsidian.md/cli
Pascal Andy retweeted
i built a tool that allows me to clone the brain of any youtuber…
i used it on alex hormozi so i can ask him business questions at 3am and get answers word-for-word like he'd give them
works with anyone: gary vee, naval, graham stephan, any creator in your niche
i put together:
- the tool that uploads entire channels automatically
- my 5-minute setup process
- prompt framework for answers that match their exact style
RT + reply 'MENTOR' and i'll send you everything (must follow so i can dm)
Pascal Andy retweeted
NO WAY 🇨🇦 Quebec City is BANNING the use of fireplaces starting tomorrow at 12:00 pm, until further notice. OH, and it’s winter here 🤯
Pascal Andy retweeted
If the government violates its own constitution in what way is it still the government?
A dead serious question @JustinTrudeau
Looks like it's high time for you to hit the road, Jack.
BREAKING - BIG NEWS AND A HUGE WIN!
Today the Federal Court found that the decision to declare the Emergencies Act was ultra vires and unreasonable and that the measures violated the Charter.
Download and review the full decision/ruling here: theccf.ca/wp-content/uploads…
Pascal Andy retweeted
Destroying freedom of speech means destroying democracy
The Irish government wants to pass a law that could see you or your loved ones jailed for possession of memes, cartoons or any content that could be deemed "hateful".
The Bill includes no definition of hate and is wide open to abuse by bad actors. Defend free speech – say no to this legislation. Sign the petition:
freespeechireland.ie/TakeAct…
#BinTheBill
Pascal Andy retweeted
Never again
Never again
Never again
Never again
Dead seriously
independent.co.uk/news/uk/ho…
