20:32
Show HN: Neural Network Formal Verification
Article URL: https://github.com/giovanni-norbedo/awesome-nn-formal-verification Comments URL: https://news.ycombinator.com/item?id=50412710 Points: 1 # Comments: 0
Today's news
Compute & infrastructure / 01b12192llama.cpp releases
01 / IN FOCUS
b12192
llama.cpp releasesCompute & infrastructure / 02b12191llama.cpp releases
02 / IN FOCUS
b12191
llama.cpp releasesCompute & infrastructure / 03ASRock Rack DMRD16-2L+ Spotted with 16 DDR5 Slots for Diamond RapidsServeTheHome
03 / IN FOCUS
ASRock Rack DMRD16-2L+ Spotted with 16 DDR5 Slots for Diamond Rapids
ServeTheHomeAI NEWS × FOXAIFind your next step
Explore AI tools From the latest news to tools that work for you.
Discover AI tools
Swipe to explore →M
MemoAIMusic & audio
EvoMapAgents & automation
AI ShortWriting & content
JAXModels & infrastructure
Open DesignDesign & 3D
KiroCoding & development
闪剪Video & animation
IamIPIndustry applications
Zoom WorkplaceOffice & productivity
RowsData & analytics
MemoAIMusic & audioMemoAI is an AI-powered audio-to-text tool that supports localized processing, eliminating the need to upload data and ensuring privacy and security. It can efficiently transcribe YouTube videos, podcasts, and local audio/video files (such as MP4, MP3, AAC, M4A, etc.) into text, while offering core features like multilingual translation, speaker diarization, real-time subtitles, and floating notes—making it ideal for meeting minutes, interview transcription, content learning, and more.
分类推荐榜首EEvoMapAgents & automationEvoMap is an infrastructure designed for the reuse of AI agent experiences. It organizes reusable strategies and repair assets with validation records via the GEP protocol, offering market- and quality-based ranking to help different agents discover, evaluate, and inherit existing capabilities.
分类推荐榜首AAI ShortWriting & contentAIS ALERT MANAGEMENT AND SHARED PLATFORM, QUICK COMMAND FOR MULTIPLE SCENARIOS
分类推荐榜首JJAXModels & infrastructureJAX is a Python numerical computing library designed for accelerators, specifically tailored for high-performance array computations and large-scale machine learning. It efficiently executes the same code across multiple hardware backends, including CPUs, GPUs, and TPUs.
分类推荐榜首OOpen DesignDesign & 3DOpenDesign is an open-source design workspace that can connect to local programming agents, use built-in model keys, or leverage cloud-based models, enabling the creation and editing of prototypes, web pages, presentations, and graphics within a design system; local software is free, while model services incur fees.
分类推荐榜首KKiroCoding & developmentKiro is an AI engineering tool for developers that organizes requirements into specifications, architectures, and tasks, generates code via agents, and supports the entire workflow—from planning to code review—through property-based testing, execution memory, and integration with development tools.
分类推荐榜首闪FlashCut is an AI-powered creation platform for voice-over and short-video marketing. It can generate finished videos with voiceovers, subtitles, and visuals from text, offering digital human customization, photo-to-digital-human conversion, live-stream clipping, and intelligent editing. It also provides APIs and branded mini-program solutions for businesses.
待评分 · 分类列表推荐IIamIPIndustry applicationsIamIP is a patent platform that provides AI-driven search, analysis, and monitoring tools to help users conduct patent research and management more efficiently.
待评分 · 分类列表推荐ZZoom Workplace is Zoom’s team collaboration platform, integrating video conferencing, chat, calendars, and documents, and leveraging built-in AI to organize discussions, draft messages, and track follow-up tasks.
待评分 · 分类列表推荐RRowsData & analyticsRows is a spreadsheet tool that combines AI analytics, data integration, and interactive reporting, enabling you to organize documents and business data using natural language, merge datasets, generate reports, and build computational models. The official website currently indicates that it has been integrated with Superhuman and provides a corresponding link to continue using the service.
待评分 · 分类列表推荐AI, as it happens
1454 published stories1454 storiesClear filters ×
2026-11-08
Follow the timeline20:20
Show HN: Shutdown Watch – App shutdowns, export deadlines, and alternatives
My recipe app picked up users when a similar app shut down, and I kept noticing people scrambling to export their data, so I created this project to scratch my own itch.The 3 main purposes this serves are:1. Give the public a way to find how to export their data or find a replacement if one of the apps they use shuts down.2. Give app creators a way to get their apps in front of people who are actively looking for a replacement for a similar app. Sponsored spots are labeled and never change the dates or export steps.3. Provide inspiration for app creators looking for ideas for what to build next. Just because apps shut down doesn't mean they were not good ideas; many times they shut down for other reasons, like poor execution, no marketing, over-spending, etc.Every date and export step links to the company's own notice.I'm always open to ideas to make it more useful. I read all the comments and constructive criticism and input are always welcomed. Comments URL: https://news.ycombinator.com/item?id=50412639 Points: 1 # Comments: 0
19:07
Show HN: Throng, a project first, terminal 2nd IDE for command line people
I've been beavering away at this since July, and its finally getting to a point where its stabilising.It started Windows only, but I recently converted over to Linux, so I've been ironing out the kinks in the last week. You can install it via apt or rpm, or .exe or .msi on Windows.Many more features to come, including native agent support and more preview features (images, PDF, document formats). Claude works pretty well in it, but I've not tried many other agents yet.I rarely leave throng now - 99% of my work happens inside it. I stopped using Visual Studio around 10 months ago (in favour of VSCode), and now I don't even use VSCode. Comments URL: https://news.ycombinator.com/item?id=50412226 Points: 1 # Comments: 0
18:27
Show HN: PicoDiet – compress images to a visual quality score, not a setting
Article URL: https://picodiet.com/ Comments URL: https://news.ycombinator.com/item?id=50411986 Points: 1 # Comments: 0
16:14
Show HN: Ferrule – copy-in React Native UI components for iOS, Android and web
Article URL: https://leoanimesh.github.io/ferrule/ Comments URL: https://news.ycombinator.com/item?id=50411346 Points: 1 # Comments: 0
14:51
Show HN: SEC Fundamentals – free financial API
Article URL: https://www.quotelinks.com/api/sec-fundamentals/ Comments URL: https://news.ycombinator.com/item?id=50411013 Points: 1 # Comments: 0
14:12
Show HN: I built an AI code editor that for teams
I built an open-source AI code editor for team collaboration, featuring a built-in sprint board and the ability to assign tasks to different agents. I’d love to get your feedback and suggestions! PR and issues are very welcome Comments URL: https://news.ycombinator.com/item?id=50410855 Points: 1 # Comments: 0
12:44
Show HN: We Build Shareable Context Layer for Agent Teams
Article URL: https://github.com/volcengine/OpenViking Comments URL: https://news.ycombinator.com/item?id=50410477 Points: 1 # Comments: 1
12:32
Show HN: Reges Code – a free AI code editor that runs on local models
Article URL: https://regescode.com/ Comments URL: https://news.ycombinator.com/item?id=50410429 Points: 1 # Comments: 0
10:37
Show HN: LLM weight editing tool made by a 15-year-old
Article URL: https://github.com/Miyamoto-Renya/LaplacesScissors Comments URL: https://news.ycombinator.com/item?id=50409986 Points: 1 # Comments: 0
07:48
Show HN: I declared war on every country, one at a time. 77 of 133 survived
Article URL: https://playgod.earth/every-country-vs-the-world Comments URL: https://news.ycombinator.com/item?id=50409155 Points: 3 # Comments: 0
06:42
Show HN: Ywza, a computer-use agent for your own PC, drivable from anywhere
Article URL: https://github.com/alielmorsy/ywza Comments URL: https://news.ycombinator.com/item?id=50408730 Points: 1 # Comments: 0
04:21
Show HN: TheySay – Turn Your Social Media Feeds into a Dashboard
Article URL: https://github.com/laike9m/TheySay Comments URL: https://news.ycombinator.com/item?id=50407700 Points: 1 # Comments: 0
01:49
Show HN: UK: Skip Royal Mail QR Code Queues with the Prince of Post
This scratches an itch I experience most months. When you get a "super handy QR Code" from a service, like Asos, Vinted and others that means you have to physically go to a post office to post your parcel. About ten years ago this was revolutionary convenience, but now it's a frustration.If you're like me you use Royal Mail's collection service to ship most of your parcels/returns from home, and post offices are open for ridiculously narrow times of day these days. Royal Mail don't provide an online facility to create a label from these in-person QR codes, so I built one instead.Behold, Citizen - Prince of Post! https://princeofpost.comI had some fun designing this, and it's something that I'll genuinely use all the time, so I thought I'd share it for others with this problem too. I couldn't find any prior art, but if you want to ruin my day please do tell me about anywhere that does this already :-) Comments URL: https://news.ycombinator.com/item?id=50406466 Points: 1 # Comments: 0
2026-11-07
Follow the timeline19:00
Apps for Caregivers Get a Dose of AI, but That Might Not Be Enough
The apps and platforms that help family caregivers manage their loved ones’ needs are becoming more capable, but the broader issue of caregivers’ well-being remains unsolved.
07:18
b12180
The release adds the Kimi-K3.1-Pro text model to llama.cpp, replacing full-attention MLA layers in K3 with DSA (Dynamic Sparse Attention) layers featuring a lightning indexer. The indexer uses an additive mask over the cache and reuses sparse flash attention paths, while preserving existing KDA layers and MoE components. The model's architecture includes four indexer tensors per DSA layer, hybrid memory for caching, and maintains quantization integrity by excluding indexer parameters from quant overrides. Verified against HF checkpoint with identical PPL beyond context length, and supports multiple platforms including macOS, Linux, Windows, Android, and iOS.
04:43
b12179
The update introduces support for 3D convolution (conv_3d) on Hexagon hardware by generalizing the existing conv_2d implementation. It leverages the HMX tiled path, folds kernel dimensions into a virtual row, and uses a shared solver with an is3d flag. The host computes unfold divisors to avoid device-side division, prevents DMA queue overflow, and improves tile size selection based on VTCM usage. Additional changes include handling arbitrary positive strides, preserving load/shuffle paths for small strides, and fixing compiler warnings.
01:09
b12177
A fix has been implemented to prevent crashes in the command-line interface when encountering invalid UTF-8 in prompts or files, with assistance from Claude. This update is part of the b12177 release of llama.cpp, which includes various binary distributions for macOS, Linux, Windows, Android, and other platforms.
00:39
b12176
The update qualifies calls to math functions like isnan and signbit with std:: to ensure compatibility with C++ standard library overloads, addressing issues on NetBSD 11.99.9/x86_64 with gcc 14.4.0. Additional C math function calls are standardized using std:: prefixes (e.g., std::fabs, std::copysign) instead of non-existent std::fabsf variants, improving accuracy by keeping computations in double precision. The change results in a minor behavioral difference with a relative error of at most 1.4e-7, well below test tolerances.
00:07
b12175
A fix was implemented to override the hardware_concurrency value in CI tests, addressing an issue where test-llama-context and test-backend-ops hung due to incorrect thread count estimation on 8-CPU runners. The solution sets default values of 8 for TEST_ARG_HARDWARE_CONCURRENCY and 4 for TEST_ARG_PARALLEL_WORKERS specifically for the cpu-x64-high-perf configuration.
Every update links back to its source.