GotaTun -- Mullvad's WireGuard Implementation in Rust

258 km 2025-12-19 12:03:06 UTC mullvad.net Llama Share 54

GotaTun is a fast and efficient WireGuard implementation in Rust, forked from BoringTun, with added features like DAITA and Multihop. It has replaced wireguard-go on Android, resulting in a significant drop in user-perceived crashes and improved user experience.

Amazon will allow ePub and PDF downloads for DRM-free eBooks

214 captn3m0 2025-12-19 11:03:06 UTC kdpcommunity.com Full Share 114

Sorry to interrupt

Beginning January 2026, all ACM publications will be made open access

1849 Kerrick 2025-12-18 16:03:06 UTC dl.acm.org Llama Share 227

Cookies are categorized into necessary, preference, statistic, marketing, and unclassified types based on their functions and purposes. They enable website usability, remember user preferences, and help owners understand visitor behavior.

Show HN: Stepped Actions – distributed workflow orchestration for Rails

36 klevo 2025-12-19 13:03:06 UTC github.com/envirobly Llama Share 4

Stepped is a Rails engine for complex workflows as a tree of actions, persisting and running through Active Job. It allows defining and running actions on models, with concurrency lanes and reuse features.

Texas is suing all of the big TV makers for spying on what you watch

985 tortilla 2025-12-18 17:03:06 UTC theverge.com Llama Share 496

Texas Attorney General Ken Paxton is suing five TV makers for allegedly using Automatic Content Recognition to secretly record consumer viewing habits. The lawsuit claims Samsung, Sony, LG, Hisense, and TCL are part of a "mass surveillance system" for targeted advertising.

Getting bitten by Intel's poor naming schemes

199 LorenDB 2025-12-19 06:03:06 UTC lorendb.dev Llama Share 107

User installed Proxmox on an old Dell Precision T3610 and upgraded RAM and storage. They attempted to upgrade the CPU to a newer Xeon E7-8890 v4 but it didn't fit due to different socket variations.

We pwned X, Vercel, Cursor, and Discord through a supply-chain attack

991 hackermondev 2025-12-18 20:03:06 UTC gist.github.com Embed Share 365

1.5 TB of VRAM on Mac Studio – RDMA over Thunderbolt 5

500 rbanffy 2025-12-18 23:03:06 UTC jeffgeerling.com Llama Share 159

Apple loaned Mac Studios for testing RDMA over Thunderbolt, a new macOS feature, with Exo 1.0, an open-source AI clustering tool. The Mac Studio cluster outperforms Nvidia's DGX Spark and AMD's AI Max+ 395 systems in some benchmarks, but managing clusters is more complex with macOS.

How to think about durable execution

35 abelanger 2025-12-19 12:03:06 UTC hatchet.run Llama Share 5

The author explains durable execution, a technique for managing complex workflows, and its benefits in reducing unexpected failures and improving reliability. Durable execution persists intermediate state, allowing workflows to resume from a checkpointed state, but requires deterministic code and can be complex to implement.

Show HN: I implemented generics in my programming language

29 death_eternal 2025-12-19 12:03:06 UTC axe-docs.pages.dev Llama Share 7

Axe generics allow defining functions with type parameters, enabling a single function body to adapt to multiple types at compile time. This results in type-driven specialization that remains explicit in the source code.

History LLMs: Models trained exclusively on pre-1913 texts

608 iamwil 2025-12-18 23:03:06 UTC github.com/dgoettlich Llama Share 286

Researchers created a family of 4 billion parameter large language models trained on historical data up to specific cutoff dates. These models serve as windows into the past, enabling research in humanities, social sciences, and computer science.

Noclip.website – A digital museum of video game levels

311 ivmoreau 2025-12-19 03:03:06 UTC noclip.website Full Share 37

A digital museum of video game levels

From Zero to QED: An informal introduction to formality with Lean 4

98 rwosync 2025-12-19 07:03:06 UTC sdiehl.github.io Llama Share 13

This article series introduces Lean 4 from first principles, covering programming and theorem proving. It's an informal guide suitable for beginners, with a focus on practical applications and real-world examples.

GPT-5.2-Codex

524 meetpateltech 2025-12-18 19:03:06 UTC openai.com Llama Share 280

GPT-5.2-Codex is a more advanced agentic coding model for complex software engineering with improved cybersecurity capabilities. It helps developers and defenders tackle long-horizon work and strengthens security research tools.

Prompt caching for cheaper LLM tokens

187 samwho 2025-12-19 05:03:06 UTC ngrok.com Llama Share 43

The user explains how prompt caching in LLMs reduces latency and cost by reusing cached matrices (K and V) instead of recalculating them, allowing providers to offer cheaper tokens and faster responses. The cached matrices are saved for 5-10 minutes and can be reused if a new request starts with the same prompt, with some providers offering more control over caching.

Pingfs: Stores your data in ICMP ping packets

51 linkdd 2025-12-19 09:03:06 UTC github.com/yarrick Llama Share 15

