Proby Shandilya
8 followers · 14 following · 517 views
on the atlas · 169
- LLMs are making formal software verification feasible at a much larger scale \ Anthropic7 savers
- benahorowitz.eth on X: "Databricks & the Future of the Firm " / X1 savers
- The Rise of the Forward Deployed Engineer — and How To Do the Job Right1 savers
- Evals as Theory Building — High Performance AI Lab1 savers
- Towards self-driving codebases · Cursor7 savers
- Agent swarms and the new model economics · Cursor8 savers
- Invisible Companies: Why Overlooked Businesses Win- Colossus1 savers
- Claude4 savers
- [FKPXLS] SPECIAL VOLUME: JOINING PACE - by Tina He1 savers
- Clouded Judgement 7.3.26 - The End of Compute Scarcity? Not So Fast3 savers
- Drug Commercialization Process: From Research to Market1 savers
- you can't predict you can prepare3 savers
- On having more interesting ideas - by Henrik Karlsson8 savers
- How to Work Hard7 savers
- Sam Hinkie: After The Process - Sports Illustrated2 savers
- Rox - Not Boring by Packy McCormick1 savers
- The Wu Tapes: Q&A with Cognition's Scott Wu - Colossus10 savers
- Home - Google Drive2 savers
- Microsoft Word - What makes entrs entl.doc1 savers
- 432 Park1 savers
- NIST and AI agents: 1Password’s approach to agent identity | 1Password1 savers
- Startup: A Silicon Valley Adventure | Jerry Kaplan | download on Z-Library1 savers
- Built to Own - Colossus5 savers
- Understanding Manus sandbox - your cloud computer1 savers
- What is an AI code sandbox?1 savers
- Building a Medical Miracle Factory - Colossus1 savers
- amp52010035.tif1 savers
- abseil / Performance Hints1 savers
- A World of Verifiable Domains2 savers
- Effective harnesses for long-running agents \ Anthropic5 savers
- final.PDF1 savers
- How AI evals are changing product management1 savers
- The Exceptional and the Weird — packym2 savers
- Why David Chang Matters - The New York Times1 savers
- Microsoft Word - Gift_Press_Release_11-10-25.docx7 savers
- Introducing Husky, Datadog's Third-Generation Event Store | Datadog2 savers
- Post-Transformers - Hyena Hierarchy - by Alex Mackenzie1 savers
- Microsoft Word - Q4 2006 report to shareholders - FINAL _3_.DOC1 savers
- Ways to think about water – Welcome to Dancoland2 savers
- Top Down and Bottom Up Investors - Google Docs1 savers
- Letter #300: Stan Druckenmiller and Jeff Feig (2009)1 savers
- 10 Insights from 10 Years of Transformational Conversations4 savers
- Design Needs Complexity Theory - by Kasey Klimes1 savers
- The Making of a Market Maker - Colossus3 savers
- The Age of the Essay7 savers
- How to like everything more - by Sasha Chapin9 savers
- Modern Meditations: Josh Wolfe | The Generalist3 savers
- The Bus Ticket Theory of Genius4 savers
- The Tim Ferriss Show Transcripts: Graham Duncan (#362) - The Blog of Author Tim Ferriss5 savers
- Good creative tools are virtuosic and open-ended | thesephist.com2 savers
- walking through the fire - by Nix 🕊 - starting from nix3 savers
- The True Story of Lee Kuan Yew’s Singapore3 savers
- Natural Language Is an Unnatural Interface - by Varun3 savers
- How to Get Startup Ideas12 savers
- The Death and Birth of Technological Revolutions – Stratechery by Ben Thompson2 savers
- What I Learned In 2023 - by Alexandr Wang20 savers
- What Doesn't Seem Like Work?2 savers
- Five Founders4 savers
- More Pace2 savers
- same wavelength - by Isabel - Mind Mine7 savers
- chapters and doors - by Nix 🕊 - starting from nix3 savers
- Breaking orthodoxies in venture capital3 savers
- The Power of the Marginal2 savers
- The way SoftBank invests in startups just doesn’t work, says Khosla Ventures’ Keith Rabois - Vox2 savers
- Looking for Alice - by Henrik Karlsson - Escaping Flatland94 savers
- How to Do Great Work80 savers
- Childhoods of exceptional people - by Henrik Karlsson70 savers
- A blog post is a very long and complex search query to find fascinating people and make them route interesting stuff to your inbox68 savers
- There’s no speed limit57 savers
- What I Wish Someone Had Told Me - Sam Altman52 savers
- Dario Amodei — Machines of Loving Grace50 savers
- Reality has a surprising amount of detail49 savers
- What's going on here, with this human? - Graham Duncan Blog49 savers
- finding the right people - by Nicole - startingfromnix49 savers
- Mini Blog Post 3: Become a person who Actually Does Things — Neel Nanda45 savers
- Choose Good Quests - by Trae Stephens and Markie Wagner44 savers
- crushes are often just misplaced ambition - by Isabel42 savers
- Good conversations have lots of doorknobs36 savers
- reflections on palantir - Nabeel S. Qureshi35 savers
- Notes on “Taste” — Are.na33 savers
- Laws of Tech: Commoditize Your Complement · Gwern.net27 savers
- Are you serious? - by visakan veerasamy25 savers
- Rest in motion24 savers
- on slowness, taste, and living well - by Isabel - Mind Mine23 savers
- Pace Layering: How Complex Systems Learn and Keep Learning · Journal of Design and Science23 savers
- people come and go - by Nicole - startingfromnix23 savers
- Networked Thought22 savers
- Good conversations have lots of doorknobs18 savers
- We Don’t Sell Saddles Here. The memo below was sent to the team at… | by Stewart Butterfield | Medium18 savers
- resistance & regret - by Isabel - Mind Mine18 savers
- My favorite essays of life advice17 savers
- on being selective17 savers
- who do you admire? - by Nix 🕊 - starting from nix16 savers
- feeling behind - by Nix 🕊 - starting from nix16 savers
- Putting Ideas into Words15 savers
- Life is Short15 savers
- The American Scholar: Solitude and Leadership13 savers
- Hunter S. Thompson's Letter on Finding Your Purpose and Living a Meaningful Life - Farnam Street13 savers
- a stream of consciousness on love - by Isabel - Mind Mine12 savers
- On Medici and Thiel - by Rohit - Strange Loop Canon12 savers
highlights · 1678
evaluate their safety and efficacy
Drug Commercialization Process: From Research to Marketresearchers identify a target molecule, protein, or gene involved in the disease
Drug Commercialization Process: From Research to Marketpromising target for treatment and explore the properties of potential drug candidates
Drug Commercialization Process: From Research to Market"extreme brevity of the financial memory" keeps ma participants from recognizing the recurring na ture of these patterns, and thus their inevitability
you can't predict you can prepareRather, most phenomena turn out to be cyclical.
you can't predict you can prepareReading that, one question you might be asking yourself is: “Won’t Salesforce just respond, do it themselves?”
Rox - Not Boring by Packy McCormickIn fact, 40% of all data in data warehouses is customer data.”
Rox - Not Boring by Packy McCormickThere’s no better teacher than a really smart person who’s dedicated the next decade of their life to working on one particular problem.
Rox - Not Boring by Packy McCormickHowever, I think there’s a lot of intrinsic value in the human experience itself. My co-founder Walden says, “We’ve always lived in Minecraft survival mode, and now we’re going to be living in creative mode.” I think that’s right. We all have desires, things we want to build, ways to express ourselves, ways that we find joy and meaning. We will still want to go do those things. And now we will have AI with us that can solve extremely difficult and powerful problems.
The Wu Tapes: Q&A with Cognition's Scott Wu - ColossusOne concrete example would be that at this point, a decent fraction of all of our Devin sessions—or all of the Devin sessions that our customers run—are not run by humans anymore. They’re run automatically.
The Wu Tapes: Q&A with Cognition's Scott Wu - ColossusIf you’re smart enough to always analyze and adjust and think about what you did wrong and do it better next time, and you’re motivated enough to just do that nonstop, day in and out for several years, I think usually you can get pretty good at any of these other downstream things.
The Wu Tapes: Q&A with Cognition's Scott Wu - ColossusI guess my take on this is that the two qualities that really matter in our fields are intelligence and hunger.
The Wu Tapes: Q&A with Cognition's Scott Wu - ColossusIt just feels like one case of a broader, universal truth.
The Wu Tapes: Q&A with Cognition's Scott Wu - ColossusFrom a very young age I always wanted to beat everybody. It didn’t matter that they were older than me.
The Wu Tapes: Q&A with Cognition's Scott Wu - ColossusI’ve always just really liked logic and the ability to draw things out to their natural conclusions. The cool thing with math is that if you really deeply understand all these things, it all just makes logical sense.
The Wu Tapes: Q&A with Cognition's Scott Wu - ColossusI had always loved math because it’s just so elegant.
The Wu Tapes: Q&A with Cognition's Scott Wu - ColossusI was fully self-propelled.
The Wu Tapes: Q&A with Cognition's Scott Wu - Colossuscollector of rare human butterflies
The Wu Tapes: Q&A with Cognition's Scott Wu - Colossus“making it easy for everyone to build really good software,”
The Wu Tapes: Q&A with Cognition's Scott Wu - Colossusa thirst for competition and
The Wu Tapes: Q&A with Cognition's Scott Wu - ColossusThere was the time Steven Hao, the third Cognition co-founder and former IOI teammate, gave Wu a shortlisted Putnam problem and challenged him to solve it with pen and paper in under two hours, which Wu did by thinking aloud, without touching the pen, in 90 seconds.
The Wu Tapes: Q&A with Cognition's Scott Wu - Colossusentrepreneurs tend to find ways to reach the market with minimum expenditure of resources such as time, effort, and money.
Microsoft Word - What makes entrs entl.docShe could then decide to go into any one of several different businesses contingent upon the ensuing feedback.
Microsoft Word - What makes entrs entl.doceffectual reasoning demands something more – imagination, spontaneity, risk-taking, and salesmanship.
Microsoft Word - What makes entrs entl.docAn example of effectual reasoning would involve a chef who is not given a menu in advance, and is escorted to a strange kitchen where he or she has to explore the cupboards
Microsoft Word - What makes entrs entl.docallows goals to emerge contingently over time from the varied imagination and diverse aspirations of the founders and the people they interact with.
Microsoft Word - What makes entrs entl.docCausal rationality begins with a pre-determined goal and a given set of means, and seeks to identify the optimal – fastest, cheapest, most efficient, etc. – alternative to achieve the given goal.
Microsoft Word - What makes entrs entl.docI have termed this type of rationality “effectual reasoning”.
Microsoft Word - What makes entrs entl.docthe existence of a distinct form of rationality that we have all long recognized intuitively as “entrepreneurial”
Microsoft Word - What makes entrs entl.doccommon elements that entrepreneurs across a wide variety of industries share with each other?
Microsoft Word - What makes entrs entl.docgathering together a coherent theory of entrepreneurial expertise has thus far eluded academics and practitioners alike.
Microsoft Word - What makes entrs entl.docThe compact footprint of the project, in combination with its extraordinary height, has permanently changed the paradigm of economical design of high-rise buildings.
432 Parkwho envisioned the building on the basis of the square, a purist geometric form.
432 ParkThe super-slender structure has 86 residential floors comprising 104 condominium apartments, and stands at 1,396 feet high.
432 ParkThen he went to school. Lemann had built Garantia by studying Goldman Sachs. Sicupira, before taking over Lojas Americanas, had written to 10 of the world’s biggest retailers asking to learn from them. Sam Walton called him back. Now Telles toured Anheuser-Busch, Modelo, and Coors.
Built to Own - ColossusIn the carcass everyone assumed Burger King to be, Behring and Schwartz saw a business that would not die. It kept surviving its owners! And not just surviving. It had become the world’s second-largest hamburger chain.
Built to Own - Colossusnetworking, file system, browser, various software tools. Our AI Agent has been designed and trained to effectively choose and correctly use these tools to help you complete tasks.
Understanding Manus sandbox - your cloud computerfully isolated cloud virtual machine that Manus allocates for each task
Understanding Manus sandbox - your cloud computerisolating LLM-generated code’s execution, preventing it from crashing an environment or breaching other programs
What is an AI code sandbox?The errors can cause a multi-tenant environment to crash, impacting other users. In worst case scenarios, a bad actor can prompt inject an LLM to create an intentional security vulnerability to exploit; for AI agents with long memory, this hack could happen even if the immediate user has good intentions but is oblivious to the agent’s poisoned context.
What is an AI code sandbox?program that would alter the root directory of a running process, blocking it from accessing files outside of the designated file system
What is an AI code sandbox?If you disregard all performance concerns when developing a large system, you will end up with a flat profile where there are no obvious hotspots because performance is lost all over the place. It will be difficult to figure out how to get started on performance improvements.
abseil / Performance HintsAs models like GPT-3 demonstrated astonishing capabilities from large-scale training, the need for ever-increasing "frontier" data surged.
A World of Verifiable DomainsDescribing the job-to-be-done feels inadequate when the product is a genie in a bottle.
How AI evals are changing product managementHow many edits were needed before the user sent the email we drafted?”.
How AI evals are changing product managementThe product spec is now work, not workflows.
How AI evals are changing product managementWhat is the different that leads to better? Plus, greatness is its own aesthetic. It's pleasing to spend time here. There is always something to learn from the 0.001%, even about yourself.
The Exceptional and the Weird — packymbending its efforts toward the innate goodness of its Ontario ingredients
Why David Chang Matters - The New York TimesAlexander's method is more like gardening. The designer accepts more limited control over outcomes in exchange for the generativity and context-sensitivity of an open-ended compositional process.
Design Needs Complexity Theory - by Kasey Klimessimilar to a language in which just a few letters can be combined in many ways to form tens of thousands of words, which can be combined in even more ways to form an infinite number of sentences.3
Design Needs Complexity Theory - by Kasey Klimes