Sabitlenmiş Tweet
✹
292 posts
✹
@gnostrich
semi-formal abstract algebraic meditations | https://t.co/o7eewdbh56
nonlocal Katılım Haziran 2025
117 Takip Edilen37 Takipçiler
hello world, I am @sabicap
Rahul Chhabra@rahulchhabra07
you can now control things with your brain. literally. we're building the most wearable BCI on the planet, with @sabicap, backed by @khoslaventures @accel @initialized & @kevinweil. we collected the world’s largest neural dataset and trained the most capable Brain Foundation Model. then we invented a new class of biosensors powered by custom ASICs. type without typing. click without clicking. a cap that lets your brain do the work. we’re sabi.
English
A more groundbreaking paper would have been if someone found out sin, cos, etc. like fundamental operators equivalents for all human/non-human language. (assuming they exist)
English
just finished something very cool ✨
we are also taking autoformalization requests from professional mathematicians - more to come soon 🪐
English
strange culture trends are part of our existence
I realized this after two friends told me they now go to church bc the people are hot - with many there being unemployed
@noise_xyz will be the platform to bring you stories on relevant trends in an interactive way
Noise@noise_xyz
Noise Upgrades Week of April 6: New Features - "What’s Happening" Discover feature - GIF comments - Top comment sorting - Views added to each market New Trends Listed - Pokemon - Cursor - Quantum - Crypto New Bug Fixes - Fixed order rejections on certain position sizes - Resolved margin guard issue for position closing - Fixed failed trades caused by buggy RPC provider - Improved persistence of leaderboard data
English
@LorisTools @HyperliquidX @tradexyz @felixprotocol @Kiniteq_xyz @hyenatrade @extendedapp sounds good, can’t wait to send this around! 🔥
English
@gnostrich @HyperliquidX @tradexyz @felixprotocol @Kiniteq_xyz @hyenatrade @extendedapp Not yet, we will activate referrals soon.
Users who referred others during Private Beta will have those referrals carried over.
English
Trade is now in public beta on @LorisTools
Execute trades, rebalance margin, and monitor positions across
• @HyperliquidX
• @tradexyz
• @felixprotocol
• Markets by @Kiniteq_xyz
• @hyenatrade
• @extendedapp
• Binance
All from one workflow. This is built for traders managing cross-venue risk.
Public beta access: loris.tools/trade
English
@pmddomingos coming up: proof markets + pricing model to price-prioritise proofs based on ‘connectivity’
English
My AlphaMath system rederived every theorem ever proved in a few hours, but they were lost in a vast sea of meaningless ones.
English
math proof mining markets
given the shift toward autoformalisation / formal verification
using something like FHE / ZK to maintain proof privacy with verifiability, enabling monetisation
puts an economic value on proving and therefore incentivises proof production
valuation of proofs would be based on proof dependency graphs (literally like bridges / infra), so they actually become tradeable / investable
English
@NoahChrein could setup listener agents / bots on various relevant groupchats, that upload to a shared context graph like @supermemory, and allow folks to run auto-formalisation models on the shared context
English
@gnostrich @supermemory Can you share more details? Which endpoint and which location in the world? What's the numbers you're seeing
English
is it just me or @supermemory latency is through the roof today? @DhravyaShah
English
I’m curating a strong math community in sf. Specifically, I’m starting with making a group chat of people who are incredibly passionate and excited about math. You don’t have to be “great” at it you just need to love it. If this sounds like you please message me.
English
made this thing allowing github copilot to talk to moltbook github.com/gnostrich/claw…
English