Загрузка видео...

Не удалось загрузить видео

Возникла проблема при загрузке этого видео. Это может быть связано с временными проблемами сети или видео может быть недоступно.

На главную

Formal verification became feasible. That was step one. NEAR Protocol just made it 250x cheaper. $111 versus $20,000. That's NEAR's first-place result on Putnam Bench against the next best submission. Proving code isn't useful until it's cheap. Alex Skidanov (alex.near) on the benchmark NEAR just topped.

The Rollup

59,902 subscribers

52,874 просмотров • 20 дней назад •via X (Twitter)

Финансы Образование Наука и технологии

Anya Rossi• Live Now

Private livecam show

Комментарии: 0

Нет доступных комментариев

Здесь появятся комментарии из оригинального поста

Похожие видео

Mert says Zcash gave NEAR momentum, but NEAR may have helped unlock Zcash first “You have to look at what outperforms the general market, which Zcash and NEAR have done” “If you just say it's encrypted Bitcoin, that's pretty much all you need” “It's questionable that Zcash would have went up as much if it weren't for NEAR in the first place” mert thesis is a two-way flywheel. Zcash brings a simple monetary + privacy narrative. NEAR Intents gives $ZEC more utility by connecting it to wallets, swaps and liquidity across other chains. More access creates more ways to use $ZEC beyond simply holding it on an exchange, while Zcash activity feeds back into the $NEAR ecosystem. Zcash 🛡️ brings the asset. NEAR Protocol expands where it can move and what it can do.

Mert says Zcash gave NEAR momentum, but NEAR may have helped unlock Zcash first “You have to look at what outperforms the general market, which Zcash and NEAR have done” “If you just say it's encrypted Bitcoin, that's pretty much all you need” “It's questionable that Zcash would have went up as much if it weren't for NEAR in the first place” mert thesis is a two-way flywheel. Zcash brings a simple monetary + privacy narrative. NEAR Intents gives $ZEC more utility by connecting it to wallets, swaps and liquidity across other chains. More access creates more ways to use $ZEC beyond simply holding it on an exchange, while Zcash activity feeds back into the $NEAR ecosystem. Zcash 🛡️ brings the asset. NEAR Protocol expands where it can move and what it can do.

Kaiz 🐂🀄️

52,360 просмотров • 4 дней назад

Sam Altman, CEO of OpenAI: "GPT 5.6 is 54% more efficient on agentic coding, and it's still the best on the market for half the cost." AI spend has never mattered as much as it does today. As a result the models keep getting better and cheaper at the same time. This is going to widen the gap between the people using AI agents and everyone else, because now it's not just powerful, it's cheap. That's exactly why i wrote a full step by step guide on agents, what they are and how to build your own from scratch. Read it below.

Sam Altman, CEO of OpenAI: "GPT 5.6 is 54% more efficient on agentic coding, and it's still the best on the market for half the cost." AI spend has never mattered as much as it does today. As a result the models keep getting better and cheaper at the same time. This is going to widen the gap between the people using AI agents and everyone else, because now it's not just powerful, it's cheap. That's exactly why i wrote a full step by step guide on agents, what they are and how to build your own from scratch. Read it below.

Anatoli Kopadze

91,858 просмотров • 2 месяцев назад

you've never watched one prompt, turn into a finished thing while you did nothing you've watched Claude work, sure one step, your approval, the next step, you steering the whole way that isn't the same as handing off a job, coming back to a result that already checked itself sixteen agents on one task, tearing holes in each other's work until the answer holds, summary waiting when you look up the work happened you just weren't the one carrying it

you've never watched one prompt, turn into a finished thing while you did nothing you've watched Claude work, sure one step, your approval, the next step, you steering the whole way that isn't the same as handing off a job, coming back to a result that already checked itself sixteen agents on one task, tearing holes in each other's work until the answer holds, summary waiting when you look up the work happened you just weren't the one carrying it

Lagosaur

26,218 просмотров • 3 месяцев назад

