LFM2-24B-A2B: Scaling Up the LFM2 Architecture(liquid.ai)

52 points by nateb2022 5 months ago | 12 comments

Liquid AI reveals 8B-A1B MoE trained on 38T(liquid.ai)

227 points by simjnd 4 months ago | 86 comments

Reducing Doom Loops with Final Token Preference Optimization(liquid.ai)

24 points by dataminer 3 months ago | 5 comments

Liquid Foundation Models: Our First Series of Generative AI Models(liquid.ai)

164 points by jasondavies 2 years ago | 130 comments

Llamafile for Meltemi: The First LLM for Greek(tselai.com)

42 points by fforflo 2 years ago | 17 comments

Java 21 VirtualThreads vs. Clojure Lazy Seqs(clojure.org)

197 points by grzm 3 years ago | 121 comments

Agent-Skills.market(agent-skills.market)

7 points by agentsmithvl 7 days ago | 3 comments

Agent Skills is a searchable directory of 256 AI agent skills for non-developers and developers, with categories and skill submissions.

I let an AI run my startup for a week(daily.tinyprojects.dev)

45 points by tinyprojects 12 days ago | 43 comments

A personal blog post describing a week of letting an AI agent team (Grok Bot, similar to OpenClaw) running on a Linux server operate the author's startup.

Local AI needs to be the norm(unix.foo)

1767 points by cylo 5 months ago | 699 comments

Blog post on unix.foo arguing that apps should run AI models locally rather than relying on API calls to OpenAI or Anthropic.

Agents.md speaks Unix, and you should too(fmind.dev)

10 points by fmind-dev 1 month ago | 2 comments

Blog post by Médéric Hurier arguing that AGENTS.md files should guide coding agents using Unix tools, with lessons from his dotfiles and human review.

What AI-Native Looks Like(fagnerbrack.com)

14 points by fagnerbrack 1 month ago | 7 comments

A blog post by Fagner Brack on Medium describing what an AI-native approach to software development with stable infrastructure looks like.

AI will make formal verification go mainstream(martin.kleppmann.com)

782 points by evankhoury 10 months ago | 394 comments

Martin Kleppmann blog post predicting that AI will bring formal verification with proof assistants like Rocq, Isabelle and Lean into mainstream software engineering.