β¨ Discover this must-read post from Hacker News π π Category: π Main takeaway: Other vegetables have a very unique effect on our smell. The asparagus plant produces a compound called the asparagusic acid and, when it's digested by your body, it releases sulphur compounds too. It's these chemicals, such as methanethiol and dimethyl sulphide, that make your sweat and your pee smell a certain way. Sulphur compounds are very volatile, so they easily disperse in the air. That's why they're so easy to smell from the toilet bowl. This smell usually lasts more than five hours.Not everybody produces this…
π₯ Explore this must-read post from Hacker News π π Category: π‘ Hereβs what youβll learn: FurtherAI (Series A, a16z + YC) is hiring Software Engineers, AI Engineers, and Forward-Deployed Engineers.We're building AI Agents for the insurance industry and are already post-PMF with strong enterprise adoption.Highlights:- $25M Series A led by Andreessen Horowitz (a16z) - > 10Γ revenue growth this year - Seed -> Series A in under a year - Small, talent-dense team - 6/15 are founders (incl. 4 YC founders) - Team backgrounds include staff engineers and researchers from Apple, Microsoft, AmazonLooking for strong engineers based in SF…
β¨ Explore this insightful post from Hacker News π π Category: β
Main takeaway: Chris BaraniukTechnology ReporterAFP via Getty ImagesDiesel locomotives are being replaced with electric modelsEvery day, thousands of passengers heading south west on trains leaving Aldershot station pass a cluster of solar panels nestled by the tracks. Few, if any, may notice the installation. But the train they are on is drawing power from it."On a sunny afternoon, if you are catching a train through Aldershot, a little bit of the energy for that train will come from those solar panels," says Leo Murray, co-founder and chief executive…
π₯ Discover this must-read post from Hacker News π π Category: π‘ Key idea: LISP-NOTES ON ITS PAST AND FUTURE-1980 Next: Introduction John McCarthy Computer Science Department Stanford University Stanford, CA 94305 jmc@cs.stanford.edu http://www-formal.stanford.edu/jmc/ JanFebMarAprMayJun JulAugSepOctNovDec , :< 10 0 Abstract: LISP has survived for 21 years because it is an approximate local optimum in the space of programming languages. However, it has accumulated some barnacles that should be scraped off, and some long-standing opportunities for improvement have been neglected. It would benefit from some co-operative maintenance especially in creating and maintaining program libraries. Computer checked proofs of program correctness…
π₯ Discover this awesome post from Hacker News π π Category: β
Hereβs what youβll learn: Sign up for the daily CJR newsletter. In May 2024, Daniel Ojukwu, a twenty-six-year-old reporter for the Foundation for Investigative Journalism, a Nigerian nonprofit, was grabbed off the streets of Lagos by armed police and bundled into a vehicle. For the next several days, he was held in a cell incommunicadoβfirst in Lagos, and later in the federal capital, Abujaβwithout being told exactly what heβd been arrested for. βIt was more of an abduction,β Ojukwu recalled recently, via WhatsApp. Finally, on the fourth day,…
π₯ Discover this awesome post from Hacker News π π Category: π‘ Key idea: People rant about having to learn algorithmic questions for interviews. I get it β interview system is broken, but you ought to learn binary search at least. Anyways, yet again I came across a real life application of Algorithms. This time in the OG tool git. git bisect - Use binary search to find the commit that introduced a bug ref. And Leetcode wanted you to know it First Bad Version We use a monorepo at work. And people tend to make hundreds, if not thousands,…
π₯ Explore this insightful post from Hacker News π π Category: π Key idea: Starting this month, parking lots in South Korea with more than 80 spaces will be required to install solar canopies and carports. But, unlike similar laws that have been proposed in the US, this new law doesnβt just apply to new construction βΒ existing lots will have to comply as well! South Koreaβs Ministry of Trade, Industry and Energy announced in August that it has prepared an amendment to the Enforcement Decree of the Act on the Promotion of the Development, Use, and Diffusion of New and…
π Check out this awesome post from Hacker News π π Category: π Key idea: ACM Classic: Reflections on Trusting Trust Reflections on Trusting TrustKen Thompson Reprinted from Communication of the ACM, Vol. 27, No. 8, August 1984, pp. 761-763. Copyright Β© 1984, Association for Computing Machinery, Inc. Also appears in ACM Turing Award Lectures: The First Twenty Years 1965-1985 Copyright Β© 1987 by the ACM press and Computers Under Attack: Intruders, Worms, and Viruses Copyright Β© 1990 by the ACM press. I copied this page from the ACM, in fear that it would someday turn stale. Introduction I thank…
π₯ Check out this insightful post from Hacker News π π Category: β
Key idea: GITHUB HUGGINGFACE MODELSCOPE SHOWCASEFrom Chatbot to Autonomous Agent#WeΒ areΒ proudΒ toΒ presentΒ TongyiΒ DeepResearch,Β theΒ firstΒ fullyΒ openβsourceΒ WebΒ AgentΒ toΒ achieveΒ performanceΒ onΒ parΒ withΒ OpenAIβsΒ DeepResearchΒ acrossΒ aΒ comprehensiveΒ suiteΒ ofΒ benchmarks.Β TongyiΒ DeepResearchΒ demonstratesΒ stateβofβtheβartΒ results,Β scoringΒ 32.9Β onΒ theΒ academicΒ reasoningΒ taskΒ HumanityβsΒ LastΒ ExamΒ (HLE),Β 43.4Β onΒ BrowseCompΒ andΒ 46.7Β onΒ BrowseCompβZHΒ inΒ extremelyΒ complexΒ informationβseekingΒ tasks,Β andΒ achievingΒ aΒ scoreΒ ofΒ 75Β onΒ theΒ userβcentricΒ xbenchβDeepSearchΒ benchmark,Β systematicallyΒ outperformingΒ allΒ existingΒ proprietaryΒ andΒ openβsourceΒ DeepΒ ResearchΒ agents.BeyondΒ theΒ model,Β weΒ shareΒ aΒ completeΒ andΒ battleβtestedΒ methodologyΒ forΒ creatingΒ suchΒ advancedΒ agents.Β OurΒ contributionΒ detailsΒ aΒ novelΒ dataΒ synthesisΒ solutionΒ appliedΒ acrossΒ theΒ entireΒ trainingΒ pipeline,Β fromΒ AgenticΒ ContinualΒ PreβtrainingΒ (CPT)Β andΒ SupervisedΒ FineβTuningΒ (SFT)Β forΒ coldβstarting,Β toΒ theΒ finalΒ ReinforcementΒ LearningΒ (RL)Β stage.Β Β ForΒ RL,Β weΒ provideΒ aΒ fullβstackΒ solution,Β includingΒ algorithmicΒ innovations,Β automatedΒ dataΒ curation,Β andΒ robustΒ infrastructure.Β ForΒ inference,Β theΒ vanillaΒ ReActΒ frameworkΒ showcasesΒ theΒ modelβsΒ powerfulΒ intrinsicΒ capabilitiesΒ withoutΒ anyΒ promptΒ engineering,Β whileΒ theΒ advancedΒ HeavyΒ ModeΒ (testβtimeβscaling)Β demonstratesΒ theΒ upperΒ limitsΒ ofΒ itsΒ complexΒ reasoningΒ andΒ planningΒ potential.ContinualΒ PreβtrainingΒ andΒ PostβtrainingΒ EmpoweredΒ byΒ FullyΒ SyntheticΒ Data#ContinualΒ PreβtrainingΒ Data#WeΒ introduceΒ AgenticΒ CPTΒ toΒ deepΒ researchΒ agentΒ training,Β creatingΒ powerfulΒ agenticΒ foundationΒ modelsΒ forΒ postβtraining.Β WeΒ proposeΒ AgentFounder,Β aΒ systematicΒ andΒ scalableΒ solutionΒ forΒ largeβscaleΒ dataΒ synthesisΒ thatΒ createsΒ aΒ dataΒ flywheelΒ withΒ dataΒ fromΒ theΒ postβtrainingΒ pipeline.DataΒ ReorganizationΒ andΒ QuestionΒ Construction.Β WeΒ continuouslyΒ collectΒ dataΒ fromΒ variousΒ sources,Β includingΒ documents,Β publiclyΒ availableΒ crawledΒ data,Β knowledgeΒ graphs,Β andΒ historicalΒ trajectoriesΒ andΒ toolΒ invocationΒ recordsΒ (e.g.,Β searchΒ resultsΒ withΒ links).Β AsΒ shownΒ inΒ theΒ figure,Β theseΒ diverseΒ dataΒ sourcesΒ areΒ restructuredΒ intoΒ anΒ entityβanchoredΒ openβworldΒ knowledgeΒ memory.Β BasedΒ onΒ randomlyΒ sampledΒ entitiesΒ andΒ theirΒ correspondingΒ knowledge,Β weΒ generateΒ multiβstyleΒ (question,answer)Β pairs.ActionΒ Synthesis.Β Β BasedΒ onΒ diverseΒ problemsΒ andΒ historicalΒ trajectories,Β weΒ constructΒ firstβorderΒ actionΒ synthesisΒ dataΒ andΒ higherβorderΒ actionΒ synthesisΒ data.Β OurΒ methodΒ enablesΒ largeβscaleΒ andΒ comprehensiveΒ explorationΒ ofΒ theΒ potentialΒ reasoningβactionΒ spaceΒ withinΒ offlineΒ environments,Β therebyΒ therebyΒ eliminatingΒ theΒ needΒ forΒ additionalΒ commercialΒ toolΒ APIΒ calls.Β Specifically,Β forΒ theΒ higherβorderΒ actionΒ synthesis,Β weΒ remodelΒ trajectoriesΒ asΒ multiβstepΒ decisionβmakingΒ processesΒ toΒ enhanceΒ theΒ modelβsΒ decisionβmakingΒ capabilities.Post-trainingΒ Data#High-qualityΒ syntheticΒ QAΒ pairsWeΒ developΒ anΒ endβtoβendΒ solutionΒ forΒ syntheticΒ dataΒ generation.Β ThisΒ fullyΒ automatedΒ processΒ requiresΒ noΒ humanΒ interventionΒ toΒ constructΒ superβhumanΒ qualityΒ datasets,Β designedΒ toΒ pushΒ theΒ boundariesΒ ofΒ AIΒ agentΒ performance.Β ThroughΒ longβtermΒ explorationΒ andΒ iterationβfromΒ earlyΒ methodsΒ likeΒ reverseβengineeringΒ QAΒ pairsΒ fromΒ clickstreamsΒ (WebWalker)Β toΒ theΒ moreΒ systematicΒ graphβbasedΒ synthesisΒ (WebSailorΒ andΒ WebSailorβV2),Β thenΒ theΒ formalizedΒ taskΒ modelingΒ (WebShaper)βourΒ approachΒ ensuresΒ bothΒ exceptionalΒ dataΒ qualityΒ andΒ massiveΒ scalability,Β breakingΒ throughΒ theΒ upperΒ limitsΒ ofΒ modelΒ capabilities.ToΒ addressΒ complex,Β highβuncertaintyΒ questions,Β weΒ synthesizeΒ webβbasedΒ QAΒ dataΒ throughΒ aΒ novelΒ pipeline.Β TheΒ processΒ beginsΒ byΒ constructingΒ aΒ highlyΒ interconnectedΒ knowledgeΒ graphΒ viaΒ randomΒ walksΒ andΒ isomorphicΒ tablesΒ towardsΒ tabularΒ dataΒ fusionΒ fromΒ realβworldΒ websitesΒ ,Β ensuringΒ aΒ realisticΒ informationΒ structure.Β WeΒ thenΒ sampleΒ subgraphsΒ andΒ subtablesΒ toΒ generateΒ initialΒ questionsΒ andΒ answers.Β TheΒ crucialΒ stepΒ involvesΒ intentionallyΒ increasingΒ difficultyΒ byΒ strategicallyΒ obfuscatingΒ orΒ blurringΒ informationΒ withinΒ theΒ question.Β ThisΒ practicalΒ approachΒ isΒ groundedΒ inΒ aΒ completeΒ theoreticalΒ framework,Β whereΒ weΒ formallyΒ modelΒ QAΒ difficultyΒ asΒ aΒ seriesΒ ofΒ controllableΒ βatomicΒ operationsβΒ (e.g.,Β mergingΒ entitiesΒ withΒ similarΒ attributes)Β onΒ entityΒ relationships,Β allowingΒ usΒ toΒ systematicallyΒ increaseΒ complexity.ToΒ furtherΒ reduceΒ inconsistenciesΒ betweenΒ theΒ organizedΒ informationΒ structureΒ andΒ theΒ reasoningΒ structureΒ ofΒ QA,Β enableΒ moreΒ controllableΒ difficultyΒ andΒ structureΒ scalingΒ ofΒ reasoning,Β weΒ proposedΒ aΒ formalΒ modelingΒ ofΒ theΒ informationβseekingΒ problemΒ basedΒ onΒ setΒ theory.Β WithΒ thisΒ formalization,Β weΒ developedΒ agentsΒ thatΒ expandsΒ theΒ problemΒ inΒ aΒ controlledΒ manner,Β andΒ minimizesΒ reasoningΒ shortcutsΒ andΒ structuralΒ redundancy,Β leadingΒ toΒ furtherΒ improvedΒ QAΒ quality.Β Moreover,Β thisΒ formalΒ modelingΒ alsoΒ allowsΒ forΒ efficientΒ verificationΒ ofΒ QAΒ correctness,Β effectivelyΒ addressingΒ theΒ challengeΒ ofΒ validatingΒ syntheticΒ informationβseekingΒ dataΒ forΒ postβtraining.Furthermore,Β weΒ haveΒ developedΒ anΒ automatedΒ dataΒ engineΒ toΒ scaleΒ upΒ theΒ creationΒ ofΒ PhDβlevelΒ researchΒ questions.Β ThisΒ engineΒ beginsΒ withΒ aΒ multiβdisciplinaryΒ knowledgeΒ base,Β generatingΒ βseedβΒ QAΒ pairsΒ thatΒ requireΒ multiβsourceΒ reasoning.Β EachΒ seedΒ thenΒ entersΒ aΒ selfβguidedΒ loopΒ ofΒ βiterativeΒ complexityΒ upgradesβ,Β whereΒ aΒ questionβcraftingΒ agentΒ isΒ equippedΒ withΒ aΒ powerfulΒ toolsetΒ includingΒ webΒ search,Β academicΒ retrieval,Β andΒ aΒ PythonΒ executionΒ environment.Β InΒ eachΒ iteration,Β theΒ agentΒ expandsΒ knowledgeΒ boundaries,Β deepensΒ conceptualΒ abstraction,Β andΒ evenΒ constructsΒ computationalΒ tasks,Β creatingΒ aΒ virtuousΒ cycleΒ whereΒ theΒ outputΒ ofΒ oneΒ roundΒ becomesΒ theΒ moreΒ complexΒ inputΒ forΒ theΒ next,Β ensuringΒ aΒ controllableΒ andΒ systematicΒ escalationΒ ofΒ taskΒ difficulty.Unleashing Agent Capabilities with Diverse Reasoning PatternTo bootstrap the modelβs initial capabilities, we constructed a set of trajectories via rejection sampling, based on the ReAct and IterResearch frameworks (for details, see below). On one hand, ReAct, as a classic and foundational multi-turn reasoning format, instills rich reasoning behaviors and reinforces the modelβs ability to adhere to structured formats.On the other hand, we introduce IterResearch, an innovative agent paradigm (detailed below). It unleashes the modelβs full reasoning potential by…
π₯ Discover this insightful post from Hacker News π π Category: β
Hereβs what youβll learn: Many British consumers pay for 100% renewable electricity. But how much are they actually getting? The power sector has a dedicated system to track the generation and consumption of renewable power, and suppliers use it to back their green energy claims. But there's a problem. The rules allow suppliers to claim that summer power from solar farms is being used to cover winter evening power that came from gas plants. Your heating at 6pm in January? Almost certainly powered by fossil fuels, no matter…