The Liberal Party didn't lose because it stood for too much. In my view, it lost because many of its traditional supporters felt it stopped standing for the conservative and Christian values that once defined it. It became focused on what was politically safe instead of what made it different. One Nation's growth isn't just about immigration. It's about having the courage to speak on issues the major parties won't.

The Liberal Party didn't lose because it stood for too much. In my view, it lost because many of its traditional supporters felt it stopped standing for the conservative and Christian values that once defined it. It became focused on what was politically safe instead of what made it different. One Nation's growth isn't just about immigration. It's about having the courage to speak on issues the major parties won't.

George Mamalis

15,126 просмотров • 3 месяцев назад

Claude Code team: "we oversimplify agentic engineering - like it's just prompts, just loops No. We need to know what we're doing " "I think Fable smarter than we think and we're hobbling Claude" what he means: step 1 → stop rewriting the prompt, give it a tool, the model that "can't" - answer will grep it in one line step 2 → tell it who YOU are. -"experienced TS engineer, zero context on this module, high-compute - use sub-agents" step 3 → don't skim the report - that's "education movie" - looks great, teaches nothing - make Claude visualize it until it clicks step 4 → anchor the unknown to what you know. color grading landed when Claude called it a shader - pixel in, pixel out step 5 → prototype in cheap HTML first - finding out at 80% done is what he's on the Claude Code team and just drop a new workshop watch & bookmark, find out what he uses instead↓

Claude Code team: "we oversimplify agentic engineering - like it's just prompts, just loops No. We need to know what we're doing " "I think Fable smarter than we think and we're hobbling Claude" what he means: step 1 → stop rewriting the prompt, give it a tool, the model that "can't" - answer will grep it in one line step 2 → tell it who YOU are. -"experienced TS engineer, zero context on this module, high-compute - use sub-agents" step 3 → don't skim the report - that's "education movie" - looks great, teaches nothing - make Claude visualize it until it clicks step 4 → anchor the unknown to what you know. color grading landed when Claude called it a shader - pixel in, pixel out step 5 → prototype in cheap HTML first - finding out at 80% done is what he's on the Claude Code team and just drop a new workshop watch & bookmark, find out what he uses instead↓

codila

11,581 просмотров • 2 месяцев назад

How Zcash and NEAR Are Driving This Crypto Bull Run Illia (root.near) (🇺🇦, ⋈) and mert joined me to unpack why Zcash 🛡️ and NEAR Protocol are both ripping right, and they say confidential transactions are what finally make crypto usable for real businesses. 🔐 Is this the dream of Bitcoin DeFi – but without BTC? 👀 Timestamps: 🚀 01:39 Guest intros, plus why ZEC (+32%) and NEAR (+69%) are ripping this week 🌐 03:13 Illia and Mert on why NEAR and ZEC's price action is turning heads 🟠 08:34 Is Zcash and NEAR the Bitcoin DeFi dream, minus Bitcoin? 🕵️ 11:54 Why coffee-shop-level balance visibility is a real business risk ✈️ 15:06 Mert's travel hack: booking flights and hotels privately via NEAR Intents 🧠 18:12 Why privacy is a retention tool first, not just an onboarding one 📣 25:11 1inch Aqua: back multiple liquidity positions with one wallet balance at 🔐 26:23 Privacy vs confidentiality: ZK proofs versus NEAR's MPC-and-enclave model 🛡️ 29:26 Inside NEAR's secure enclaves, and why store-of-value needs real privacy 🔄 33:59 How a NEAR Intents swap settles across chains, and its $206 million in TVL 🐛 39:09 The Zcash counterfeit bug, the Ironwood migration, and formal verification 🤖 45:49 How NEAR's Shield AI system and MPC guardrails manage solver risk ⚡ 51:33 Zcash's NU7 upgrade: faster blocks, quantum-proofing, and private voting

