与「LAMB」相关的搜索结果

this is my personal singularity moment this post may sound like a paid ad. I only wish. I'm concerned, more so than happy. the world is changing, and, among the scenarios where AI goes terribly wrong, inequality is the most realistic, yet, the one Anthropic seems to be the least concerned about. I'm glad OpenAI is taking the opposite stance: *personal AGI for everyone*. I think this is a commendable position in the times we live. but who am I in the queue of the bread? anyway, Fable is here, so I'll just report my first-hour experience first of all, all my pet prompts are solved. → λ-calculus puzzles → bug questions → one-shot apps all are trivial to it. I don't have anything harder other than my ongoing work so, in the last several days, I've been toying with HVM5, a new interaction net evaluator with a faster loop. after writing the first version, I left 32 GPT-5 agents working for ~20 hours each. this resulted in up to 2x speedups, but the file size increased by 2-fold and quality decreased significantly. I then simplified the whole thing into an even simpler core, and left Opus 4.8 and GPT 5.5 optimizing it for 8 hours. Opus got a legit 6% - 34% speedup in most benches. GPT got better results, but, sadly, an unusable file. I then asked Fable to optimize it. 2 hours later, it landed a 1770% speedup in one case, 100%+ in other 4, and 22% in average. yes, in 2 hours it outperformed me, opus 4.8 and a swarm of gpt 5.5 agents, by one order of magnitude. that could not possibly be legit. "it must be hardcoding the benchmarks" (GPT trauma). so I read its explanation and what it did was, indeed, the most high impact optimization one could try first. seems like HVM5 was wasting a lot of time garbage-collecting unused branches of pattern-match nodes. I had optimized that for static mats, but not for dynamic mats. skill issue. Fable figured how to do it for these, resulting in a massive speedup in some benches but wait, is that *correct*? I'm not sure yet, it is credible, but this is the kind of thing that is very easy to get wrong on interaction nets. the problem is, when I was ready to start auditing Fable's solution so I could tell whether it was buggy or legit, it interrupted me to tell me it had found a massive bug on the code *I* had written. ... wait, what? so... for garbage collection purposes, I stored a bit on lambda term pointers that meant "the variable bound by this lambda has been freed, so, its lambda must free whatever argument it is applied to". that's fine. yet, on duplicator nodes, I also used the same bit to mean "one of the duplicated variables was freed, so, treat this dup as a passthrough no-op". so, if a lambda entered a duplicator, it would mistake the lambda's collection bit for its own, resulting in corrupted interaction! that's a mouthful, why I'm writing this? just so you can appreciate the sheer absurdity of what just happened. I didn't ask it to find bugs. I asked it for an optimization. and even if I did ask it to find bugs, this bug is so astonishingly subtle and specific, identifying it takes mastering the domain to an extent that it beyond even me. I'd easily need hours or days to fix it, *if* I ever came across it. chances are it would just go unnoticed. and Fable found it and fixed it like it was nothing, while it was busy adding a 17x speedup to a file that neither I, nor Opus 4.8, nor a fleet of GPT 5.5 managed to barely make 2x faster. oh and there is also another tab where it is also ripping through Bend's codebase and finishing everything I had to do I don't know what to say anymore this isn't about Anthropic or OpenAI, this is about our collective future as a species. the world is changing, and we need to be aware of it, and discuss how to handle this change. receipt below . . .

🇺🇸 8 men stole millions in goods by impersonating trucking companies with fake emails, forged placards, and phishing scams before anyone noticed the shipments were gone. 25,000 lbs of cheese, 43,000 lbs of copper, $165,000 in lamb. All intercepted before reaching their destinations and funneled through an NYC black market network tied to organized crime. Supply chain theft has gone fully hybrid: 1 spoofed email address is now enough to redirect an entire freight load. Source: CBS NY - YT

Samsung’s AI chip business is making some employees extremely rich in South Korea. After a new bonus agreement, some Samsung semiconductor workers are expected to receive payouts worth hundreds of thousands of dollars due to massive demand for AI chips. Korean news reports say luxury car dealerships in Seoul, including Ferrari and Lamborghini showrooms, are seeing increased interest from Samsung and SK Hynix chip industry employees.

17 years ago today Kris Allen beat out Adam Lambert to win ‘American Idol’ season 8. The result shocked many viewers. Kris went on to score a hit with the lead single, “Live Like We’re Dying”, from his debut album. Nothing seemed to stick after that. Kris hasn’t released an album in 10 years, though still releases some songs on his Patreon page.

