Nightly
No. 17Thursday, 30 July 20262 min read

Thu 30 Jul

You’re reading an archived edition. Today’s is here →

Top picks

read these, skip the rest
Top pickResearcharXiv cs.DC

InferScale is a GPU-native LLM memory system.

  • GPU-native

InferScale replaces repeated prompt prefilling with reusable KV state, reducing time-to-first-token. It precomputes each memory fact's KV representation and stores it alongside a semantic embedding on the GPU.

arxiv.org
Top pickResearcharXiv cs.AI

OmegaUse-OfficeVal benchmarks LLM agents on office-suite tasks.

  • 100 tasks
  • 2.32 hours

The benchmark provides economic grounding, enabling direct comparisons between human costs and LLM inference costs. It supports stable evaluation with code-based tasks.

arxiv.org
Top pickResearcharXiv cs.AI

AgentMap is an LLM-based ontology matching framework.

AgentMap integrates semantic retrieval, hierarchical search, and collaborative multi-agent LLM reasoning to identify equivalent concepts or subsumers. It extends four OM datasets for a HOM benchmark.

arxiv.org
Top pickContestCodeforces

Codeforces Round starts on August 6

  • 2.0h
  • Thu 06 Aug 14:35 UTC

The contest will last for 2 hours and will start on August 6 at 14:35 UTC.

Top pickAnalysisopenai blog

Two API settings tripled scores on the ARC-AGI-3 benchmark.

  • ARC-AGI-3
  • GPT-5.6

The settings improved GPT-5.6 performance by retaining reasoning and enabling compaction, boosting scores and efficiency.

10 stories
Top pickResearcharXiv cs.DC

InferScale is a GPU-native LLM memory system.

  • GPU-native

InferScale replaces repeated prompt prefilling with reusable KV state, reducing time-to-first-token. It precomputes each memory fact's KV representation and stores it alongside a semantic embedding on the GPU.

arxiv.org
Top pickResearcharXiv cs.AI

OmegaUse-OfficeVal benchmarks LLM agents on office-suite tasks.

  • 100 tasks
  • 2.32 hours

The benchmark provides economic grounding, enabling direct comparisons between human costs and LLM inference costs. It supports stable evaluation with code-based tasks.

arxiv.org
Top pickResearcharXiv cs.AI

AgentMap is an LLM-based ontology matching framework.

AgentMap integrates semantic retrieval, hierarchical search, and collaborative multi-agent LLM reasoning to identify equivalent concepts or subsumers. It extends four OM datasets for a HOM benchmark.

arxiv.org
Top pickAnalysisopenai blog

Two API settings tripled scores on the ARC-AGI-3 benchmark.

  • ARC-AGI-3
  • GPT-5.6

The settings improved GPT-5.6 performance by retaining reasoning and enabling compaction, boosting scores and efficiency.

Newsopenai blog

GPT-5.6 improves AI efficiency.

  • GPT-5.6

GPT-5.6 delivers more useful intelligence per dollar by improving efficiency across models, inference, and agentic workflows.

Newsopenai blog

100,000 researchers get free ChatGPT access.

  • 100,000 researchers

OpenAI aims to accelerate scientific research, collaboration, and discovery with free access to ChatGPT's advanced AI models.

Releasedeepmind blog

Lyria 3.5 launches in Google Flow Music.

  • Lyria 3.5

No additional information available.

RepoHF trending8,726 likes

Model moonshotai/Kimi-K3 released.

  • 99,214 downloads

The model is an image-text-to-text model with 8726 likes.

RepoHF trending170 likes

Model unsloth/Kimi-K3 released.

  • 410 downloads

The model is an image-text-to-text model with 170 likes.

6 stories
Newshackaday

ESP32 gets a web browser.

The web browser is part of the Cheap Black Display project, showcased at the Hackaday Europe conference.

NewsHacker News330 pts

Keychron announces open-source firmware for gaming mice.

No additional information available.

Releaselwn

