Mechanize is a software company that builds RL environments and sells them to the leading AI labs.
driaforall/mem-agent · Hugging Face
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
AI agents team up in Agent Laboratory to speed scientific research
Johns Hopkins University and AMD have developed Agent Laboratory, a new open-source framework that pairs human creativity with AI-powered workflows.
The mythical matched modules | Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Certified compilers are complex software systems. Like other large systems, they demand modular, extensible designs. While there has been progress in extensible metatheory mechanization, scaling extensibility and reuse to meet the demands of full ...
A product modeling platform for AI-built software
The first version is magic. Auto turns product intent into a durable model your agent can build from as the product evolves.
Memex AI Journal App — Open Source, Local-First, iOS & Android
Official Memex site. Download the open-source, local-first AI journal for iOS and Android, view the GitHub source, and organize text, photos, and voice with AI.
24/7 - Chats | Igalia - Open Source Consulting and Development
Igalia is an open source consulting firm specialised in the development of innovative projects and solutions. Our engineers have expertise in a wide range of technological areas, including browsers and client-side web technologies, graphics pipeline, compilers and virtual machines. We have the most WPE, WebKit, Chromium/Blink and Firefox expertise found in the consulting business, including many reviewers and committers. Igalia designs, develops, customises and optimises GNU/Linux-based solutions for companies across the globe. Our work and contributions are present in many projects such as GStreamer, Mesa 3D, WebKit, Chromium, etc.
Anthropic has acquired the dev tools startup used by OpenAI, Google, and Cloudflare | TechCrunch
Stainless, a New York-based startup, founded in 2022, rose to prominence in the emerging AI industry for automating the creation and maintenance of software development kits, or SDKs — the libraries developers use to interact with APIs.
MemGPT: Towards LLMs as Operating Systems
Letta is the platform for building stateful agents: AI with advanced memory that can learn and self-improve over time.
A Meta AI security researcher said an OpenClaw agent ran amok on her inbox | TechCrunch
The viral X post from an AI security researcher reads like satire. But it's really a word of warning about what can go wrong when handing tasks to an AI agent.
Self-driving infrastructure
At Vercel, we’re building self-driving infrastructure, a system that autonomously manages production operations, improves application code using real-world insights, and learns from the unpredictable nature of production itself.
Announcing the 16th Web Engines Hackfest | Igalia
Igalia is an open source consulting firm specialised in the development of innovative projects and solutions. Our engineers have expertise in a wide range of technological areas, including browsers and client-side web technologies, graphics pipeline, compilers and virtual machines. We have the most WPE, WebKit, Chromium/Blink and Firefox expertise found in the consulting business, including many reviewers and committers. Igalia designs, develops, customises and optimises GNU/Linux-based solutions for companies across the globe. Our work and contributions are present in many projects such as GStreamer, Mesa 3D, WebKit, Chromium, etc.
Every tech product right now.
2.9K votes, 59 comments. 36M subscribers in the memes community. Memes! A way of describing cultural information being shared. An element of a…
syke/docs/MEMEX_EVOLUTION.md at main · saxenauts/syke
ambient memory agent, your machine's psyche. Contribute to saxenauts/syke development by creating an account on GitHub.
Codex | AI Coding Partner from OpenAI
The best way to build with agents. Codex accelerates real engineering work, from planning and building features to refactors, reviews, and releases—working seamlessly across your tools.
How to fully automate software engineering
Current AI coding tools assist but don't fully automate software engineering. Better RL environments are what's missing.