progscrape: llm

Using LLM-based Verification to Eliminate Bugs in Linux's Network Stack

4 days ago basis.ai linux security vibecoding

Retrofire: 90s-inspired software rendering library with strong typing (no_std, no_deps, no_llm)

2 days ago reddit.com rust

A Prolog library for interfacing with LLMs

15 days ago github.com ai llm logiclangs prolog

Meta AI chief says their coming LLM has caught up with OpenAI's flagship model

21 days ago businessinsider.com ai llm meta openai

Compiled List of over $1000 in AI/GPU/LLM Credits (100% Free)

5 days ago sairc.vercel.app

LLM-Based Hierarchical Topic Modeling Tool

3 days ago github.com

Comparing Fable and 10 other LLMs on refactoring a LangGraph god node

22 days ago wtf.korridzy.com llm node refactor

LLM-Integrated Multivariable Calculus Course

6 days ago calculus.academa.ai

Detecting LLM-Generated Texts with “Classical” Machine Learning

8 days ago blog.lyc8503.net

A collection of LLM skills for building Go apps (by spf13)

13 days ago github.com go llm

Hoopoe - a simple TUI spellchecker (Hunspell, no LLMs)

8 days ago reddit.com llm rust

If LLMs write most of the code, the interesting compiler work moves from codegen to verification

6 days ago reddit.com compiler llm

built an llm inference engine from scratch in rust

10 days ago reddit.com llm rust

If LLMs write most of the code, the interesting compiler work moves from codegen to verification

6 days ago reddit.com compiler llm

ethical LLM assistance

9 days ago reddit.com llm rust

Need some feedbacks on a new runtime framework tested reduces LLM turns by 80% with a higher success rate in DeepSWE

9 days ago reddit.com llm rust

Fully native no-browser LLM Client.

4 days ago reddit.com llm rust

Toolnexus: unify MCP servers, agent skills, your functions and remote agents into one LLM api

12 days ago reddit.com api llm python

built an llm inference engine from scratch in rust, no ggml no candle no torch, just me and a gguf file

7 days ago reddit.com llm rust

Making an LLM Platform

20 days ago reddit.com compiler llm

Rag-gate: proxy that cuts LLM streams early using token logprobs

6 days ago reddit.com llm proxy rust

Has anyone used scirs2? Enormous LLM scientific computing ecosystem, slop or not?

13 days ago reddit.com llm rust

Implemented a pure Rust minimal LLM inference CLI

13 days ago reddit.com llm rust

built an llm inference engine from scratch in rust, no ggml no candle no torch, just me and a gguf file

7 days ago reddit.com llm rust

Building ALLM: a Rust local LLM runtime that streams GGUF weights under a hard RAM budget

22 days ago reddit.com llm rust

Where does LLM frontier-model Rust go quietly wrong in ways the compiler and clippy can't catch? (non-Rust dev, with two examples from my own codebase)

19 days ago reddit.com compiler go llm rust

How to Passive-Aggressively Shame People Who Use LLMs Selfishly

31 days ago joshmoody.org llm

NLNet Labs LLM Policy

28 days ago nlnetlabs.nl llm vibecoding

Wayfinder Router: deterministic routing of queries between local and hosted LLM

27 days ago github.com llm

The unreasonable effectiveness of LLMs for auditing Rust code

34 days ago shnatsel.medium.com llm rust

>progscrape ▒

All the news that's fit to scrape

Display options

Using LLM-based Verification to Eliminate Bugs in Linux's Network Stack

Retrofire: 90s-inspired software rendering library with strong typing (no_std, no_deps, no_llm)

A Prolog library for interfacing with LLMs

Meta AI chief says their coming LLM has caught up with OpenAI's flagship model

Compiled List of over $1000 in AI/GPU/LLM Credits (100% Free)

LLM-Based Hierarchical Topic Modeling Tool

Comparing Fable and 10 other LLMs on refactoring a LangGraph god node

LLM-Integrated Multivariable Calculus Course

Detecting LLM-Generated Texts with “Classical” Machine Learning

A collection of LLM skills for building Go apps (by spf13)

Hoopoe - a simple TUI spellchecker (Hunspell, no LLMs)

If LLMs write most of the code, the interesting compiler work moves from codegen to verification

built an llm inference engine from scratch in rust

If LLMs write most of the code, the interesting compiler work moves from codegen to verification

ethical LLM assistance

Need some feedbacks on a new runtime framework tested reduces LLM turns by 80% with a higher success rate in DeepSWE

Fully native no-browser LLM Client.

Toolnexus: unify MCP servers, agent skills, your functions and remote agents into one LLM api

built an llm inference engine from scratch in rust, no ggml no candle no torch, just me and a gguf file

Making an LLM Platform

Rag-gate: proxy that cuts LLM streams early using token logprobs

Has anyone used scirs2? Enormous LLM scientific computing ecosystem, slop or not?

Implemented a pure Rust minimal LLM inference CLI

built an llm inference engine from scratch in rust, no ggml no candle no torch, just me and a gguf file

Building ALLM: a Rust local LLM runtime that streams GGUF weights under a hard RAM budget

Where does LLM frontier-model Rust go quietly wrong in ways the compiler and clippy can't catch? (non-Rust dev, with two examples from my own codebase)

How to Passive-Aggressively Shame People Who Use LLMs Selfishly

NLNet Labs LLM Policy

Wayfinder Router: deterministic routing of queries between local and hosted LLM

The unreasonable effectiveness of LLMs for auditing Rust code