Fedora approves smaller GRUB for niche use case

  • Fedora 45
  • October

The new package will be in addition to the main GRUB package and will not replace it for most users. The idea was initially met with resistance from some Fedora contributors.

lwn.net
Newslwn

Security updates issued by multiple Linux distributions

The updates were issued by AlmaLinux, Debian, Fedora, Mageia, Slackware, SUSE, and Ubuntu. The updates address various security vulnerabilities in different packages.

lwn.net
Researchlwn

BPF type format to include inlined functions

  • 2026 Linux Summit

The addition of inlined functions to BTF will allow for better tracing and debugging of kernel functions. This is particularly useful for BPF programs.

lwn.net
Newslwn

GCC steering committee announces AI policy

  • 15 lines of code

The policy states that the project will decline any legally significant contributions that include LLM-generated content. However, LLMs can be used for research and analysis.

lwn.net
1 story
Top pickContestCodeforces

Codeforces Round starts on August 6

  • 2.0h
  • Thu 06 Aug 14:35 UTC

The contest will last for 2 hours and will start on August 6 at 14:35 UTC.

6 stories
ResearcharXiv cs.DC

Hybrid workflow composition for extreme-scale data processing

  • 3.8x throughput increase

The paper presents a novel simulation framework for characterizing the interplay between taskset granularity and system-level constraints. Hybrid composition strategies can yield significant throughput increases.

arxiv.org
ResearcharXiv cs.OS

Deductive verification for earliest deadline first scheduler

The paper proposes a framework for deductive verification of EDF scheduler implementations. The framework utilizes deductive verification to ensure the correctness of the scheduler.

arxiv.org
ResearcharXiv cs.PF

Unified shared memory in OpenMP

  • OpenMP 5.0

The paper discusses the implementation and adoption of unified shared memory in OpenMP. The feature simplifies the adoption of the OpenMP programming model.

arxiv.org
ResearcharXiv cs.DC

DualDecoder for long context LLM inference

The paper presents a lightweight serving system for long-context LLM inference. The system enables efficient sparse KV cache retrieval from host memory.

arxiv.org
ResearcharXiv cs.DC

ServerlessT2I for efficient text-to-image workflow serving

The paper presents a serverless-native system for text-to-image workflow serving. The system decomposes the workflow into loosely coupled model functions for efficient management and scheduling.

arxiv.org
ResearcharXiv cs.DB

Graph-native bitemporal memory store for conversational AI

The paper describes a memory store that avoids exhausting the model's context budget or sending personal data through infrastructure the user does not control. The store uses a Neo4j property graph with HNSW vector indexes.

arxiv.org
6 stories
RepoGitHub trending · c++4,548 ★

ESP32-Bit-Pirate hardware hacking tool

The tool is a hardware hacking tool with a web-based CLI that speaks every protocol. It is designed for use with the ESP32 microcontroller.

RepoGitHub trending · rust15,676 ★

Burn is a tensor library and Deep Learning Framework.

It aims to provide flexibility, efficiency, and portability. Burn is written in Rust, which contributes to its performance and reliability.

RepoGitHub trending263,455 ★

Obra is an agentic skills framework.

It provides a software development methodology that focuses on agent-based approaches. This framework can be applied to various domains and industries.

RepoGitHub trending · rust2,831 ★

Codex-Manager is a CLI account manager.

It provides a local gateway for Codex CLI, enabling users to manage and switch accounts easily. This tool is written in Rust.

RepoGitHub trending · python30,947 ★

SGLang is a serving framework for language models.

It supports large language models and multimodal models, focusing on high-performance serving. SGLang is written in Python.

RepoGitHub trending · rust7,063 ★

Microsandbox is a local-first microVM runtime.

It provides an easy and fast way to run microVMs locally. Microsandbox is written in Rust, which ensures its performance and security.

You’re all caught up.

29 stories from 221 scanned overnight.

archived edition · 221 fetched → 29 publishedj/k move · enter expand · o open · / search