MicroProofs

1.2K posts

MicroProofs banner
MicroProofs

MicroProofs

@MicroProofs

For a macro-life. Aiken Core Maintainer. Cognitive Security Maxi

Hong Kong Sumali Ekim 2020
300 Sinusundan2.8K Mga Tagasunod
Naka-pin na Tweet
MicroProofs
MicroProofs@MicroProofs·
After all the drama, who is ready for some excitement? Introducing Bullet! Bullet is an intention-based account abstraction tool for Cardano. I know that sounds like a word salad so let me just tell you the important details you care about.
English
22
83
448
92.6K
MicroProofs
MicroProofs@MicroProofs·
The more you read the weirder it gets
English
0
0
2
85
MicroProofs
MicroProofs@MicroProofs·
I asked chatgpt 5.4 to do the next step of the canonical ast I'm working on and it's considering a second job. What is up with this economy!? #keep4o
MicroProofs tweet media
English
4
2
16
985
MicroProofs nag-retweet
Elder Millenial
Elder Millenial@ElderM·
@MicroProofs @wolf31o2 Claude code and cursor do the same. Gemini seems best for planning. Claude seems best for actual tasks. ChatGPT is still the worst.
English
1
0
0
26
Elder Millenial
Elder Millenial@ElderM·
I am honestly surprised people actually still use any OpenAI models for coding. As both a researcher and developer, I use AI models in a variety of capacities. ChatGPT has its uses, for example structured extraction from unstructured text, but it lags so far behind in coding and research relative to Claude and Gemini that I dont quite understand why people still use it for coding tasks. No, you cant trust the graphs. Me and my team of AI researchers always laugh at the absurd charts they put out with every new model. The real test is how it performs in the trenches, not benchmarks that it likely had knowledge and training data on.
English
4
0
11
1.1K
MicroProofs
MicroProofs@MicroProofs·
@wolf31o2 @ElderM Try oh my pi with chatgpt. It forces it to create todos and actually do them
English
1
0
0
29
WOLF31O2.md
WOLF31O2.md@wolf31o2·
@ElderM I ran out of tokens in Claude on Monday (with a reset this morning 😅) so I decided to give Codex a try. It's terrible for me and my squirrel brain. Every time I tell it something new, it gets lost. Claude understands post-prompt addendums vs side quests and stays on target.
English
3
0
1
193
Taelin
Taelin@VictorTaelin·
I just want a Claude Code that is much more lightweight. Way smaller system prompts, way less bloat in general. It could probably be 3x faster and more effective if it wasn't overly bloated. This is really frustrating. Perhaps I should roll my own
English
96
5
374
119.6K
MicroProofs
MicroProofs@MicroProofs·
@flantoshi @Quantumplation Sounds like you are confusing blockchain consensus with cross chain communication. Partner chains use cross chain communication. Which is totally isolated from what that blockchain uses for block consensus.
English
0
0
0
17
🍮Flantoshi🍮
🍮Flantoshi🍮@flantoshi·
I feel like we're talking past each other. You're right that the spec is independent. But the whole point of Cardano partner chains is sharing the codebase and tooling. Without a CIP commitment, there's no assurance future node changes won't silently break the Tachys implementation. The spec is worthless if nobody maintains compatibility. And if that compatibility is too uncertain, teams won't build on Cardano's stack at all - they'll go somewhere with more stability and more liquidity. So, I respect your argumentation on a purely technical level. You can run circles around me there, absolutely no question. But I'm making the case on a business level. If this doesn't happen, then Cardano goes against much of what it had promised in terms of making it easy to connect to it.
English
2
0
0
118
MicroProofs nag-retweet
Circle
Circle@circle·
USDCx on @Cardano, a USDC-backed stablecoin with seamless access to crosschain USDC liquidity, is now available via Circle xReserve. With USDCx, enterprises and end users can power payments, lending, trading, borrowing, liquidity provision, and more using a highly liquid stablecoin. Supported at launch by Cardano DeFi apps @liqwidfinance, @MinswapDEX, and @SundaeSwap. Key benefits: ✅USDCx is 1:1 backed by USDC held in xReserve ✅Fully interoperable with USDC across supported chains ✅Trust minimized with no third-party bridges required **For the first 10 days, IOG will be covering all costs for bridging USDC to USDCx on Cardano, helping early adopters get started without fees or friction.** Learn more: circle.com/blog/usdcx-on-…
English
252
964
2.9K
232.8K
MicroProofs nag-retweet
Romain Soulat
Romain Soulat@RSoulatIOHK·
Today, we're releasing v1.0 of Blaster: github.com/input-output-h…, an SMT backend for Lean 4. We designed it for Cardano smart contract verification, but it turns out to be quite general-purpose. It can discharge many cases in Lean 4 proofs, or even complete proofs entirely for different kinds of formalizations. If you trust the translation to SMT-LIB and the SMT solver, Blaster outperforms lean-auto, Hammer, Duper, grind, aesop, omega, (and many others) on our internal benchmarks of smart contracts, the Verina benchmark, the Natural Number Game, Set Theory Game, and Intro to Logic. It also provides useful counterexamples for falsified theorems! We're actively working on expanding support for Lean 4 constructs and, most importantly, implementing proof reconstruction for full soundness. Big shout-out to @JeanFrdricEtie1 , who's the mastermind behind all of this, and all the contributors to this project.
English
1
5
18
851
MicroProofs
MicroProofs@MicroProofs·
@bcherny If you set these environment variables are they used in the Claude code desktop app. The only thing lack for me in the desktop app is the heavy hit integration (I've been using jj at the moment with a lot of success)
English
0
0
1
206
Boris Cherny
Boris Cherny@bcherny·
5/ Also available for non-git source control If you're a Mercurial, Perforce, or SVN user, define worktree hooks to benefit from isolation without having to use Git
Boris Cherny tweet media
English
13
8
179
85.5K
Boris Cherny
Boris Cherny@bcherny·
Introducing: built-in git worktree support for Claude Code Now, agents can run in parallel without interfering with one other. Each agent gets its own worktree and can work independently. The Claude Code Desktop app has had built-in support for worktrees for a while, and now we're bringing it to CLI too. Learn more about worktrees: git-scm.com/docs/git-workt…
Boris Cherny tweet media
English
439
851
11K
1.3M
MicroProofs nag-retweet
Romain Soulat
Romain Soulat@RSoulatIOHK·
Tomorrow at 15:00 UTC, @ILikeCardano will share our latest work on fully automated formal verification for Aiken. Already using property-based tests? See how to get formal verification for free at the Plutus Working Group. Join us: meet.google.com/ndv-avgg-rwj
English
1
22
46
5.4K
MicroProofs nag-retweet
dax
dax@thdxr·
man people are so lost so much of society is "push the button again you might get lucky this time" except it's wrapped up in a package that makes it seem like it's something smart people are doing
Nikunj Kothari@nikunj

x.com/i/article/2022…

English
88
86
2.3K
312.9K
JSHy | Josh Marchand
JSHy | Josh Marchand@JSHyCS·
@MicahAlexKenda1 I mentioned them briefly, but I definitely could’ve gone into more detail. I felt that discussing the type and mentioning some new operations on that type was enough to summarize it though
English
1
0
1
128
MicroProofs
MicroProofs@MicroProofs·
@thdxr At this point I don't make plans. Just a shared task list. Best feature that came out. Plans is mostly for making an original spec for a new project most of the time you just need a task list. And for task lists I do them sequentially. With a teammate agent for implementation
English
0
0
0
143
effectfully
effectfully@effectfully·
The EU is not a real place.
effectfully tweet media
English
505
131
4.9K
3.3M
MicroProofs nag-retweet
UTxO Company
UTxO Company@utxo_company·
ZXX
3
7
21
1.9K
phil
phil@phil_uplc·
@IOHK_Charles I cannot express how stacked this will be; This was the result of pure crystalized passion and engineering prowess.
English
4
1
148
3.9K
MicroProofs nag-retweet
Charles Hoskinson
Charles Hoskinson@IOHK_Charles·
Hello from Japan. Just signed the integration agreement for USDCx on Cardano. Welcome to Cardano Circle! We are all excited about the possibilities. More from the Pentad soon youtube.com/watch?v=8P09rx…
YouTube video
YouTube
English
374
729
2.8K
387.2K