sqlelf 用 SQL 声明式探索 ELF 文件,作者提出用 SQLite 替代 ELF 作为可执行格式的激进构想。
오픈소스
최근 7일 · 103건
Kern 是一个 1.5MB 单二进制、无守护进程的容器与资源运行时,基于 OCI 镜像、cgroup v2 和 namespace,启动约 3.5ms。
Fastino 发布 GLiNER2.5,用边界预测替代 span 枚举,实体宽度不再消耗算力,三个 Apache 2.0 checkpoint 均可 CPU 运行。
文章揭示开源模型可能隐藏时间触发后门,OpenCode 通过系统提示注入元数据指纹成为触发通道。
Qwen3.8-27B is amazing, but it’s slow. A stronger 35B-A3B Mixture of Experts-coder that can run and solve real codebase issues fast (even on constrained hardware) is a valuable addition to the arsenal. This one is the strongest and most consistent 35B-A3B I’ve benchmarked, on both correctness and speed, in addition to being the fastest to fix out of all the 35B-A3B models when you throw them at real codebases. On top of Ornith-1.5’s fine tune, TielCoder uses a code-weighted imatrix for dynamic q
评论区普遍惋惜IPFS维护团队解散,认为项目理念好但执行和生态支持不足;但也有人认为这仅是个别团队调整,项目并未终结。
PicoMQ 是基于对象存储的持久流服务器,通过 HTTP 提供 URL 可寻址的流,支持 long-poll 与 SSE。
Hugging Face has reportedly been fielding acquisition offers that would value the company at around $13B. But with the founders' feeling of responsibility to community, doubts arise as to whether a sale will happen.
In this tutorial, we explore a LabPlot-inspired scientific data analysis workflow in Python while preserving the structure and terminology of LabPlot’s aspect tree, analysis kernels, plotting system, and project model. We build reusable components to import tabular data, compute descriptive statistics, smooth and differentiate signals, perform Fourier analysis and filtering, detect peaks, integrate curves, reduce […] The post Scientific Data Analysis with LabPlot in Python: Signal Processing, Sp
Article URL: Comments URL: Points: 144 # Comments: 27
GrapheneOS, an open source version of Android that prioritizes security and privacy, has detailed its plans for supporting Motorola smartphones. Official support is set to arrive next year, starting with traditional flagships, before rolling out to Motorola's foldable phones and perhaps cheaper models, eventually. In a Mastodon thread, the GrapheneOS Foundation announced that it will […]
Qwen 3.8 27B is great, however it takes me ages to do tasks on xhigh. I need Qwen 3.8 35B A3B. It'll be a little dumber but faster. I am also aware of the fact that 27B gets its "intelligence" from the long thinking time. I therefore assume that 35B would also be a long-thinking model, however running Qwen 3.8 27B over night on my M1 Max for just one task is impractical and no fun. I love the progress and the work of alibaba with 27B but... yeah I sadly don't own a faster RTX. What are you guys
用户将自建 DGX Spark 集群从 16 节点扩至 36 节点,总统一内存达 4.6TB,用于本地运行各类大模型。
MartyPC 是用 Rust 写的跨平台早期 PC 模拟器,以高精度著称,Web 版已支持 IBM PC 5150 等机型。
评论区主要认可MartyPC的准确性和Rust语言优势,但也有人认为标题强调Rust多余,且存在键盘和硬件支持不足。
Tokenizer、视频编码、API报错全扒一遍
it’s powerful and quiet. I run all of my services on it. Specs: AMD Ryzen 7 7840, 32 GB of RAM, 2 TB SSD. idle power consumption is about 5 watts. Additionally, it’s very tiny. I’ve taken it with me to 4 countries in recent years.
Wrote a bit about the `unlikely` and `likely` macros in the Linux codebase. Great little exploration into tiny optimizations that everyone should know more about 😄
开发者从零训练 250M 参数 LLM,30B token,量化后仅 60MB,CPU 上约 400 tok/s。
Liquid AI 被曝即将推出 100B 参数 LFM 模型,社区对其架构速度与实用性表示期待。
You can find the changelog and source code here: Associated pre-build is here:
多数评论认为MCP过度复杂,应简化基于HTTP,但也有人认为其演进方向合理。
r/selfhosted 用户盛赞 Bookorbit 项目,称其细节打磨出色,是自托管软件中的精品。
《A Friendly Introduction to Racket》以教程形式介绍 Lisp 家族语言,强调代码即数据与宏系统。
While studying Geometric Algebra I have built some interactive visualization to demonstrate how geometric transformations (rotation, scaling, translation) can be constructed by just composing reflections. Accepting reflection as the most elementary geometric operation was an eye opening moment for me. I think some of you might enjoy the interactive visuals. Comments URL: Points: 51 # Comments: 9
Libredesk is a self-hosted customer support desk for email and live chat. It's fully open source under AGPL, with no paid tier or separate enterprise build, No feature paywalls. Features: Email inbox and live chat widget, with both landing in the same agent inbox. Help center with collections, articles, search, and per-language content. Autonomous AI agent that answers from your knowledge base and hands off to a human when it can't answer. Agent copilot for drafting replies, summarizing conversa
Certain logos started standing out to me on LinkedIn as brighter/whiter than everything else around them. I dug in and found out this is accomplished by adding a gain-map to an existing JPEG, visible only on HDR screens like a newer MacBook Pro. LinkedIn is the only social network I've found that isn't stripping them out, but of course you serve them up on your own site. I worked with Claude Code to turn it into a little browser-based utility (no registration) and hope you find it useful! Commen
The private Android-based OS will expand beyond Pixels next year.
Hi HN- I'm Pablo, the founder of Proliferate (YC S25)! Proliferate ( ) is an open-source, self-hostable AI IDE that lets you work and automate tasks with Claude Code, Codex, OpenCode, Cursor, and Grok in one place. Here's a quick 2m demo of how we use Proliferate to build Proliferate: I started building Proliferate after my team onboarded to OpenAI Codex. Within days, we were using it for everything: using computer use instead of navigating websites ourselves, having Codex coordinate other agent
llm 0.32.1 修复因 OpenAI Python 库弃用 httpx 导致的新安装故障,0.33 将切换到 httpx2。
Encore 在 Apple Silicon 上重建 Linux MicroVM 栈,让 Mac 开发者能在本地运行 Firecracker 微虚拟机。
The DeepSeek adapter adds the multimodal visual understanding model DeepSeek-V4-Flash-Vision-Exp. It also supports configuring native image requests. Commands such as /goal and /plan can accept text and image input, and the @ menu can reference files and sessions; MCP/ACP also supports persistent image attachments, and PTC Mode supports forwarding nested images.
Seed 是一个极简自修改 agent harness,只提供一个 exec 工具,让 agent 在 self/ 目录中逐步生长出工具、记忆和技能。
Bun 1.4 发布首个 Rust 重写后的稳定版,新增 Bun.WebView、Bun.Image 等 API,Node.js 兼容性大幅提升。
This post inspired me to make that test after a year ;) That is one of my many tests I make comparing output quality. What is more interesting using a PI Agent results are much better than an Opencode using a Qwen 3.8 27b ?! Seems PI Agent is much better in the agent environment somehow... Not counting uses less tokens , do not have a hard limit of 32k output tokens, is faster, do not freezing, compressing context far less than Opencode. For instance if you have context in the Opencode output 32
S1-mini is a 462 MB open-weights normalizer that sits after ASR, removing fillers and resolving self-corrections locally. The post Meet S1-mini: Superwhisper’s 462 MB Open-Weights Text Normalizer That Turns Raw ASR Transcripts Into Clean Written Text appeared first on MarkTechPost .
I have been using omarchy on my tower since nearly a year now, shortly after it was released first. I really love the experience I am having with it but I still use my macbook for daly work, so I wanted to recreate a similar experience on it. Thats why I created omacosy, a setup for tiling windows, custom menu bar, some themes from omarchy, focus follows mouse, focus rings around windwos, some mac flavors with trackpad events and a custom mission control overview for your workspaces. I used Aero
开发者以 250 美元预训练 10.2 亿参数 Kimi K3 复刻模型,在 50 亿 token 上已超越 GPT-2 (124M)。
用户报告 Qwen3.8-27b 在单次提示下自主执行 80 次工具调用,成功从大学网站抓取课表,展现本地模型罕见的 agent 能力。
评论区普遍认为Rust生态缺乏安全管控,需加强沙箱和依赖审计;但也有人认为应减少第三方依赖并采用更完善的开发环境。
I've been working on a depth pruning approach and decided to try it out on the new Qwen3.8-27B model. I managed to get the model down to about 22.7B params without severe reasoning degradation. No fine-tuning was done, just strategic removal of layers. It's been working well for my use cases in coding, agentic use, and multi-turn chats, so I figured I'd shared it with the community. I have not run benchmarks so I'm not going to claim this model is better than anything else out there. It's just a
Simon Willison 研究用 smolvm 作为不可信 Python/JavaScript 的快速安全沙箱,限制 RAM、CPU 与网络访问。
Zoneless 开源 Stripe Connect 替代方案,声称将每月 9000 美元支付费用降至约 6 美元。
评论区普遍认可Bun 1.4的Rust重写是AI辅助开发的重大成功,但也有人认为其功能膨胀、兼容性及AI依赖引发争议。
作者训练 125M 参数 transformer 在 iPhone 15 上以约 108 音符/秒实时自动补全钢琴演奏,关键在 MIDI 表示与数据清洗。
My hypothesis is that there is a new opportunity for Extensible Software on the web . LLMs radically lower the cost of authoring extensions, and modern sandbox primitives lower the deployment cost and provide good security boundaries. We can build our app as a solid, accountable core, and allow users to safely extend it in many directions by having LLMs fill in the missing pieces. We can give our users super powers. — Jeremy Morrell , Extensible Software in the age of LLMs Tags: sandboxing , llm
Hey everyone, Posted TinySearch here a few versions ago and got a bunch of useful feedback, so figured I'd post an update because the thing has changed quite a bit since then. Repo: [ The basic idea is still the same: TinySearch is a small self-hosted MCP/FastAPI tool that searches the web, reads the pages worth reading, and locally selects the useful parts before they ever hit your model's context window. No LLM doing the filtering/summarization in the middle. It's BM25 + local ONNX embeddings,
I wanted to just test the unsloth 1bit quant of qwen 3.8 27b as I have just 8gb vram and ngl it gave me a good laugh
I just started my self-hosting journey in April after I got tired of my Xfinity modem. I ran what feels like miles of Cat 6, built a rack, bought the PCs and domain, etc etc and now I feel super accomplished. I knew practically nothing about all this back in March. Possibly the most fun I’ve had is building this simple little homepage dashboard to give everything a face. I stole lots of inspiration from everyone here. It now serves as a true homepage with all the frequent sites and services I ev
Anyone tried them yet? Disclaimer: Not affiliated with ornith. I just surf huggingface for new models every 30m or so. I'm addicted.
Aloha! 🌺Introducing Ornith-1.5, a family of open-source LLMs spanning 9B Dense, 35B MoE, and 397B MoE, trained with self-improving strategies. It achieves state-of-the-art performance among open-source models of comparable size and delivers performance comparable to Claude Opus 4.8 across reasoning, agentic, and coding tasks: ✅Terminal-Bench 2.1 (86.1) ✅SWE-Bench (86 on verified, 65.1 on pro, 79.6 on Multilingual) ✅DeepSWE (56) ✅HLE (44.6) ✅ClawEval (81.4) ✅Tool Decathlon (71.2)
The Git forge built for the age of coding agents Discussion | Link
Qwen 社区经理透露下周将发布新的 midsize 开源模型,预计超 100B 参数。
looks like GGUF files were just updated
Bun 1.4 Rust 重写引发社区担忧:作者批评其从工程亮点沦为 AI 驱动的持续空头承诺。
《PostgreSQL for Everything》主张 Postgres 作为通用默认数据库,评论区认可其地位但也指出队列、分析等场景的局限。
多数人认可PostgreSQL作为通用默认选择,但也有人认为SQLite或MySQL更简单,且PostgreSQL在队列、分析等场景有局限。
None has undergone post-training, giving researchers flexible starting points for continued pre-training, fine-tuning, and further research. Two key highlights: - They use WSM to replace LR decay with weighted checkpoint merging, making the training process better suited for continual pre-training while enabling offline exploration of different LR decay strategies. - With one shared training recipe, the community can validate strategies on tiny-base, then scale them to flash-base. #1- Ling-3.0-t
Framework says it's replacing some out-of-warranty AMD mainboards.
Good day! Over a year ago, I made a post here about Meelo, which had received a lot of positive attention. A few things have changed since, and I thought a lil' update wouldn't hurt :) Meelo is a self-hosted music server, that focuses on UI and metadata integration. It supports duplicates, songs grouping (remixes, instrumentals, etc.), album types (studio, live, compilations, etc.), Music Videos, and other cool stuff. Since my last post (around v3.1.0), new features were added: Meelo now has a c
OpenLogi 是 Rust 编写的 Logitech Options+ 本地优先替代品,通过 HID++ 直接驱动鼠标,无账号无遥测。
用户普遍认可开源替代Logitech官方软件的价值,但批评网站AI生成内容明显,且存在兼容性和稳定性问题。
用 4× RTX 3060 12GB 跑 DeepSeek V4 Flash Q4_K_XL,在 360k–376k 上下文窗口下达到约 100 tok/s 提示处理速度。
Mojo🔥 is now open source Mojo🔥 is now open source The Mojo programming language has been promising an open source release since May 2023 . Last week they shipped their 1.0 and today they have followed through on that original promise, releasing the compiler and toolchain under an Apache 2 license. When Mojo first launched the stated goal was to produce a superset of Python, so existing Python code could be used to bootstrap their own ecosystem. That plan changed around August 2025 : Mojo may or
OGX 开源 AI 应用服务器实现 OpenAI、Anthropic、Google 的 API,支持可插拔后端,HN 上获得 74 分。
Google 开源 SAM(Sovereign Agent Mesh),零配置零信任 P2P 网络让 agent 跨环境发现并调用彼此的 MCP 工具。
From Hugging Face on 𝕏:
Overview UI-Mate-27B is an open-weight foundation GUI agent for long-horizon work across applications and operating systems. It observes live screenshots, reasons over the visible state, and produces structured keyboard and mouse actions for native desktop interaction. UI-Mate supports two complementary modes: General computer use: execute tasks from natural-language instructions and live screenshots. Demonstration-guided computer use: adapt a reusable workflow extracted from one successful demo
Nous Research has shipped Bot Mode for Hermes Agent, its MIT-licensed open source agent. Bot Mode replaces the single-agent session list with a roster of named bots. Each bot is a real Hermes profile, with its own chat, memory, skills, and pinned model. It is now bundled and default-on in Hermes Desktop. The post Nous Research Ships Bot Mode for Hermes Agent, Turning Agent Profiles Into a Roster of Named Bots appeared first on MarkTechPost .
You write a standard solution, just like on LeetCode, and run it through the CLI. It identifies the problem by ID or title, executes your code against local test cases, and shows the result. It currently supports around 1.4k problems and multiple languages, including Python, C++, Rust, Java, Go, TypeScript, Swift, and others. The project is still an MVP. System design, SQL, and concurrency problems are not supported yet, but support for more problem types is planned. Made in Haskell! Comments UR
Acadia 重新思考数据库编程,引入精确类型与可验证迁移,评论区认可设计但担忧许可限制。
评论区普遍认可其设计理念与功能亮点,但也有人认为它不过是SQL替代品或ORM,且许可限制令人担忧。
Turbovec 基于 Google TurboQuant 的 Rust 向量索引,1000 万文档语料从 31 GB 压缩到 4 GB,搜索速度超越 FAISS。
评论区普遍认可Turbovec性能与压缩效果,期待集成与WASM应用;但也有人认为文档不足、技术非新创。
Qwen released the 2.4T Max weights and I was curious how well it can re-create COD in one prompt I ran the model on a rented B200 cluster and used roughly 1.1M output tokens over a 5 hour time span Realistically barely anyone can run this model locally, but the fact that it's open weights unlocks a lot of opportunities for the local AI community even regarding quantization options that might bring us closer to running frontier level intelligence on consumer-ish hardware For consumer hardware the
Python Polars 速查表发布,评论区普遍认可其比 Pandas 更顺手,但也有人认为 DuckDB 更优且 pl.col 语法繁琐。
评论区普遍认可Polars比Pandas更顺手,但也有人认为DuckDB更优,且对pl.col语法繁琐有异议。
Develop a complete document intelligence pipeline with docTR, integrating OCR, layout analysis, and KIE for production-oriented extraction and searchable PDF creation. The post Developing an End-to-End Document Intelligence Pipeline with docTR for OCR, Layout Analysis, KIE, Benchmarking, and Searchable PDFs appeared first on MarkTechPost .
This first release of Prior Labs in relational learning shows our continued commitment to open science. We open-source three pieces of software that we expect to accelerate research in the field towards meaningful real-world impact. We aim to steer further development based on feedback from, and in collaboration with, the community. Given the early stage of development, our α-release targets researchers and early-adopting practitioners. Over the past years, a variety of datasets and tasks for re
Article URL: Comments URL: Points: 69 # Comments: 42
A few days ago I had the slightly ridiculous idea of building a mobile homelab inside my everyday backpack. Today I started looking through some old hardware I had lying around and realized: I can actually build this. And I barely need to buy anything. 😂 The main machine is an old ASUS TUF Gaming F15 that I bought from a friend for €300 and barely used: Intel Core i5-10300H 64 GB RAM GTX 1650 2.5 TB SSD storage across three physical drives Built-in battery = basically a tiny UPS Pop!_OS + Window
MiniMax released MiniMax-Music3, an open-weights text-to-music model. Given lyrics with section tags and a structured caption, it generates a complete song of up to five minutes in a single pass, as 32 kHz, 16-bit stereo WAV. Here is the architecture, the three serving paths, and the license conditions that matter before you ship. The post MiniMax Releases MiniMax-Music3: An Open-Weights Music Model Generating Complete Five-Minute Songs From Lyrics and a Structured Caption appeared first on Mark
매일 아침, 당신을 위한 테크 다이제스트
웹은 전체 그림을, 구독자에게는 당신만의 것을 — 관심사 맞춤 AI 큐레이션, 개인 RSS 통합, 커뮤니티 반응과 함께 매일 아침 배달. 영원히 무료.
44호 발행 · 매일 150개+ 중 읽을 가치 있는 30개로 선별