Clint J.

13.5K posts

Clint J. banner
Clint J.

Clint J.

@SearchDataEng

Austin, TX เข้าร่วม Haziran 2023
2.1K กำลังติดตาม1.2K ผู้ติดตาม
ทวีตที่ปักหมุด
Clint J.
Clint J.@SearchDataEng·
Authentic Geometric Intelligence
English
4
1
18
2.1K
Clint J.
Clint J.@SearchDataEng·
Discrete exterior calculus
Română
0
0
0
4
Clint J.
Clint J.@SearchDataEng·
@joacodok @ThePrimeagen Agents might also include something like pydantic-ai , which allows the dev to class and type LLM returns... They might also use rule based pipelines based on the response type, and there could even be json parsers in the case of failed formatted returns.
English
0
0
0
2
ThePrimeagen
ThePrimeagen@ThePrimeagen·
we are currently living in a world where there are some companies whose moat are literal skill files...
English
107
52
1.5K
77.7K
Boardroom
Boardroom@boardroom·
KD passed MJ on the NBA all-time scoring list. Now he’s talking about it. 🎙️ A special edition of Boardroom Talks drops today at 10am ET on our YouTube.
English
2
18
91
4.9K
Clint J.
Clint J.@SearchDataEng·
@steipete Better prepare a refund every day, for every user
English
0
0
1
13
Peter Steinberger 🦞
This guy emailed me asking for a *token session refund* because his claw made mistakes. 🙃
Peter Steinberger 🦞 tweet media
English
384
38
2.4K
198.6K
Clint J. รีทวีตแล้ว
Kat ⊷ the Poet Engineer
Kat ⊷ the Poet Engineer@poetengineer__·
our realities are shared but rendered slightly differently - the brain does this automatically. software will soon do it consciously: knowing your full cognitive and psychohistory, adapting itself to you. at that point, using and designing software will become inseparable.
English
8
9
151
8.9K
Clint J.
Clint J.@SearchDataEng·
The contours make the topology believable. The topology makes the contours useful.
English
0
0
1
27
Clint J.
Clint J.@SearchDataEng·
LLMs expand reachable complexity
English
0
0
0
26
Clint J.
Clint J.@SearchDataEng·
The strongest upside is often quality-adjusted throughput, not raw throughput.
English
0
0
1
20
Clint J. รีทวีตแล้ว
SHAHNAB AHMED
SHAHNAB AHMED@AhmedShahnab·
I wanted to see what would happen if we stripped away pixels and polygons from a video, and instead tried to recreate moving footage using a single, unbroken, continuous line. Introducing SINGLETHREAD- experimental web app that transforms any video into a real-time, 3D oscilloscope-style sculpture, running entirely in the browser Tech Stack: React + Vite | @threejs + @reactthreefiber + Postprocessing (Bloom glow) #CreativeCoding #ThreeJS #ReactThreeFiber #WebGL #GenerativeArt #TechArt #Frontend #3D
English
42
86
966
65.8K
Ben Luigi
Ben Luigi@RealBenLuigi·
@aidannonx @Kitler512 I’m not Italian you beautoxed imbecile. My family has been here since the 1600’s. I’m pure blooded American and mog whatever your family line is.
English
786
15
2.3K
306.4K
Ben Luigi
Ben Luigi@RealBenLuigi·
This is a mall in Virginia. Every day I am more radicalized, I’m a foreigner in my own country.
English
6.3K
6.3K
45.8K
7.8M
Clint J. รีทวีตแล้ว
Kat ⊷ the Poet Engineer
Kat ⊷ the Poet Engineer@poetengineer__·
visualizing all my claude code sessions: each plant is a project, its leaves the sessions. sliding the timeline scrubber -> replaying projects growth over time.
English
57
131
1.6K
84K
Clint J.
Clint J.@SearchDataEng·
Math, Inc. is the company behind Gauss. On its homepage, it says it is focused on “verified superintelligence via autoformalization,” which is a way of saying: use machines to turn math into rigorously checkable form. Gauss is the name of their AI math agent. They describe it as an autoformalization agent for mathematicians. In practice, that means it helps take human-written math and convert it into a machine-checkable proof format. Lean is the proof system they are using. Officially, Lean is an open-source programming language and proof assistant. A proof assistant is software that lets you write proofs in a formal language and then checks that every logical step is actually valid. OpenGauss is the open-source package around that idea. Math, Inc. describes it as an open-source autoformalization harness for Lean. So it is basically tooling that helps run and manage this math-proof workflow, rather than just being “a math idea” by itself.
English
0
0
0
88
Math, Inc.
Math, Inc.@mathematics_inc·
Today, at the @DARPA expMath kickoff, we launched 𝗢𝗽𝗲𝗻𝗚𝗮𝘂𝘀𝘀, an open source and state of the art autoformalization agent harness for developers and practitioners to accelerate progress at the frontier. It is stronger, faster, and more cost-efficient than off-the-shelf alternatives. On FormalQualBench, running with a 4-hour timeout, it beats @HarmonicMath's Aristotle agent with no time limit. Users of OpenGauss can interact with it as much or as little as they want, can easily manage many subagents working in parallel, and can extend / modify / introspect OpenGauss because it is permissively open-source. OpenGauss was developed in close collaboration with maintainers of leading open-source AI tooling for Lean. Read the report and try it out:
Math, Inc. tweet media
English
52
386
2.2K
284.1K
Robbie
Robbie@SunsAreBetter·
@LesbainSudoer It was announced Feb. 23 that he’d miss 4-to-6 weeks, so he could be back as soon as Tuesday against Denver.
English
2
0
7
544
Robbie
Robbie@SunsAreBetter·
The Suns now have a record of 9-11 without Dillon Brooks this season. He’s the heart and soul of this team. They need him.
Robbie tweet media
English
23
31
646
17.1K
Clint J.
Clint J.@SearchDataEng·
@JamesOKeefeIII @camhigby violence is illegal, you should have told them that , any maybe suggest a fair and neutral debate instead.
English
0
0
1
45
James O'Keefe
James O'Keefe@JamesOKeefeIII·
My team, myself & @camhigby were just violently assaulted on Skid Row, my camera crew were punched in the neck and face, we were pepper sprayed, but thankfully just escaped. Some members of our team had to run 10 blocks to get out. We were in the heart of Skid Row confronting the petitioners who @Savsays and my team caught on tape illegally offering drugs for ballot signatures. Please share this video to understand what we’re up against.
James O'Keefe@JamesOKeefeIII