pingfs is a cloud storage filesystem using ICMP Echo packets, requiring superuser powers and only supporting Linux. It allows file operations but lacks directory support and has low performance.

Designing a Passive Lidar Detector Device

33 speckx 2025-12-19 10:03:06 UTC atredis.com Llama Share 1

The author built a device to detect iPhone LiDAR signals using 940nm peak photodiodes and a SAMD21 chip. The device can measure signal frequency, pulse repetition frequency, and signal bursts.

How China built its ‘Manhattan Project’ to rival the West in AI chips

392 artninja1988 2025-12-18 19:03:06 UTC japantimes.co.jp Llama Share 470

Chinese scientists built a prototype EUV machine in a Shenzhen lab, capable of producing advanced semiconductor chips. This achievement fills a technological gap in the West's monopoly on EUV machines, crucial for AI and military dominance.

Show HN: Picknplace.js, an alternative to drag-and-drop

367 bbx 2025-12-18 20:03:06 UTC jgthms.com Llama Share 131

You want a simpler drag and drop experience with a 2-step approach: pick an item first, then place it. This would reduce errors and improve usability, especially on mobile devices.

Show HN: I open-sourced my Go and Next B2B SaaS Starter (deploy anywhere, MIT)

49 moh_quz 2025-12-19 12:03:06 UTC github.com/moasq Full Share 27

Roles & Permissions: Granular RBAC system with 3 roles (Member, Manager, Admin) and 7 permission types. Custom Features: Need SAML SSO or complex RAG flows? I'll build them directly into your repo.

Reconstructed Commander Keen 1-3 Source Code

106 deevus 2025-12-19 04:03:06 UTC pckf.com Llama Share 20

A reconstructed source code for Commander Keen 1-3 has been released, allowing users to compile exact copies of the original executables using specific compilers and assemblers. The source code reveals that the IDLIB.C code was based on The Catacomb and Hovertank, and that the id founders likely used Softdisk's code in their own game without permission.

Show HN: Stop AI scrapers from hammering your self-hosted blog (using porn)

298 misterchocolat 2025-12-18 20:03:06 UTC github.com/vivienhenz24 Llama Share 214

Fuzzy Canary is a tool that adds invisible links to your site's HTML to deter AI scrapers, but may harm SEO if used with static sites. It can be used server-side or client-side, with server-side being more effective.

Property-Based Testing Caught a Security Bug I Never Would Have Found

46 nslog 2025-12-19 07:03:06 UTC kiro.dev Llama Share 23

Property-Based Testing caught a security bug in a storage service for a chat application that would have been difficult to find through traditional testing methods. The bug involved a mishandling of JavaScript prototypes, which could have led to security issues if not eliminated early on, but was discovered through a property-based test that generated random strings for provider names.

A proposed amendment to ban under 16s in the UK from common online services

38 ibobev 2025-12-19 14:14:06 UTC decoded.legal Llama Share 57

The UK's Online Safety Act 2023 amendment aims to prevent under 16s from accessing online services, but its scope is excessively broad, including self-hosted services and everyday online tools. This could lead to a "papers, please" approach, requiring age assurance for all users and significant privacy implications.

Great ideas in theoretical computer science

153 sebg 2025-12-18 23:03:06 UTC cs251.com Llama Share 31

This course explores the fundamental concepts of theoretical computer science, including computation, algorithms, and complexity. It covers topics such as deterministic finite automata, Turing machines, computability, and cryptography.

Skills for organizations, partners, the ecosystem

276 adocomplete 2025-12-18 18:03:06 UTC claude.com Llama Share 156

Claude's skills feature is now easier to deploy, discover, and build with organization-wide management and a directory of partner-built skills. Admins can provision skills centrally and users can customize their experience.

SMB Direct – SMB3 over RDMA

47 tambourine_man 2025-12-19 05:03:06 UTC docs.kernel.org Llama Share 13

To set up Linux SMB client and server for RDMA, install an RDMA device, a kernel with SMB Direct support, and enable RDMA support in the kernel configuration. Then, set up a KSMBD server and mount the share with the rdma mount option to use SMB Direct.

Show HN: CommerceTXT – An open standard for AI shopping context (like llms.txt)

14 tsazan 2025-12-19 11:03:06 UTC commercetxt.org Llama Share 14

CommerceTXT is a protocol for AI commerce that reduces carbon footprint by 99% and minimizes hallucinations through verified data. It uses a Fractal Architecture and Trust Score system to ensure accuracy and trust.

Firefox will have an option to disable all AI features

495 twapi 2025-12-18 19:03:06 UTC mastodon.social Llama Share 462

Mozilla is working on AI features in Firefox, but will have an opt-in option and a "kill switch" to completely disable AI.

Making Google Sans Flex

86 meetpateltech 2025-12-19 07:03:06 UTC design.google Llama Share 67

Google Sans is a typeface used across Google products, evolving from specific design problems and adapting to user needs. It's now open-source, aiming to create a more unified digital environment and foster a consistent visual language.