TechiSeek

AddAdd your Listings

Research

Formalizing Fermat's Last Theorem

Anthropic

Anthropic is an AI safety and research company that's working to build reliable, interpretable, and steerable AI systems.

Visit Site

Research Anthropic

ResearchConstitutional Classifiers: Defending against universal jailbreaksAnthropic ResearchAuditing language models for hidden objectivesAnthropic ResearchEnabling independent research on how people use ClaudeAnthropic ResearchProject Swap: What happens when agents trade for us?Anthropic ResearchForecasting rare language model behaviorsAnthropic ResearchDisempowerment patterns in real-world AI usageAnthropic NewsThe New York Times' Op-Eds from the FutureThenewstack BlogsFirst Block with Notion Co-Founders Ivan Zhao and Simon LastNotion So BlogsContainerized Python Development - Part 3Docker Products & ServicesNew in GitBook: Better block manipulation and the GitBook LibraryGitbook BlogsLogbook: October 21 to 28, 2022Fly BlogsFewer Ideas: An Unconventional Approach To CreativitySmashingmagazine BlogsMore powerful Go execution traces - The Go Programming LanguageGo BlogsSecuring CI/CD for an open source project: Controlling who runs whatCncf Products & ServicesNew in GitBook: Better insights, customizations, editor improvements and moreGitbook Products & ServicesHere’s everything we announced last weekGitbook Products & ServicesAutomating Documentation with GitBook + n8nGitbook BlogsThe Next Step for Generics - The Go Programming LanguageGo ResearchReasoning models don't always say what they thinkAnthropic BlogsIngress NGINX retirement: Experience from end usersCncf