Skip to content
The Nexus
DossierENTITY

AI projects

Coverage of AI projects in the Nexus archive.

Earliest in view: Apr 22 · 09:15 UTCMost recent: Jul 29 · 02:22 UTC
Co-mentioned in this coverage
Google Zanzibarorganization1Lean4technology1Datalogtopic1Gittechnology1UK governmentorganization1UK firmsorganization1local energy pricestopic1sovereign creatorstopic1offshoringtopic1economic growthtopic1
Recent coverage
  • TECHNOLOGYJul 29 · 02:22 UTCHACKER NEWS
    Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects

    A new domain-specific language (DSL) based on Google Zanzibar's datalog language has been developed for use with Lean4 and other languages. It enables constructing, storing, and evaluating knowledge bases for AI projects, with version control via Git and without relying on external infrastructure.

  • BUSINESSApr 22 · 09:15 UTCTHE REGISTER
    Forget call centers, local energy prices mean Britain's latest offshoring wave is AI projects

    British firms are moving AI workloads abroad due to high energy costs, alarming the government which relies on AI for economic growth. One in five UK companies has already offshored AI projects, highlighting concerns over the UK's competitiveness in tech innovation.