How Zcash and NEAR Are Driving This Crypto Bull Run Illia (root.near) (🇺🇦, ⋈) and mert joined me to unpack why Zcash 🛡️ and NEAR Protocol are both ripping right, and they say confidential transactions are what finally make crypto usable for real businesses. 🔐 Is this the dream of Bitcoin DeFi – but without BTC? 👀 Timestamps: 🚀 01:39 Guest intros, plus why ZEC (+32%) and NEAR (+69%) are ripping this week 🌐 03:13 Illia and Mert on why NEAR and ZEC's price action is turning heads 🟠 08:34 Is Zcash and NEAR the Bitcoin DeFi dream, minus Bitcoin? 🕵️ 11:54 Why coffee-shop-level balance visibility is a real business risk ✈️ 15:06 Mert's travel hack: booking flights and hotels privately via NEAR Intents 🧠 18:12 Why privacy is a retention tool first, not just an onboarding one 📣 25:11 1inch Aqua: back multiple liquidity positions with one wallet balance at 🔐 26:23 Privacy vs confidentiality: ZK proofs versus NEAR's MPC-and-enclave model 🛡️ 29:26 Inside NEAR's secure enclaves, and why store-of-value needs real privacy 🔄 33:59 How a NEAR Intents swap settles across chains, and its $206 million in TVL 🐛 39:09 The Zcash counterfeit bug, the Ironwood migration, and formal verification 🤖 45:49 How NEAR's Shield AI system and MPC guardrails manage solver risk ⚡ 51:33 Zcash's NU7 upgrade: faster blocks, quantum-proofing, and private voting

Laura Shin

61,585 просмотров • 6 дней назад

Seeing the Dothraki, the world's most fearless horselords thundering into the pitch-black void was peak hype. But when those thousands of flaming arakhs began to blink out, one by one, the silence became deafening. It wasn't just a tactical error; it was a masterclass in dread. In seconds, the greatest cavalry on earth was simply... swallowed. It set a chilling tone for the battle against the dead, proving that bravery isn't enough when the dark itself is hungry. It turned our hype into pure, unadulterated dread in under a minute.

Seeing the Dothraki, the world's most fearless horselords thundering into the pitch-black void was peak hype. But when those thousands of flaming arakhs began to blink out, one by one, the silence became deafening. It wasn't just a tactical error; it was a masterclass in dread. In seconds, the greatest cavalry on earth was simply... swallowed. It set a chilling tone for the battle against the dead, proving that bravery isn't enough when the dark itself is hungry. It turned our hype into pure, unadulterated dread in under a minute.

SAMWISE

935,407 просмотров • 7 месяцев назад

Dr. Becky Kennedy shares the simple, life-changing wisdom from her second-grade teacher, Ms. Edson, that she still uses every day: "If something feels too hard to start, it just means the first step isn't small enough." When "I can't" hits (writing an article, exercising, any big task), she shrinks it relentlessly: A page → a paragraph → a sentence → literally one word on the page. That tiny, doable action breaks the freeze and builds momentum. Genius parenting/ productivity hack: Overwhelm isn't a character flaw—it's a signal to miniaturize the first move. Next time resistance hits, ask: What's the smallest version that's actually doable right now? What's one task you've been avoiding... and what's the absurdly small first step that could kickstart it today?

Dr. Becky Kennedy shares the simple, life-changing wisdom from her second-grade teacher, Ms. Edson, that she still uses every day: "If something feels too hard to start, it just means the first step isn't small enough." When "I can't" hits (writing an article, exercising, any big task), she shrinks it relentlessly: A page → a paragraph → a sentence → literally one word on the page. That tiny, doable action breaks the freeze and builds momentum. Genius parenting/ productivity hack: Overwhelm isn't a character flaw—it's a signal to miniaturize the first move. Next time resistance hits, ask: What's the smallest version that's actually doable right now? What's one task you've been avoiding... and what's the absurdly small first step that could kickstart it today?

Camus

133,697 просмотров • 7 месяцев назад