CALIFORNIA ELECTIONS FRAUD CASH FOR BALLOTS PART I: Homeless Bribed with Cash & Drugs In Exchange For Registering To Vote & Signing Election Petitions Caught On Tape Undercover On Skid Row In California. “You can just put Pinocchio Lane.” California NGOs Encourage Fake Addresses To Homeless People To Sign Petitions & Register Voters, A State & Federal Felony. Footage Shows 28 Instances Of Cash Changing Hands For Ballot Signatures & Voter Registration Forms. Many of the petitioners had no understanding of the petitions’ purpose they were advertising. Circulators also instructed individuals to use fake addresses. “Oh, you can just fake an address.” Weingart Center, which received hundreds of millions in public funding, is on tape directing people to where the fraudulent petitioners are located, and directing homeless individuals to petitioners & coaching plausible deniability. “See they say ignorance is no excuse for the law. But a lot of times, I have to say ‘I didn’t know, I had no idea.’” We encountered 28 instances of petitioners offering cash, cigarettes, and marijuana for signatures on petitions. Weingart employees advised: “See they say ignorance is no excuse for the law. But a lot of times, I have to say ‘I didn’t know, I had no idea.’” All happening outside taxpayer-funded housing organizations. Weingart CEO earned $432,000 before resigning from the Los Angeles County Affordable Housing Solutions Agency. James O’Keefe and the OMG Team went undercover on Skid Row, posing as homeless individuals. On hidden cameras, petitioners admitted they are paid $7–$10 per signature, sometimes earning $1,000 or more per day, collecting signatures from individuals with minimal knowledge of what they were signing. “$7 a signature, $5 a signature, $10 a signature.” “We gon’ give you $2.” Populus Inc., a political consulting firm, was circulating petitions funded by @Uber, @Delta, @United, and the American Hotel & Lodging Association (@AHLA). On camera, one petitioner said, “We have one that taxes billionaires 5%. One-time tax. 5% and that’s gonna go towards healthcare.” Other petitions sought to overturn LA’s $30 minimum wage for hotel and airline workers. Paying per signature and encouraging fake addresses violates federal and state election law and is proof of fraud happening in California. Weingart employees were caught directing the homeless to the location of the petitioners and coaching them on plausible deniability. Intake coordinator Jason Warren told an undercover journalist exactly where and when to find them: “Most time they be right across the street, under that tree… Monday through Friday.” In 2016, nine individuals were arrested on Skid Row for exchanging cash and cigarettes for signatures; in 2019 they were charged on 14 counts under the exact same California Elections Code section. Yet when confronted, nearby LAPD officers dismissed the activity as “a civil lawsuit.” “Paying per signature violates state election law and is evidence of election fraud in California,” the investigation concludes. On Skid Row, we captured conduct on tape that violates Federal Law 52 U.S. Code §10307 and state law California Election Code §18603. Part II coming soon. @CAgovernor @MayorOfLA @AGPamBondi @TheJusticeDept @NathanHochmanDA @GovPressOffice @LADAOffice @CASOSVote @USAttyEssayli @GavinNewsom Follow Citizen Justice League @ctznjusticelg A network of citizen journalists exposing corruption and demanding accountability for America YT: @citizenjusticeleague?si=SYUXXv7nN0eshG_a" target="_blank" rel="nofollow noopener">youtube.com/@citizenjustic… IG: instagram.com/citizenjustice… FB: facebook.com/share/1CdcJb1b… TikTok: @citizenjusticeleague?_r=1&_t=ZP-94juhHbdzIN" target="_blank" rel="nofollow noopener">tiktok.com/@citizenjustic… Paid partnerships with: American Independence Gold: Free Extra Gold & Silver with Qualifying Purchases. Go to OKEEFEMEDIAGOLD.com

English
2.8K
33K
82.7K
2.5M
Catalin
Catalin@catalinmpit·
Lately, Claude makes some shocking mistakes. ⟶ Implements overly complex code ⟶ Ignores the codebase's code style ⟶ Removes working code for no reason ⟶ Replaces code that's out of scope from the task at hand It feels like it needs 100% supervision. At this point, you're better off writing everything yourself.
Catalin tweet media
English
276
39
647
76.5K
Clint J.
Clint J.@SearchDataEng·
bifurcated substrate If peaks and saddles are computed from a scalar field (f) on a triangulation (T), but contours are rendered as level sets of a different transformed field (g=\phi(f)) on a raster surrogate, then contour connectivity need not agree with the Morse/merge topology of (f); therefore a pair of distinct maxima of (f) separated by a saddle of (f) may appear inside one unresolved contour bowl. Conversely, if contours are rendered as triangulation-native level sets of the same (f) on (T), then contour events occur at the same scalar thresholds that define the critical structure, so the contour layer is topologically consistent with the peaks, saddles, and navigation grammar.
English
0
0
0
39
Clint J.
Clint J.@SearchDataEng·
meandering triangles
English
0
0
0
12