在 Polymarket 这种充满极端事件的市场里，87% 的交易者都在亏钱。 胜负的关键不在于直觉，而在于你是在用“高斯分布”的直觉去应对一个“肥尾”的世界。顶级交易者并不看价格波动，他们在运行三套跨越世纪的数学逻辑： 1. **泊松分布 (Poisson Distribution)**：不要凭感觉定价罕见事件。如果你知道某类事件（如地震、银行倒闭）的历史平均发生率 $\lambda$，就能通过公式计算出在特定周期内发生 $k$ 次的精确概率。 2. **香农熵 (Shannon Entropy)**：利用信息论的逻辑去衡量市场合约中的信息增量与边际优势。 3. **肥尾框架 (Fat-tail Framework)**：识别定价错误的尾部风险。当市场过度定价了“几乎确定”的事件，而忽略了低概率但高影响的“肥尾”事件时，真正的套利空间就在这里。 顶尖量化交易者从不赌运气，他们只在数学模型预示的概率偏差中寻找确定性。 不要用常识去预测极端风险，要用概率分布去捕捉定价偏差。 不构成投资建议。市场相关内容只能作为信息输入，不能替代自己的仓位、风险承受能力和交易计划。

Les vrais génies de l'histoire. 108 milliards d'humains ont vécu sur Terre. La liste ci-dessous en contient ~100. Soit environ 1 sur 1 milliard. C'est ça, le « autre chose » que les gens cherchent quand ils refusent d'admettre que Jobs ou Einstein étaient hors-norme. Une conjonction rarissime de cognition + obsession + timing + courage cognitif + santé mentale juste-assez-stable. Critère retenu : saut non-substituable. Sans cet individu précis, la chose n'arrive pas, ou arrive 30 ans plus tard sous une forme dégradée. J'exclus les agrégateurs (Edison), les opérateurs talentueux (Altman), les copieurs brillants et les figures dont la réputation vient surtout du PR. — PHYSIQUE — Newton — synthèse mécanique + optique + calcul, refonde la science occidentale seul Maxwell — unification électromagnétique, prédit les ondes EM avant qu'on les mesure Einstein — relativités restreinte et générale, photoélectrique, base de la quantique Dirac — équation relativiste de l'électron, prédit l'antimatière par pure beauté mathématique Heisenberg — mécanique matricielle, principe d'incertitude Schrödinger — mécanique ondulatoire Bohr — modèle atomique, interprétation de Copenhague Pauli — principe d'exclusion, postule le neutrino sans preuve Feynman — électrodynamique quantique, diagrammes, refonte pédagogique de la physique Boltzmann — fondations statistiques de la thermodynamique, seul contre tous Planck — quantum d'action, déclenche tout Galilée — méthode expérimentale + héliocentrisme défendu Kepler — lois du mouvement planétaire, abandonne les cercles parfaits par pure honnêteté empirique Faraday — induction, champs, sans formation mathématique Fermi — physique nucléaire théorique ET expérimentale, premier réacteur Landau — quasiment tous les sous-champs de la physique théorique — MATHÉMATIQUES — Euclide — axiomatisation de la géométrie, modèle de toute pensée déductive Archimède — calcul infinitésimal 1800 ans avant Newton Gauss — théorie des nombres, géométrie différentielle, statistiques, le plus polyvalent de l'histoire Euler — productivité et profondeur jamais égalées, fonde des champs entiers Riemann — géométrie qui rendra possible la relativité, hypothèse encore ouverte 170 ans après Galois — théorie des groupes à 19 ans, mort à 20 Cantor — théorie des ensembles, infinis actuels, seul contre l'establishment Gödel — théorèmes d'incomplétude, casse le programme de Hilbert Grothendieck — refonte de la géométrie algébrique, niveau d'abstraction inégalé Ramanujan — autodidacte indien, formules tombées « du ciel » qu'on prouve encore Poincaré — topologie, systèmes dynamiques, chaos avant l'heure Hilbert — formalisation, programme qui domine les maths du 20ème Leibniz — calcul (en parallèle de Newton), logique, monades — INFORMATIQUE / LOGIQUE — Turing — calculabilité, machine universelle, cryptanalyse d'Enigma, morphogenèse Von Neumann — architecture des ordinateurs, théorie des jeux, automates cellulaires Shannon — théorie de l'information, fondation de toute communication numérique Church — lambda-calcul Kolmogorov — fondations des probabilités modernes, complexité algorithmique Dijkstra — fondations de l'algorithmique structurée — BIOLOGIE / MÉDECINE / CHIMIE — Darwin — sélection naturelle, refonte de toute la biologie Mendel — génétique, ignoré 35 ans Pasteur — théorie microbienne, vaccins, refondation de la médecine Watson + Crick + Franklin — structure de l'ADN Mendeleïev — table périodique, prédit des éléments inconnus Lavoisier — refonte de la chimie moderne, méthode quantitative McClintock — éléments génétiques mobiles, ignorée 30 ans — PHILOSOPHIE — Platon — fonde l'idéalisme, tout l'Occident en discute encore 2400 ans après Aristote — fonde la logique, la biologie, la métaphysique, l'éthique, en parallèle Kant — refonte de la métaphysique post-Hume, synthèse critique Nietzsche — généalogie de la morale, mort de Dieu, transvaluation Wittgenstein — refonte deux fois de la philo du langage, seul Hegel — dialectique, philosophie de l'histoire Spinoza — Éthique géométrique, expulsé pour son courage cognitif Hume — empirisme radical, réveille Kant Descartes — cogito, géométrie analytique Heidegger — refonte de l'ontologie — ÉCONOMIE / SCIENCES SOCIALES — Adam Smith — fondation de l'économie moderne Hayek — connaissance dispersée, ordre spontané, prix comme signal Mises — calcul économique, action humaine Keynes — refonte macro (qu'on aime ou pas, le saut est réel) Schumpeter — destruction créatrice, entrepreneur comme moteur Girard — désir mimétique, bouc émissaire, refonte de l'anthropologie Weber — éthique protestante, sociologie de la rationalisation — MUSIQUE — Bach — architecture contrapuntique inégalée Mozart — synthèse mélodique et structurelle, mort à 35 ans avec 600 œuvres Beethoven — refonte de la forme symphonique, pont classique/romantique Wagner — refonte de l'opéra, harmonie qui ouvre la modernité Stravinsky — refonte du rythme, Sacre du Printemps comme rupture Schoenberg — atonalité, dodécaphonisme — PEINTURE / LITTÉRATURE — Léonard de Vinci — peinture + ingénierie + anatomie Michel-Ange — sculpture + peinture + architecture, au sommet de chaque Picasso — cubisme, refonte du regard pictural Cézanne — pont vers la modernité, structure géométrique du visible Dostoïevski — psychologie du sous-sol, profondeur métaphysique Tolstoï — synthèse romanesque inégalée Shakespeare — refonte de la langue anglaise et du théâtre Dante — Commedia, fonde l'italien littéraire Homère — fondation de toute la littérature occidentale Proust — refonte du temps romanesque Kafka — anticipe le 20ème siècle bureaucratique Borges — refonte du conte philosophique — INGÉNIERIE / TECH — Tesla — courant alternatif, moteur induction, fondations de l'électrotech moderne. Vrai génie, scammé par Edison Frères Wright — vol motorisé, contrefactuel solide Shockley + Bardeen + Brattain — transistor Noyce + Kilby — circuit intégré Engelbart — souris, hypertexte, visioconférence dans une seule démo en 1968 Berners-Lee — Web, donné gratuitement Linus Torvalds — Linux + Git, deux infrastructures civilisationnelles, seul au début John Carmack — moteurs 3D temps réel, refonte du jeu vidéo — ENTREPRENEURS (critère strict) — Jobs — synthèse design/produit/écosystème non-substituable Musk — SpaceX seul justifie l'inclusion : NASA avait abandonné le réutilisable. Tesla a forcé la transition EV mondiale Bezos — AWS spécifiquement, pas le e-commerce (qui arrivait quand même) Walt Disney — synthèse animation + parc + IP, modèle qu'on copie encore Henry Ford — chaîne de production Rockefeller — intégration verticale poussée à un niveau jamais vu — EXCLUSIONS VOLONTAIRES — Edison — agrégateur, marketeur, voleur de brevets Sam Altman — opérateur talentueux, pas inventeur. Le saut technique c'est Sutskever, Radford, l'équipe DeepMind avant Zuckerberg — exécution brillante mais Facebook arrivait quand même Gates — bon stratège, OS arrivait de toute façon Hewlett / Packard — grands constructeurs, pas génies au sens fort — LE PATTERN — ~100 noms. 2500 ans d'histoire. Un génie non-substituable tous les 25 ans en moyenne, tous domaines confondus. Sur 108 milliards d'humains ayant jamais vécu : ratio ≈ 1 pour 1 milliard. C'est l'empirique qui désarme définitivement le « biais du survivant ». Ce n'est pas que les génies sont rares. C'est qu'ils sont rarissimes — et que le monde avance malgré tout à coup de ces gens-là.

15 years ago today Blake Shelton and Miranda Lambert got married. They went on to separate 4 years later, with Blake announcing his relationship with Gwen Stefani just months after the separation.