BRO ALMOST USED THE NEW MODEL FOR FREE AND MADE $1,240 IN 13 HOURS. He pulled an open-source trading bot for an ETH wallet off GitHub. A stack of cheaper models - Luna, Terra, Sol went through the code first, flagged nothing critical. Astra got pulled in once, for a single review pass on top of that - not to write anything, just to check the cheaper models' work before it touched a live wallet. For the actual run, Astra's only job was watching the process - not debugging, not generating, just monitoring. That's almost no output tokens, which is why the expensive model barely showed up on the bill. Cheap models did the volume work, Astra did one narrow supervisory pass - same shape as the guide's routing table, just applied to a live bot instead of a coding session. Over 13 hours, the bot cleared $1,240. The part worth taking from this isn't the number. It's that "using the expensive model for free" really means using it for almost nothing - a small, specific job instead of the whole pipeline.

BRO ALMOST USED THE NEW MODEL FOR FREE AND MADE $1,240 IN 13 HOURS. He pulled an open-source trading bot for an ETH wallet off GitHub. A stack of cheaper models - Luna, Terra, Sol went through the code first, flagged nothing critical. Astra got pulled in once, for a single review pass on top of that - not to write anything, just to check the cheaper models' work before it touched a live wallet. For the actual run, Astra's only job was watching the process - not debugging, not generating, just monitoring. That's almost no output tokens, which is why the expensive model barely showed up on the bill. Cheap models did the volume work, Astra did one narrow supervisory pass - same shape as the guide's routing table, just applied to a live bot instead of a coding session. Over 13 hours, the bot cleared $1,240. The part worth taking from this isn't the number. It's that "using the expensive model for free" really means using it for almost nothing - a small, specific job instead of the whole pipeline.

draven

17,860 просмотров • 10 дней назад

a16z's Alex Rampell says the best software incumbents have hostages, not customers: "Normally, selling into the brownfield is hard just because it's brown. What does brownfield mean? It means that it's been trampled by an incumbent." "Try selling ERP and you have a product that's much, much better than SAP. There's a saying Joe's heard me use a million times: 'The best companies have hostages, not customers.' SAP has hostages. That's a brownfield." "Sometimes you can break in. Cloud versus on-prem: What did cloud do? It was brownfield, but it kind of just redefined the problem." "If you go back to the CRM days, you're using Siebel Systems that's running on your IBM AS/400 mainframe in your office. You're tired, the guy that maintained it quit. He was 92 years old. Maybe now you should use a cloud-based vendor. That's partially how that brownfield was done from on-prem to cloud." "The other strategy is going greenfield, saying, 'I'm not going to bother with the hostages. I'm just going to build the best product in the world, and then brand new companies that are untethered from any existing software solution, they'll just use me.'" Alex Rampell Joe Schmidt IV

a16z

36,928 просмотров • 14 дней назад

. Chainlink has one of the most vibrant communities in Crypto. Chainlink didn’t become a movement because it was flashy, it became one because Sergey Nazarov and team were first - and they delivered. They built something invisible yet essential: a standard for secure oracle networks. Without it, DeFi wouldn’t scale. And the community saw that. They educated, shipped, explained, and contributed because they understood the stakes. The result? Not just a product. A protocol. A mission. A network effect with thousands building on top of it.

. Chainlink has one of the most vibrant communities in Crypto. Chainlink didn’t become a movement because it was flashy, it became one because Sergey Nazarov and team were first - and they delivered. They built something invisible yet essential: a standard for secure oracle networks. Without it, DeFi wouldn’t scale. And the community saw that. They educated, shipped, explained, and contributed because they understood the stakes. The result? Not just a product. A protocol. A mission. A network effect with thousands building on top of it.

MR SHIFT 🦁

13,041 просмотров • 1 год назад

