This is exactly what we did with https://
leandojo.org and Lean co-pilot. check it out!
AUTOMATION
-
LeanDojo and Lean Co-pilot: AI-Powered Proof Assistant
By
–
-
GPT-4o Release: Zapier Lags Behind While Make Leads
By
–
GPT-4o came out today. @zapier chatbots still hasn't enabled GPT-4-Turbo which was released ~6 months ago in December. But in a complete reversal, the previously behind Make(dot)com actually has GPT-4o support on Day 1.
-
Autonomous agents making calls to complete tasks autonomously
By
–
Si le sumamos a lo visto hoy la noción de agentes autónomos, podríamos esperar en algún momento algo como esto. Podemos enviar al chat a hacer llamadas en nuestro nombre para resolver ciertas tareas.
-
ChatGPT 4o reads the screen in real time
By
–
The just-announced ChatGPT (GPT-4o) desktop app can read your screen in real-time. One step closer to autonomous agents.
-
Agents 2.0 Framework Released with High Performance Benchmarks
By
–
Agents 2.0 is out, and it's already the best-performing framework using an open model 🙌
— m_ric (@AymericRoucher) 13 mai 2024
✨ Simpler: prompt, tools, and attributes are accessible
🧩 Modular: use any LLM. Llama-3-70B-Instruct is 🔥
💪 Performant w/ React Agents
Top 1 of open models on GAIA, top 4 overall. pic.twitter.com/pzbVmuXysMAgents 2.0 is out, and it's already the best-performing framework using an open model Simpler: prompt, tools, and attributes are accessible Modular: use any LLM. Llama-3-70B-Instruct is Performant w/ React Agents Top 1 of open models on GAIA, top 4 overall.
-
LiDAR Technology in ADAS: KITTI Depth Frames Code Walkthrough
By
–
🎥 New Video Alert 🎥https://t.co/fqh1s4DNy5
— Satya Mallick (@LearnOpenCV) 13 mai 2024
Check out our latest video where we explore the remarkable capabilities of LiDAR technology in Automatic Driver Assistance Systems (ADAS). We will guide you through a comprehensive code walkthrough using the 2D KITTI Depth Frames… pic.twitter.com/o7dC0pat44New Alert https://
youtube.com/watch?v=yXf2bJ
8pv5A
… Check out our latest video where we explore the remarkable capabilities of LiDAR technology in Automatic Driver Assistance Systems (ADAS). We will guide you through a comprehensive code walkthrough using the 2D KITTI Depth Frames -
Prioritizing Human Connection Over Technological Automation
By
–
This! More human and not less. More connection with other humans, not less. Been thinking along the same lines.
-
OpenAI’s Reveal and Latest AI Tools Announcements Today
By
–
Top stories in AI today: -Rumor mill: OpenAI’s Monday reveal
-Anthropic’s new tool automates prompting
-How to create realistic AI avatar videos
-MIT studies AI deception capabilities
-6 new AI tools & 4 new AI jobs Read more: http://
therundown.ai/p/openais-big-
reveal
… -
SQL, game changer for generating complex queries
By
–
exactement ! et le game changer c'est le sql. Je dump le model de ma bdd , et je lui dis fait moi une query pour "…." qui parfois requiert des dizaines de colones avec des filtres, jointures etc… et il te pond une requête magnifique. pic.twitter.com/R8T7kB6CZD
— Defend Intelligence (Anis Ayari) (@DFintelligence) 13 mai 2024Exactly! And the game changer is SQL. I dump my database model, and I tell it to make me a query for '….' which sometimes requires dozens of columns with filters, joins, etc… and it produces a magnificent query.
-
Correcting ChatGPT: 50% of development work
By
–
50% of my dev work now consists of 'just' correcting ChatGPT, pointing out its errors, and improving the code it proposes. Coding has become so comfortable. What a wonderful time to be replaced in code-spitting tasks.