Hasty Briefsbeta

All tags

open-source

38 stories total

Bilingual

Jimmy is a tool to convert your notes from different formats to Markdown
a month ago
- Jimmy is a tool for converting notes from various formats to Markdown.
- It supports migration between note apps, saving notes in a human-readable format, and preparing notes for LLM processing.
- Jimmy offers both CLI and TUI interfaces, with the CLI providing full features and the TUI being interactive and in beta.
- Example commands include converting single files or entire folders, and handling Google Keep exports.
- Features include multiple input formats, Markdown + Front matter output, offline use, open source, cross-platform, standalone, and no AI used.
- Supported apps include Anki, Bear, Evernote, Google Keep, Notion, Obsidian, and many more.
- Supported formats include Asciidoc, DOCX, HTML, PDF, and others, allowing mixed conversions in folders.
- General usage involves exporting notes, running Jimmy for conversion, and importing the result into apps like Joplin or Obsidian.
Simple, beautiful Emacs modeline: modusregel
23 days ago
- Modusregel is a clean, elegant mode line package for Emacs, compatible with both GUI and terminal interfaces.
- It features smart major mode name prettification, support for Tree-Sitter variants, and built-in indicators for Eglot and Flymake.
- Designed for performance with lightweight, dependency-free Emacs Lisp code.
- Includes minimalist Unicode icons for buffer states like modified, read-only, remote, and LSP active.
- Installation via package managers like Elpaca, with configurable global or window-local mode line settings.
- Licensed under GNU GPL v3+ for code and GNU FDL v1.3+ for documentation.
- Adheres to AI policy requiring human oversight in contributions and prohibits autonomous AI agents.
- Follows a code of conduct promoting inclusivity, respect, and collaboration inspired by GNU ideals.
- Project encourages community contributions via email contact and public backlog/kanban boards.
- Compatible with keycast package for displaying key bindings in the mode line, with example configurations provided.
Mistralai/Leanstral-1.5-119B-A6B
22 days ago
- Leanstral 1.5 is an open-source code agent model designed for Lean 4, supporting complex mathematical objects and software specifications.
- It is part of the Mistral Small 4 family, featuring multimodal capabilities, efficient architecture, 119B parameters, 6.5B activated per token, and 256k context length.
- Usage involves installing Mistral Vibe, setting up via CLI or API, and employing recommended settings like temperature 1.0 and reasoning effort 'high' for complex tasks.
- Local deployment options include vLLM server setup with configuration files and tool-calling for Lean code execution and compilation.
- The model is licensed under Apache 2.0, with restrictions on use that violates third-party rights.
EVE Online's Carbon engine is now open source: Fenris Creations explains why
22 days ago
- Fenris Creations has open-sourced the Carbon game engine, originally used for Eve Online, under permissive licenses like MIT.
- The main goals include increasing transparency, building community trust, and enabling collaborative improvements to benefit all users.
- Security is managed by reviewing contributions carefully, but open-sourcing also helps identify and fix vulnerabilities with community help.
- Fenris consulted with Godot on governance and is implementing a plugin architecture to facilitate contributions and project management.
- The engine can be used freely for any project, including commercial ones, but the focus is on community engagement rather than profit.
- Future plans include developing Carbon openly, creating a test project, and fostering an Eve-centric ecosystem of tools and experiences.
U.S. Policies Unintentionally Accelerated China's Open AI Ecosystems
21 days ago
- U.S. policies aimed at AI leadership raised costs for China's AI development but increased the strategic value of open, adaptable AI systems.
- China integrated open-source AI into national strategy through ecosystem building, standards, and resilient deployment after U.S. export controls.
- Chinese developers increased engagement with open-source LLM repositories more than U.S. developers, shifting toward open infrastructure under constraints.
- Chinese open models spread through open-source communities and research, with U.S. commercial entities using them in open-access research.
- Technological containment policies may unintentionally accelerate open innovation ecosystems as a competitive response, affecting global AI leadership.
Organic Maps
20 days ago
- Organic Maps is a privacy-focused, free offline maps app for hiking, cycling, and driving, with no ads or tracking.
- It works entirely offline, supports turn-by-turn navigation, and uses OpenStreetMap data for detailed maps.
- The app is open-source, verified for privacy, and funded by donations, grants, and community sponsors.
- Organic Maps reached 6 million installs by December 2025 and is available on major app stores.
- It emphasizes user privacy, battery efficiency, and freedom from surveillance, with community-driven development.
Amazon Without the Knockoffs
18 days ago
- Knockoff filters out trademark-squat pseudo-brands (like SZHLUX and HORUSDY) from Amazon search results, leaving established brands with reputations to protect.
- The tool is free, open-source (FSL), requires no accounts or tracking, and runs locally in the browser on every Amazon page.
- It uses a daily-refreshed, community-maintained brand list (e.g., AmazonBrandFilterList) to instantly approve real brands and block pseudo-brands based on linguistic patterns (e.g., ALL-CAPS, unpronounceable strings).
- Users can set filtering levels (Relaxed, Standard, Strict) to hide, dim, or label flagged items, with options to override verdicts or reveal filtered listings.
- Additional features include removing Amazon's "Sponsored" listings and allowing personal brand trust/block lists that take priority over other signals.
- Misclassifications can be reported with one click, feeding a curated list that updates globally within a day without requiring extension updates.
- The tool emphasizes privacy (no analytics, minimal network requests) and transparency, with open-source code and plain-text brand lists for easy community contributions.
Why is there smoke from the boiler room? – Botanical Garden using Home Assistant
19 days ago
- The author struggled to identify why a gas boiler was running in a climate-controlled greenhouse on a warm day, requiring manual correlation of data across five separate, siloed systems.
- The root issue is that building data is often controlled by vendors, not the owners, leading to locked-in, non-interoperable systems designed for engineers rather than end-users.
- The EU Data Act now grants businesses the right to access their machine-readable data from connected products, shifting leverage to data generators.
- Home Assistant is presented as a mature, open-source platform for data ownership, originally for homes but applicable to businesses to avoid vendor lock-in and subscription models.
- The Model Context Protocol enables AI assistants to query unified building data in plain language, democratizing access for non-specialists like botanists or financial controllers.
- To ensure sustainability, systems should have a boring, well-documented infrastructure layer while empowering users to create dashboards and automations via plain-language interfaces.
- Organizations are urged to inventory their data systems, request machine-readable access under the Data Act, and experiment with tools like Home Assistant to reclaim control of their building data.
Chatto is now Open Source
17 days ago
- Chatto is now open source and available for self-hosting, featuring a fast, compact group chat application similar to popular services but with enhanced privacy and encryption.
- The application supports easy self-hosting on multiple platforms, includes built-in voice and video calls with end-to-end encryption, and allows hosting multiple communities via separate processes.
- Chatto Cloud will soon enter public beta, offering paid hosting with European infrastructure, automatic scaling, backups, and no lock-in, while future updates focus on safety features and client polishing.
Show HN: Pug.sh – open-source product analytics
17 days ago
- Pug is an open-source product analytics tool that tracks page views, clicks, scrolls, and custom events, linking each event to a user profile.
- It offers auto-tracking with SDK initialization, requiring no event plan or instrumentation sprint, and supports identify() to merge anonymous history into user profiles upon sign-in.
- Pug provides six insight types: Trends, Funnels, Retention, Segmentation, User Flow, and Top K, all running on raw events in ClickHouse for fast, filterable answers.
- Users can pin insights as tiles on a shared dashboard with consistent time windows, period-over-period comparisons, and threshold alerts for KPIs.
- It can be self-hosted as a single Go binary with PostgreSQL and ClickHouse, or used via a free cloud service during open beta, with pricing announced later.
- The tool includes customer engagement features for campaigns based on profiles and events, with upcoming support for web push, SMS, Android/iOS push, and webhooks.
Show HN: OpenScreenShot: open-source full-page screenshot and annotation tool
17 days ago
- Open-source Chrome extension for capturing screenshots with multiple methods: full-page, region, and visible-area.
- Built-in annotation editor with tools like rectangle, arrow, pen, text, blur, and crop, featuring undo/redo functionality.
- Export options include PNG, JPEG, WebP, and PDF with configurable settings like quality and pagination.
- All processing runs locally with zero data leaving the device, ensuring privacy and no analytics or telemetry.
- Extension uses minimum permissions (activeTab + scripting) and is free, open source under MIT License.
Another German state heads down the open source sovereignty road
17 days ago
- OpenAI's GPT-Live enables simultaneous talking, listening, and formulating answers, improving ChatGPT banter.
- SpaceXAI, formerly known for controversial AI, rebrands to offer legal and Excel automation services.
- SambaNova's AI chip, backed by Intel, rejuvenates Nvidia GPUs, achieving 763 tok/s in benchmarks.
- A former GitHub CEO launches a competitor targeting 'vibe coding' as GitHub faces AI load challenges.
- AI inference is commoditized, creating a bargain hunter's market with luxury frontier models at the top.
- Russian hackers pose as Signal support for phishing, amid other security news like Iranian propaganda takedowns.
- Microsoft's patches fail to fix SharePoint zero-day attacks, with updates on Chinese surveillance and Ring's policy.
- DEF CON expands to include all attendees in hardening critical infrastructure, inspired by voting village successes.
- EQT acquires a majority stake in Acronis at a $3.5B+ valuation, boosting cybersecurity investments.
- Ransomware persists after a decade, with infosec noted as a stable career choice.
- KDE Plasma 6.6.6 signals changes, with Wayland mandated in version 6.8.
- Collabora CODE 26.04 enhances FOSS office suites with Markdown, AI, and formula handling.
- GIMP 0.54 is revived as a Flatpak for retro-computing nostalgia using Motif.
- Bcachefs leaves experimental status with performance improvements but faces AI-related issues.
- France's digital sovereignty push struggles against Microsoft dominance, despite Nextcloud storage efforts.
- CentOS evolved from a hobby project to an enterprise default after community response to Red Hat's shift.
Garnix Is Joining Shopify
15 days ago
- garnix is joining Shopify and the hosted service will shut down on July 15th 2026.
- The garnix codebase is being open-sourced, allowing users to migrate to their own or shared instances.
- All user data, including build artifacts, will be deleted on July 15th, so users should download what they need beforehand.
- The garnix team expresses gratitude for community support and feedback over the years.
- Users interested in operating a public community instance are encouraged to get in touch with the team.
I tried NetBSD as a desktop,it felt like stepping into the 90s in a good way
15 days ago
- NetBSD is a BSD-derived open-source OS with origins tracing back to the original Unix developed at Bell Labs.
- It was ported to multiple architectures, leading to the slogan 'Of course it runs NetBSD'.
- Installation involves a text-based setup similar to early '90s systems, suitable for users familiar with MS-DOS or technical Linux distros.
- By default, NetBSD is console-based; installing X Window System and a desktop like Xfce requires manual setup.
- Software management uses the pkgin package manager for binaries, allowing installation of tools like Vim and Firefox.
- NetBSD can serve as a desktop OS, especially for users comfortable with technical distros or older non-x86 hardware.
- It highlights the BSD family's role in internet history and offers an alternative to Linux for open-source enthusiasts.
Modern Implementation of Notational Velocity
14 days ago
- nvnv is a note-taking application with a unified search interface that allows searching titles and body text instantly, using a single field for both searching and creating notes.
- The design emphasizes keyboard-centric operation without buttons, automatic saving, and continuous motion between searching, creating, and editing notes, all in one window with plain text.
- Key principles include no manual saving, search as the primary interface, and seamless navigation and editing without leaving the keyboard, using a minimalist approach.
- Benchmarks show high performance: fast search times (e.g., 13 ms for broad cached searches on 10,000 notes) and efficient file system operations (e.g., 438 ms for warm metadata scans).
- nvnv ensures data longevity with zero vendor lock-in, watching files, supporting external edits, and using a disposable index, based on MIT License and inspired by Notational Velocity.
You Cannot Defend What You Cannot Inspect
12 days ago
- CIRCUIT is an open-source framework for AI interpretability governance, released to address gaps in current AI governance practices.
- Current AI governance focuses on external controls like risk tiering, registries, and output monitoring, treating models as black boxes without explaining why models make decisions.
- The framework emphasizes interpretability to help during incidents, enabling understanding of model decisions rather than just ownership or deployment details.
- CIRCUIT includes maturity ceilings based on inspectability (e.g., open-weight models have higher ceilings than API or vendor-embedded models) and crosswalks to regulations like EU AI Act and NIST AI RMF.
- It features a 29-question vendor questionnaire to highlight transparency gaps, aiming to create coordinated demand for inspectable models across the security community.
- Released under Apache 2.0, CIRCUIT is open for collective adoption and contribution, with a call for practitioners to test and refine it against real deployments.
The State of Open-Source LLM Inference
10 days ago
- The transition from frontier model APIs to building your own open-source LLM inference stack often starts due to financial, legal, or engineering concerns.
- The initial decision point is whether to buy from managed inference providers or build with open weights and your own hardware, with this post focusing on the build path.
- Starting with a single replica using serving engines like vLLM, SGLang, or TensorRT-LLM typically works well, handling batching and KV cache management effectively.
- Optimizations within a replica include quantization (e.g., FP8 for +14% throughput) and speculative decoding (like EAGLE), but good defaults are still evolving.
- As concurrency increases, latency can degrade drastically at the 'knee' point, necessitating multiple replicas and KV-cache-aware routing to maintain performance.
- Prefill/decode disaggregation (as in Mooncake) separates compute-bound and memory-bandwidth-bound phases, allowing heterogeneous hardware usage for cost efficiency.
- Model mixes with smaller and larger models require intelligent routing via gateways (e.g., LiteLLM, RouteLLM) to manage costs while maintaining quality for different requests.
- Caching strategies, including prefix caching across storage tiers (HBM to NVMe) and response caching, help reduce recomputation and lower costs as traffic grows.
- Observability across the stack remains challenging, with metrics scattered across components; tools like OpenTelemetry and Langfuse provide pieces but lack end-to-end visibility.
- Key gaps include integrated fleet management, workload-aware tooling, and better defaults to replace folklore, with multimodal serving posing additional challenges.
XBill!
11 days ago
- XBill is a game where players act as sysadmins protecting computers from viruses disguised as Windows, with network infections spreading via cables.
- Originally developed in summer 1994 by Brian Wellington and Matias Duarte, it has evolved through revisions, with version 2.1 being the latest.
- The game welcomes new ideas for improvements, especially graphical enhancements, and offers access to a Java applet version, source code, and RPM downloads.
Let's Build PlanetScale from Scratch: Infrastructure
9 days ago
- The author is building Homescale, a tool for creating writable database instances and point-in-time branches from immutable snapshots without full database copies.
- Homescale uses a Docker-like model with images, containers, and branches, supporting multiple database engines like Postgres.
- It separates storage from compute, enabling branching in the storage layer using copy-on-write (COW) to share unchanged data across branches.
- Ceph provides the underlying block storage with RBD for immutable snapshots and writable COW clones, integrated via Kubernetes and Rook.
- Homescale leverages Kubernetes as a control plane for managing resources like PVCs and VolumeSnapshots, with plans for local and cloud deployments.
Microsoft Comic Chat is now open source
9 days ago
- Microsoft Comic Chat, an IRC client that turned conversations into comic panels, is now open-source on GitHub.
- Originally released in 1996, it introduced Comic Sans font and used AI-like rules to generate character expressions and gestures from text.
- Developed by David Kurlander and team, with art by Jim Woodring, it represented innovative, playful early web experimentation.
- The open-source release includes original code and AI-powered modernization examples, preserving software history for community exploration.
- Comic Chat reflects 1990s internet optimism, encouraging unconventional creativity in online communication.

firstprev0next

About|Login

open-source

Jimmy is a tool to convert your notes from different formats to Markdown

Simple, beautiful Emacs modeline: modusregel

Mistralai/Leanstral-1.5-119B-A6B

EVE Online's Carbon engine is now open source: Fenris Creations explains why

U.S. Policies Unintentionally Accelerated China's Open AI Ecosystems

Organic Maps

Amazon Without the Knockoffs

Why is there smoke from the boiler room? – Botanical Garden using Home Assistant

Chatto is now Open Source

Show HN: Pug.sh – open-source product analytics

Show HN: OpenScreenShot: open-source full-page screenshot and annotation tool

Another German state heads down the open source sovereignty road

Garnix Is Joining Shopify

I tried NetBSD as a desktop,it felt like stepping into the 90s in a good way

Modern Implementation of Notational Velocity

You Cannot Defend What You Cannot Inspect

The State of Open-Source LLM Inference

XBill!

Let's Build PlanetScale from Scratch: Infrastructure

Microsoft Comic Chat is now open source