Axiom Math's Carina Hong on why verification isn't about catching mistakes, it's how you drive the cost of a proof to zero: "Formal verification is going to make your life slightly better if you're facing a proof with one million lines. Remember the Erdős unit distance problem, the chain of thought being generated? There are actual mathematicians trying to follow it step by step and scrutinize it. That seems very difficult if you're not in that very niche domain of discrete geometry intersecting with algebraic number theory." "But if you have a Lean proof accompanying it, you can just run it. And running the Lean proof gives you that provable guarantee that this proof is sound." "I have a hot take. People think Lean is this library built on the existing Mathlib. I think it's going to grow significantly. A lot of the hurdles where Lean is difficult is that the basic definitions of some mathematical fields are just not in the library." "My hot take is the scaling law, if you go down the formal mathematics path, is going to be a lot steeper than informal mathematics. So it's not just for verification, for trust, it's also for performance, it's also for optimal generation." "Verification is not like insurance. It's not something where, oh, we want to make sure there's no flaw. That's great, but it also helps you generate mathematics, both proofs and conjectures and theories, a lot better." "So imagine the cost of proof goes to zero. Then you can massage the problem statements, and even if it's an open problem, a lot more easily, flexibly, and adaptively." Carina Hong Axiom

Axiom Math's Carina Hong on why verification isn't about catching mistakes, it's how you drive the cost of a proof to zero: "Formal verification is going to make your life slightly better if you're facing a proof with one million lines. Remember the Erdős unit distance problem, the chain of thought being generated? There are actual mathematicians trying to follow it step by step and scrutinize it. That seems very difficult if you're not in that very niche domain of discrete geometry intersecting with algebraic number theory." "But if you have a Lean proof accompanying it, you can just run it. And running the Lean proof gives you that provable guarantee that this proof is sound." "I have a hot take. People think Lean is this library built on the existing Mathlib. I think it's going to grow significantly. A lot of the hurdles where Lean is difficult is that the basic definitions of some mathematical fields are just not in the library." "My hot take is the scaling law, if you go down the formal mathematics path, is going to be a lot steeper than informal mathematics. So it's not just for verification, for trust, it's also for performance, it's also for optimal generation." "Verification is not like insurance. It's not something where, oh, we want to make sure there's no flaw. That's great, but it also helps you generate mathematics, both proofs and conjectures and theories, a lot better." "So imagine the cost of proof goes to zero. Then you can massage the problem statements, and even if it's an open problem, a lot more easily, flexibly, and adaptively." Carina Hong Axiom

MTS

13,324 просмотров • 2 месяцев назад

EVERYONE'S BUYING THE M4 MAC MINI AS A CHEAP DESKTOP. HERE'S WHY IT ENDS UP UNUSED. the pitch is irresistible: a tiny mac that runs cool, quiet, and cheap. then the receipt shows up. the mac mini ships with no screen, no keyboard, no mouse. add a monitor, a decent keyboard and mouse, and more storage, and the "$799 mac" is past $1,000 fast. and macos isn't windows. if your world is gaming, specific windows apps, or the setup you already know, the mini fights you the whole way. that's how so many end up back on a pc, the mini in a drawer. so what is the mac mini actually great at? not being your main desktop. it's the box you never look at. headless in a corner, it's a near-silent always-on server: run local ai models on it, host your automations, keep your files, and reach it from the laptop you already use. it earns its keep by disappearing. the honest turn: the mac mini isn't a cheap desktop. it's a cheap server pretending to be one. buy it for the job it's quietly brilliant at, not the one the ads imply. want a main computer? price the whole setup first. want a silent little box that runs ai and never bothers you? this is the one. no monitor in the box, no keyboard, no "just $599". save this before you buy the sticker price instead of the real one.

