Nightly
No. 35Monday, 17 August 20261 min read

Mon 17 Aug

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

Top picks

read these, skip the rest
Top pickHacker News398 pts

Embedded engineer responds to RISC-V criticism

The engineer's response provides insight into the challenges and opportunities of working with RISC-V in embedded systems, highlighting the need for careful consideration of design choices.

Top pickReleaselwn

Linux 7.2 kernel released

  • 7.2 kernel

The new kernel includes significant features such as common attributes support in the bpf() system call and cache-aware load balancing for the CPU scheduler, improving the overall performance and security of the system.

lwn.net
Top pickHacker News84 pts

Case against formal verification

The case against formal verification highlights the limitations and challenges of using formal methods in software development, and raises questions about the effectiveness of these methods in ensuring software correctness.

Top pickHacker News237 pts

LLM never sees material beyond fifth grade

This scenario raises questions about the limitations of large language models and their potential biases. It highlights the importance of diverse training data in developing robust AI models.

Top pickRepoGitHub trending · python8,067 ★

THUDM/slime LLM framework released

  • LLM post-training
  • RL Scaling

The THUDM/slime framework provides a tool for fine-tuning large language models, enabling researchers to adapt these models to specific tasks and applications.

2 stories
Top pickHacker News237 pts

LLM never sees material beyond fifth grade

This scenario raises questions about the limitations of large language models and their potential biases. It highlights the importance of diverse training data in developing robust AI models.

RepoHF trending356 likes

Model orcarouter/Qwen3.8-27B-Uncensored-FP8 released

  • 4,285 downloads
  • 356 likes

This model is an image-text-to-text model, which can be used for various applications such as image captioning and visual question answering.

6 stories
Top pickHacker News398 pts

Embedded engineer responds to RISC-V criticism

The engineer's response provides insight into the challenges and opportunities of working with RISC-V in embedded systems, highlighting the need for careful consideration of design choices.

Top pickReleaselwn

Linux 7.2 kernel released

  • 7.2 kernel

The new kernel includes significant features such as common attributes support in the bpf() system call and cache-aware load balancing for the CPU scheduler, improving the overall performance and security of the system.

lwn.net
hackaday

Radio on a Chip design

The design of a radio on a chip is a challenging task that requires careful consideration of factors such as noise reduction and signal amplification, and can be used in a variety of applications such as wireless communication systems.

hackaday

Actuator for walking robot built

The development of a compact and powerful linear actuator is crucial for the creation of walking robots that can mimic the movements of biological systems, and can be used in a variety of applications such as search and rescue missions.

Newshackaday

Hackaday links for August 16, 2026

The links provide a collection of interesting stories and projects related to hardware and technology, including unusual hardware failures and innovative solutions.

hackaday

Laser layers for strong 3D prints

The use of laser layers can improve the strength and durability of 3D printed objects, making them more suitable for a variety of applications such as prototyping and production.

1 story
Top pickHacker News84 pts

Case against formal verification

The case against formal verification highlights the limitations and challenges of using formal methods in software development, and raises questions about the effectiveness of these methods in ensuring software correctness.

6 stories
Top pickRepoGitHub trending · python8,067 ★

THUDM/slime LLM framework released

  • LLM post-training
  • RL Scaling

The THUDM/slime framework provides a tool for fine-tuning large language models, enabling researchers to adapt these models to specific tasks and applications.

RepoGitHub trending · python1,135 ★

ai-data-extraction tool released

  • python
  • data extraction

The ai-data-extraction tool provides a means for users to extract their personal data from various AI models and services, promoting transparency and control over personal information.

RepoGitHub trending · c++10,571 ★

Apollo streaming software released

  • c++
  • native resolution

The Apollo software enables users to stream video at native resolution, providing a high-quality viewing experience and making it suitable for applications such as video conferencing and online streaming.

RepoGitHub trending · rust10,733 ★

Pumpkin is a Minecraft server

It aims to provide fast and efficient servers for users, potentially reducing lag and improving overall gaming experience. This could be particularly useful for large-scale Minecraft servers.

RepoGitHub trending · c++14,487 ★

Amnezia VPN Client released

The client supports both desktop and mobile devices, allowing users to secure their internet connections across various platforms. This could be useful for individuals concerned about online privacy.

RepoGitHub trending · rust31,282 ★

Atuin shell tool available

Atuin aims to enhance the shell experience, potentially providing features like improved command history and suggestions. This could increase productivity for users who frequently work with command-line interfaces.

You’re all caught up.

15 stories from 122 scanned overnight.

archived edition · 122 fetched → 15 publishedj/k move · enter expand · o open · / search