I wanted to see if AI could code me a complex app.
Not a crappy little one-off script. A real program.
Just one little problem: I mostly suck at coding.
So can AI make magic for someone like me?
Yeah. But...it's... See more
Cody now has a mechanism for pulling in context from *outside* the codebase!
Introducing OpenCtx, a protocol for providing relevant technical context to humans and AI. This builds on Sourcegraph's foundation as the world's best code search and connects our code graph to entities like issues, designs, technical docs,... See more
A single fairly unknown Dutch company makes maybe the most expensive and complex non-military device ($200M) that builds on 40 years of Physics and has a monopoly responsible for all AI advancement today.
Here's the story of ASML, the company powering Moore's Law..
1/9... See more
Proposing Ctrl-G, a neurosymbolic framework that enables arbitrary LLMs to follow logical constraints (length control, infilling …) with 100% guarantees.
Ctrl-G beats GPT4 on the task of text editing by >30% higher satisfaction rate in human eval.
https://t.co/U6oz3bc935
Instead of treating AGI as a binary threshold, I prefer to treat it as a continuous spectrum defined by comparison to time-limited humans.
I call a system a t-AGI if, on most cognitive tasks, it beats most human experts who are given time t to perform the task.
More details:
Zapier Central’s Chrome Extension is live.
You can now take your personal AI assistants anywhere on the Internet.
Chat with any web page, summarize and transform content and take action in 6,000+ apps like Google Sheets, Slack and Shopify—all without leaving your current tab... See more