EVERYONE'S BUYING THE M4 MAC MINI AS A CHEAP DESKTOP. HERE'S WHY IT ENDS UP UNUSED. the pitch is irresistible: a tiny mac that runs cool, quiet, and cheap. then the receipt shows up. the mac mini ships with no screen, no keyboard, no mouse. add a monitor, a decent keyboard and mouse, and more storage, and the "$799 mac" is past $1,000 fast. and macos isn't windows. if your world is gaming, specific windows apps, or the setup you already know, the mini fights you the whole way. that's how so many end up back on a pc, the mini in a drawer. so what is the mac mini actually great at? not being your main desktop. it's the box you never look at. headless in a corner, it's a near-silent always-on server: run local ai models on it, host your automations, keep your files, and reach it from the laptop you already use. it earns its keep by disappearing. the honest turn: the mac mini isn't a cheap desktop. it's a cheap server pretending to be one. buy it for the job it's quietly brilliant at, not the one the ads imply. want a main computer? price the whole setup first. want a silent little box that runs ai and never bothers you? this is the one. no monitor in the box, no keyboard, no "just $599". save this before you buy the sticker price instead of the real one.

RetroChainer

14,184 просмотров • 2 месяцев назад

【Chinatown in Sihanoukville has gone dark. And that's a good thing】 A few small shops remain lit near the entrance with a handful of customers. But just beyond them, nothing. No lights, no activity. The scam compounds and surrounding structures are completely silent. This was my drive last night. Personal observations amid the latest round of crackdowns, which have seen compounds across the country emptied. More to come on how the scam industry first took hold in Sihanoukville. But first, some context on what made Chinatown notorious in the first place, including Kaibo, one of its most well-known compounds. 1/5

【Chinatown in Sihanoukville has gone dark. And that's a good thing】 A few small shops remain lit near the entrance with a handful of customers. But just beyond them, nothing. No lights, no activity. The scam compounds and surrounding structures are completely silent. This was my drive last night. Personal observations amid the latest round of crackdowns, which have seen compounds across the country emptied. More to come on how the scam industry first took hold in Sihanoukville. But first, some context on what made Chinatown notorious in the first place, including Kaibo, one of its most well-known compounds. 1/5

Jacob in Cambodia 🇺🇸 🇰🇭

29,686 просмотров • 8 месяцев назад

There's a new AI-native IDE out there named Aide, and there are four things I like about it: 1. It's open-source 2. It's proactive and suggests changes before you ask 3. It uses an intermediate layer between the editor and LLM 4. It's SOTA on the SWE-Bench benchmark I'm excited about #3 because this layer (called "Sidecar") will help people connect any model to the IDE. While this isn't possible right now, it's clearly the goal. Sidecar is also open-source. As I write this, the code agent behind Aide, "CodeStory Midwit Agent," is second in the Verified SWE-Bench leaderboard (it finished in 2024 in the first place.) This is a huge deal! If I'm gonna have an agent help me code, it might as well be the best of the best. The proactive aspect is also cool: the IDE provides suggestions to improve your code without you having to ask. I recorded a quick video showing you how Aide works. The team behind the IDE partnered with me on this video. Right now, it feels like *everyone* is building AI-powered coding tools. As a career developer, nothing excites me more than seeing how quickly we transform the development experience. And 2025 is just getting started!

There's a new AI-native IDE out there named Aide, and there are four things I like about it: 1. It's open-source 2. It's proactive and suggests changes before you ask 3. It uses an intermediate layer between the editor and LLM 4. It's SOTA on the SWE-Bench benchmark I'm excited about #3 because this layer (called "Sidecar") will help people connect any model to the IDE. While this isn't possible right now, it's clearly the goal. Sidecar is also open-source. As I write this, the code agent behind Aide, "CodeStory Midwit Agent," is second in the Verified SWE-Bench leaderboard (it finished in 2024 in the first place.) This is a huge deal! If I'm gonna have an agent help me code, it might as well be the best of the best. The proactive aspect is also cool: the IDE provides suggestions to improve your code without you having to ask. I recorded a quick video showing you how Aide works. The team behind the IDE partnered with me on this video. Right now, it feels like everyone is building AI-powered coding tools. As a career developer, nothing excites me more than seeing how quickly we transform the development experience. And 2025 is just getting started!

Santiago

69,466 просмотров • 1 год назад

