Prisma | Simplify working and interacting with databases
Build,fortify,andgrowyourapplicationeasilywithanintuitivedatamodel,type-safety,automatedmigrations,connectionpooling,caching,andreal-timedatabasesubscriptions.
Swift.org - Welcome to Swift.org
Swiftisageneral-purposeprogramminglanguagebuiltusingamodernapproachtosafety,performance,andsoftwaredesignpatterns.
jsoup: Java HTML parser, built for HTML editing, cleaning, scraping, and XSS safety
OpensourceJavaHTMLparser,withthebestofHTML5DOMmethodsandCSSselectors,foreasydataextraction.
Embedded OS, Support, and Services | BlackBerry QNX
BlackBerryQNXoffersabroadrangeofsafety-certifiedandsecuresoftwareproducts,complementedbyworld-classengineeringservices,tohelpembeddeddevelopersincreasereliability,shortentime-to-marketandreducedevelopmentcost.
PVS‑Studio is a solution to enhance code quality, security (SAST), and safety
AstaticanalyzerforC,C++,C#,andJavacode.WorksonWindows,Linux,andmacOS.Analyzescodefor32-bit,64-bit,andARMembeddedplatforms.
Bridgestone Global Website
BridgestoneCorporationistheworld
DeepMind Safety Research – Medium
ReadwritingfromDeepMindSafetyResearchonMedium.WeresearchandbuildsafeAIsystemsthatlearnhowtosolveproblemsandadvancescientificdiscoveryforall.Exploreourwork:deepmind.com.
Owain Evans, AI Alignment researcher
OwainEvansisanAIAlignmentresearcherleadinganewresearchgroupinBerkeleyandaffiliatedwithOxfordUniversity.
Discoverhispublications,blogposts,andcollaborativeopportunitiesonAIalignment,AGIrisk,andrelatedtopics.