Tag: schema

  • Simon Willison’s Weblog: smartfunc

    Source URL: https://simonwillison.net/2025/Apr/3/smartfunc/ Source: Simon Willison’s Weblog Title: smartfunc Feedly Summary: smartfunc Vincent D. Warmerdam built this ingenious wrapper around my LLM Python library which lets you build LLM wrapper functions using a decorator and a docstring: from smartfunc import backend @backend(“gpt-4o") def generate_summary(text: str): """Generate a summary of the following text: """ pass summary…

  • Hacker News: Agentic AI Needs Its TCP/IP Moment

    Source URL: https://www.anup.io/p/architecting-the-internet-of-agents Source: Hacker News Title: Agentic AI Needs Its TCP/IP Moment Feedly Summary: Comments AI Summary and Description: Yes Summary: The text discusses the urgent need for interoperable protocols in the field of Agentic AI to facilitate collaborative capabilities among AI agents and overcome fragmentation within the ecosystem. It highlights critical dimensions for…

  • The Cloudflare Blog: Cloudflare named a leader in Web Application Firewall Solutions in 2025 Forrester report

    Source URL: https://blog.cloudflare.com/cloudflare-named-leader-waf-forrester-2025/ Source: The Cloudflare Blog Title: Cloudflare named a leader in Web Application Firewall Solutions in 2025 Forrester report Feedly Summary: Forrester Research has recognized Cloudflare as a Leader in its The Forrester Wave™: Web Application Firewall Solutions, Q1 2025 report. AI Summary and Description: Yes Summary: The text discusses Forrester Research’s recognition…

  • Simon Willison’s Weblog: Function calling with Gemma

    Source URL: https://simonwillison.net/2025/Mar/26/function-calling-with-gemma/#atom-everything Source: Simon Willison’s Weblog Title: Function calling with Gemma Feedly Summary: Function calling with Gemma Google’s Gemma 3 model (the 27B variant is particularly capable, I’ve been trying it out via Ollama) supports function calling exclusively through prompt engineering. The official documentation describes two recommended prompts – both of them suggest that…

  • Simon Willison’s Weblog: Putting Gemini 2.5 Pro through its paces

    Source URL: https://simonwillison.net/2025/Mar/25/gemini/ Source: Simon Willison’s Weblog Title: Putting Gemini 2.5 Pro through its paces Feedly Summary: There’s a new release from Google Gemini this morning: the first in the Gemini 2.5 series. Google call it “a thinking model, designed to tackle increasingly complex problems". It’s already sat at the top of the LM Arena…

  • Hacker News: Show HN: Formal Verification for Machine Learning Models Using Lean 4

    Source URL: https://github.com/fraware/leanverifier Source: Hacker News Title: Show HN: Formal Verification for Machine Learning Models Using Lean 4 Feedly Summary: Comments AI Summary and Description: Yes Summary: The project focuses on the formal verification of machine learning models using the Lean 4 framework, targeting aspects like robustness, fairness, and interpretability. This framework is particularly relevant…