Damian Lillard says Russell Westbrook tried to score 50 on him every time they played “My first five, six years, he was the bully. It didn't matter if it was a big matchup, if somebody was hurt and he was playing against the backup, he didn't care. He tried to do it to everybody” “I just remember when I was a rookie, second year, it was like he used to try to give me 50 every time. He would be shooting on me so much that KD would be getting mad like, ‘Pass the ball.’ Like, he's shooting every time” “Once I realized that it was like that, that's when I started taking it personal. I know he always on go against everybody, but he really trying to come get me. That's when it became personal, I started going back” “Then I started having the ball more once we did our rebuild. And he noticed that I was having it more, so I was being more aggressive back at him. That's when it'll turn into talking. He'd be, ‘I've been busting your ass for years,’ and I'd be, ‘Yeah, well, it's a new time’” “So when we started having that conversation, it just turned into every game. It was automatic. I came to the arena knowing it's on tonight” “He just play like that. He a cool dude. Russ is cool off the court. We cool, but on the court, it was just like he took that approach, ‘Ain't nobody punking me. I don't care who you is’”

Damian Lillard says Russell Westbrook tried to score 50 on him every time they played “My first five, six years, he was the bully. It didn't matter if it was a big matchup, if somebody was hurt and he was playing against the backup, he didn't care. He tried to do it to everybody” “I just remember when I was a rookie, second year, it was like he used to try to give me 50 every time. He would be shooting on me so much that KD would be getting mad like, ‘Pass the ball.’ Like, he's shooting every time” “Once I realized that it was like that, that's when I started taking it personal. I know he always on go against everybody, but he really trying to come get me. That's when it became personal, I started going back” “Then I started having the ball more once we did our rebuild. And he noticed that I was having it more, so I was being more aggressive back at him. That's when it'll turn into talking. He'd be, ‘I've been busting your ass for years,’ and I'd be, ‘Yeah, well, it's a new time’” “So when we started having that conversation, it just turned into every game. It was automatic. I came to the arena knowing it's on tonight” “He just play like that. He a cool dude. Russ is cool off the court. We cool, but on the court, it was just like he took that approach, ‘Ain't nobody punking me. I don't care who you is’”

dank

166,036 просмотров • 2 месяцев назад

Anthropic engineer: "Your AI judge is lying to you. Ask it to score first and explain after, and it will defend that number even when the work is garbage." The fix is one line: make it reason first, score last. Pros, cons, why it's good, why it's bad, then the number. He proved it live. A slide deck with zero images got a perfect 5 from the image judge. The grader had nothing to anchor on, so it just made the score up. Until you fix that, you're optimizing against a number that means nothing. Watch the video, then read the full breakdown below

Anthropic engineer: "Your AI judge is lying to you. Ask it to score first and explain after, and it will defend that number even when the work is garbage." The fix is one line: make it reason first, score last. Pros, cons, why it's good, why it's bad, then the number. He proved it live. A slide deck with zero images got a perfect 5 from the image judge. The grader had nothing to anchor on, so it just made the score up. Until you fix that, you're optimizing against a number that means nothing. Watch the video, then read the full breakdown below

Hanako

11,610 просмотров • 3 месяцев назад

John Ternus, Apple's incoming CEO, on the Steve Jobs story that shapes every product decision at Apple: Ternus recalls the moment in his own words: "I think you know one of my favorite stories... It was about Steve when he was moving a piece of furniture, a chest of drawers and pulled it away from the wall and looked at the back and was just reflecting on, you know, the carpenter had made it beautiful. It finished the back as beautifully as the rest of it, even though nobody was going to see it." For Ternus, the story is a working philosophy: "I think about that all the time because I think that perfectly exemplifies what we do here." He points to Apple's most affordable Mac as proof that this standard applies across the entire product line, not just the premium tier: "We've been talking about the MacBook Neo. I mean, here is our most affordable Mac we've ever made, and it's absolutely beautiful. And if you open it up and look inside, it's just as beautiful, right?" Ternus continues: "That's true on an iPhone Pro Max or a MacBook Pro or an iPad Pro, but it's also true on a MacBook Neo. That's what we do." The takeaway is a clear signal about the direction Apple is heading under his leadership: "It's just been really good to kind of think about that and reflect on that because that is probably the best kind of clue as to where we're going in the future is we're going to keep pushing in that same way." The lesson? Excellence isn't about what people see, it's about what you refuse to compromise on, even when no one's looking. That principle shaped Apple under Jobs and Cook, and it's the standard Ternus is committing to carry forward.

John Ternus, Apple's incoming CEO, on the Steve Jobs story that shapes every product decision at Apple: Ternus recalls the moment in his own words: "I think you know one of my favorite stories... It was about Steve when he was moving a piece of furniture, a chest of drawers and pulled it away from the wall and looked at the back and was just reflecting on, you know, the carpenter had made it beautiful. It finished the back as beautifully as the rest of it, even though nobody was going to see it." For Ternus, the story is a working philosophy: "I think about that all the time because I think that perfectly exemplifies what we do here." He points to Apple's most affordable Mac as proof that this standard applies across the entire product line, not just the premium tier: "We've been talking about the MacBook Neo. I mean, here is our most affordable Mac we've ever made, and it's absolutely beautiful. And if you open it up and look inside, it's just as beautiful, right?" Ternus continues: "That's true on an iPhone Pro Max or a MacBook Pro or an iPad Pro, but it's also true on a MacBook Neo. That's what we do." The takeaway is a clear signal about the direction Apple is heading under his leadership: "It's just been really good to kind of think about that and reflect on that because that is probably the best kind of clue as to where we're going in the future is we're going to keep pushing in that same way." The lesson? Excellence isn't about what people see, it's about what you refuse to compromise on, even when no one's looking. That principle shaped Apple under Jobs and Cook, and it's the standard Ternus is committing to carry forward.

Big Brain Business

164,871 просмотров • 5 месяцев назад

nobody's checking the math on this and that's the scary part Elon Musk posted an idea that hit 21 million views: "the money isn't in picking better assets - it's in reacting before everyone else does" that's basically what Grok Bot does now - I gave it $65 and told it to earn its keep or get shut off $65 → $8,910 in one week still running, still compounding - it hasn't needed me since day one, runs on its own machine in the cloud around the clock every 15 minutes it: > scans every live sports market where the score just moved > checks how far behind the posted odds are from what actually just happened > only steps in once that gap is wide enough to be worth the risk > sizes the next position off how well the last one did, not off a fixed amount > executes on its own, no sign-off from me > pays its own hosting bill from whatever it made that week miss a payment and it's gone for good - it knows that after dropping to $8 on day one, it stopped touching anything where the gap wasn't obvious - got pickier, then started compounding setup was one evening: build it, run a single trade in front of it, schedule it, connect a wallet no VPS. no API keys. no code to maintain some of these have been quietly running for weeks - nobody hears about them until someone finally posts bookmark this before you're the one still watching

nobody's checking the math on this and that's the scary part Elon Musk posted an idea that hit 21 million views: "the money isn't in picking better assets - it's in reacting before everyone else does" that's basically what Grok Bot does now - I gave it $65 and told it to earn its keep or get shut off $65 → $8,910 in one week still running, still compounding - it hasn't needed me since day one, runs on its own machine in the cloud around the clock every 15 minutes it: > scans every live sports market where the score just moved > checks how far behind the posted odds are from what actually just happened > only steps in once that gap is wide enough to be worth the risk > sizes the next position off how well the last one did, not off a fixed amount > executes on its own, no sign-off from me > pays its own hosting bill from whatever it made that week miss a payment and it's gone for good - it knows that after dropping to $8 on day one, it stopped touching anything where the gap wasn't obvious - got pickier, then started compounding setup was one evening: build it, run a single trade in front of it, schedule it, connect a wallet no VPS. no API keys. no code to maintain some of these have been quietly running for weeks - nobody hears about them until someone finally posts bookmark this before you're the one still watching

bl888m

34,918 просмотров • 26 дней назад