Hasty Briefsbeta

Bilingual

Show HN: Open-Source Notion MCP Server (TypeScript, SSE, Apify)
4 months ago
- Connect Claude Desktop and other MCP clients directly to Notion using a real MCP server with SSE support.
- Run securely in the cloud via Apify with a base URL and SSE endpoint.
- Authentication uses Bearer token via Authorization header.
- Supports Notion API access (CRUD via OpenAPI tools) with rate-limiting and DDoS protection.
- Configuration via environment variables (NOTION_TOKEN, SECRET_TOKEN, etc.).
- Docker support available for local deployment.
- Integration instructions for claude_desktop_config.json provided.
- Security best practices include not committing .env files and using strong SECRET_TOKENs.
Interactive Common Lisp: An Enhanced REPL
4 months ago
- ICL is an enhanced REPL for Common Lisp with modern terminal-based features.
- Features include syntax highlighting, parenthesis matching, and Paredit mode.
- Supports multi-line input, persistent history, and tab completion.
- Includes a command system with built-in commands prefixed with a comma.
- Works with multiple Lisp implementations like SBCL, CCL, ECL, and more.
- Provides error backtraces, thread inspection, and documentation lookup.
- Allows object inspection, function tracing, and source location finding.
- Available for Linux and Windows, with installation via GitHub or Roswell.
- Includes various commands for package management, documentation, and debugging.
- Supports customization via ~/.iclrc and environment variables.
- Operates as a frontend communicating with backend Lisp via Slynk protocol.
- MIT Licensed, developed by Anthony Green.
Show HN: I designed my own 3D printer motherboard
4 months ago
- The Cheetah MX4 Mini is a compact, open-source 3D printer motherboard (80x90mm).
- Features 4 TMC stepstick drivers with UART/SPI support, sensorless/endstop homing, and 3 thermistor inputs.
- Supports parallel/serial LCDs/TFT displays, BLTouch Probe, and has 3 fan output connectors.
- Includes 2 high-amperage heater outputs, STM32H743VIT6 MCU, USB-C/SD-Card printing, and 4x M3 mounting holes.
- 12/24V, 15A input with status/power LEDs for programming.
- 4-layer PCB with dedicated power/ground layers, designed for high-current inputs with protection circuits.
- Compatible with Marlin, Klipper, and other 3D printer firmwares.
- Firmware upload via boot/reset pins; detailed firmware guide coming soon.
- JLCPCB BOM costs ~$150 for 5 boards; LCSC BOM ~$20 + $20 shipping.
- Acknowledgments to contributors @Fisheiyy, Reddit users, and Hackclub sponsors @qcoral & @acornitum.
Make images smaller using best-in-class codecs, right in the browser
4 months ago
- Squoosh is a web app for image compression that works locally without sending images to a server.
- It uses Google Analytics to collect visitor data, image size comparisons, and PWA installation details.
- To develop for Squoosh, clone the repository, install dependencies, build the app, and start the dev server.
- Squoosh is open-source and welcomes community contributions via its contribute guide.
The Well: 15TB of Physics Simulations
4 months ago
- The Well is a large-scale collection of machine learning datasets containing numerical simulations of spatiotemporal physical systems.
- It provides 15TB of data across 16 datasets covering diverse domains like biological systems, fluid dynamics, and magneto-hydrodynamic simulations.
- Datasets can be used individually or as part of a broader benchmark suite for machine learning and computational sciences research.
- Installation can be done via PyPI or from source, with options for different hardware accelerations like CUDA.
- Datasets range from 6.9GB to 5.1TB each, requiring significant disk space.
- Data can be downloaded locally or streamed from Hugging Face, with recommendations for local downloads for better performance.
- Benchmarking tools are included, with state-of-the-art models implemented for surrogate modeling.
- Pre-trained model checkpoints are available on Hugging Face for easy loading and use.
- The project is a collaboration led by Polymathic AI with contributions from various institutions worldwide.
- Users are encouraged to cite the project in their research and can contact the maintainers for questions or issues.
SVG Fullstack Website
4 months ago
- SVGs are commonly used for website logos.
- An entire web app can be built using SVGs, including HTML, CSS, and JS functionality.
- The app includes embedded storage and features for sharing and merging data between users.
- SVGs, often seen as just an image format, can be much more versatile.
Metacode: The new standard for machine-readable comments for Python
4 months ago
- Many Python tools use special comments for source code analysis, but lack a unified standard.
- This library introduces a standard format for action comments, simplifying their use across tools.
- Action comments consist of a key, action, and optional arguments, following Python syntax rules.
- The library provides a parser to extract and insert these comments, supporting various data types.
- Developers can filter comments by key, handle case sensitivity, and manage multiple comments per line.
- For non-Python tools, the library offers a safe subset of Python syntax for implementing custom parsers.
Show HN: Dograh – an OSS Vapi alternative to quickly build and test voice agents
4 months ago
- Dograh is an open-source alternative to Vapi for building voice agents with a drag-and-drop workflow builder.
- It can be self-hosted, ensuring no vendor lock-in, and offers full control and transparency with open-source code.
- The platform is maintained by YC alumni and exit founders, emphasizing open access to voice AI.
- Setup is quick, with a promise of going from zero to a working bot in under 2 minutes.
- Includes built-in AI testing personas and flexible integration options for LLM, TTS, and STT.
- The project encourages contributions and is licensed under the BSD 2-Clause License.
- Offers both self-hosting and a managed cloud option, with detailed documentation and community support via Slack.
Gentleman Guardian Angel – AI provider-agnostic code review via Git hook
4 months ago
- Gentleman Guardian Angel (GGA) is a provider-agnostic AI code review tool that enforces coding standards.
- It runs on every commit, validating staged files against project rules defined in AGENTS.md.
- Key features include zero dependencies (pure Bash), git-native integration, and smart caching.
- Supports multiple AI providers: Claude, Gemini, Codex, and Ollama.
- Highly configurable with file patterns, exclusions, and strict mode for CI/CD.
- Installation options include Homebrew and direct cloning from GitHub.
- Setup involves initializing config, creating AGENTS.md rules, and installing git hooks.
- Example workflow shows how it catches violations during commit and allows fixes.
- Includes commands for managing cache, configuration, and running reviews.
- Integrates with popular hook managers like Husky, pre-commit, and Lefthook.
- Can be used in CI pipelines for GitHub Actions and GitLab CI.
- Development includes comprehensive testing with ShellSpec and shellcheck linting.
Show HN: Open-source customizable AI voice dictation built on Pipecat
4 months ago
- Tambourine is a universal voice interface that works across various applications, allowing users to dictate text naturally.
- It offers AI-powered speech-to-text with formatting, removing filler words and adding punctuation.
- Customizable with personal dictionaries and supports multiple AI providers for STT and LLM.
- Available on multiple platforms including Windows, macOS, Android, and iOS (Linux support pending).
- Features include dual-mode recording, real-time transcription, and context-aware formatting.
- Open-source alternative to proprietary tools like Wispr Flow and Superwhisper.
- Built with Tauri for the desktop app and Pipecat for the voice AI pipeline.
- Requires microphone and accessibility permissions for full functionality.
- Supports various AI providers with generous free tiers, such as Cartesia and Cerebras.
- Development is ongoing, with core features functional but subject to changes.
Standalone Meshtastic Command Center – One HTML File Offline
4 months ago
- A fully offline, single-file web interface for managing Meshtastic mesh networks.
- Zero-dependency, browser-based management interface.
- Runs entirely from a single HTML file with no backend server, installation, or internet connection.
- Designed for reliability in field conditions, emergency scenarios, and research environments.
- Supports Web Bluetooth, Web Serial, WiFi/HTTP connections, and auto-detection of supported transports.
- Features include real-time node maps, mesh metrics (RSSI, SNR, hop count), message console, and node configuration.
- Works on laptops, tablets, smartphones, smartwatches, and any modern browser supporting Web Bluetooth/Web Serial.
- No installation required—just open the file and connect.
- Planned improvements include node provisioning tools, fleet-level monitoring, and offline map tile caching.
- Encourages contributions via hardware testing, bug reports, feature suggestions, and pull requests.
- Completely transparent and reliable with no frameworks, build processes, backend infrastructure, or telemetry.
- Users maintain complete control of their mesh and configuration with no data leaving the local device.
- Licensing options include Apache 2.0, MIT License, and MPL 2.0.
- Open for professional integrations or deployment support inquiries.
Chip‐8 Technical Reference
4 months ago
- CHIP-8 is a programming language with a technical reference aimed at compatibility with Joseph Weisbecker's original COSMAC VIP implementation.
- The CHIP-8 instruction set includes 35 instructions, with some originally undocumented but later recognized due to their use in compatible programs.
- CHIP-8 programs are loaded into memory starting at address 0x200, with specific memory ranges reserved for the interpreter and variables.
- CHIP-8 features sixteen 8-bit general-purpose data registers (V0 to VF) and a 16-bit address register (I) for memory operations.
- The interpreter supports up to twelve successive subroutine calls and includes two programmable timers: delay and sound timers.
- Input is accepted via a 16-key hexadecimal keypad, with a specific layout provided.
- Graphics output is monochrome, 64x32 pixels, with sprites drawn using XOR mode and clipping for off-screen positions.
- A preloaded font of sixteen hexadecimal digits is available for display, with each character being 4x5 pixels.
- The document references several historical manuals and articles for further reading on CHIP-8 programming and implementation.
Rust Coreutils 0.5.0 Release: 87.75% compatibility with GNU Coreutils
4 months ago
- Rust Coreutils 0.5.0 released with improved GNU compatibility (87.75% test pass rate).
- Key improvements include Unicode text processing, security enhancements, and performance optimizations.
- Added support for OpenBSD and Redox OS in CI, along with enhanced Cygwin compatibility.
- Developer experience improved with new TTY helper, benchmarking tools, and reduced dependency bloat.
- Six new contributors joined the project, enhancing community involvement.
- Call to action includes requests for translations, sponsorships, and downloads.
Show HN: Cargo-rail: graph-aware monorepo tooling for Rust; 11 deps
4 months ago
- cargo-rail is a tool for managing Rust workspaces with features like dependency unification, dead feature pruning, and graph-aware change detection.
- It replaces multiple tools like cargo-hakari, cargo-udeps, and cargo-msrv with a single unified solution.
- Key features include:
- - Unifying dependency versions across the workspace.
- - Pruning dead features and detecting unused dependencies.
- - Computing the Minimum Supported Rust Version (MSRV) from the dependency graph.
- - Graph-aware change detection to only test affected crates in CI.
- - Extracting crates with full git history and bidirectional sync.
- - Dependency-order publishing with changelog generation.
- It integrates with CI systems like GitHub Actions to reduce CI time by testing only affected crates.
- Configuration is managed via a .config/rail.toml file, which can be generated and customized.
- cargo-rail is designed to work with existing Cargo workflows and supports features like workspace inheritance and private registries.
- It aims to provide the benefits of build systems like Bazel/Buck2 for Rust workspaces without leaving the Cargo ecosystem.
- The tool has been tested on large production workspaces like tikv, meilisearch, and tokio, showing significant reductions in unified dependencies and dead features.
- It addresses common issues like undeclared features, which can lead to cryptic compile errors when testing or publishing crates in isolation.
OpenChessClub: Free and OS Chess Club Management Software
4 months ago
- OpenChessClub is an open-source chess club management platform built with Node.js, Express, MongoDB, and Handlebars.
- Features include player management, game tracking, leaderboards, and an admin interface.
- Installation involves cloning the repository, installing dependencies, and configuring environment variables.
- MongoDB setup requires creating a free cluster on MongoDB Atlas and configuring database access.
- A session secret can be generated using OpenSSL.
Ctop: Top-Like Container/Docker Monitoring Tool
4 months ago
- ctop provides a top-like interface for monitoring container metrics in real-time.
- Supports Docker and runC, with plans for additional container and cluster systems.
- Available for multiple platforms including Linux (Debian, Arch), macOS (Homebrew, MacPorts), and Windows (Scoop).
- Can be run directly via Docker with a simple command.
- Features include filtering, sorting, and viewing container logs.
- Configurable settings can be saved for future sessions.
- Includes a single container view for detailed inspection.
- Offers keyboard shortcuts for quick actions like opening a shell or viewing logs.
Lean Theorem Prover Mathlib
4 months ago
- Mathlib is a user-maintained library for the Lean theorem prover, containing programming infrastructure, mathematics, and tactics.
- Installation guides for Lean and mathlib are available on their website, with options for GitHub Codespace or Gitpod workspace.
- Mathlib's documentation includes automatically generated docs from source files, theory coverage, and extra Lean documentation.
- Community discussions occur in a Zulip chat room, welcoming users of all expertise levels.
- Contributing to mathlib involves following style guides, naming conventions, and documentation standards.
- Precompiled files can be obtained with `lake exe cache get`, and building mathlib is done via `lake build`.
- For Lean 3 users transitioning to Lean 4, resources include a survival guide and instructions for using `mathport`.
- Dependencies can be updated using `lake update`, with specific guidelines for documentation-related dependencies.
- A list of mathlib maintainers and their areas of expertise is provided, covering various mathematical and technical fields.
Awesome-Jj: Jujutsu Things
4 months ago
- Jujutsu (jj) is a Git-compatible version control system.
- This repository is a curated list of resources related to Jujutsu.
- Includes tutorials like 'Official tutorial', 'Steve Klabnik's tutorial', 'Jujutsu For Busy Devs', and more.
- Features tools and GUIs such as gg, jjui, Jujutsu Kaizen, lazyjj, and Selvejj.
- Community channels include IRC (#jujutsu on Libera Chat) and Discord.
- Contributions are encouraged for typo fixes, legibility improvements, or updating links.
llamafile: Distribute and Run LLMs with a Single File
4 months ago
- Mozilla.ai adopted the llamafile project and seeks feedback for codebase modernization.
- llamafile simplifies LLM distribution and execution into a single-file executable, combining llama.cpp and Cosmopolitan Libc.
- The project aims to make open LLMs more accessible to developers and end users.
- Example provided for downloading and running a llamafile (LLaVA 1.5 7B model).
- Documentation includes quickstart guides, supported systems, example llamafiles, and technical details.
- Licensing: llamafile is Apache 2.0, with llama.cpp modifications under MIT for compatibility.
- The llamafile logo was created with DALL·E 3 assistance.
RemoveWindowsAI
4 months ago
- Windows 11 25H2 and future builds will include more AI features.
- Script removes AI features to improve privacy, security, and user experience.
- Disables Copilot, Recall, Input Insights, AI in Paint, Voice Access, and more.
- Removes AI appx packages, hidden CBS store packages, and AI files.
- Hides AI components in settings and disables AI features in Notepad.
- Forcibly removes Recall scheduled tasks and prevents AI package reinstallation.
- Script may trigger false positives in antivirus software; disable temporarily if needed.
- Run in Windows PowerShell 5.1 to avoid issues with PowerShell 7.
- Supports non-interactive mode with all or specific removal options.
- Backup mode allows reverting changes; revert command provided.
- Script will be updated for new stable builds; insider features not supported.
- Users can submit missing AI features for future script updates.
- Donations are welcome to support the project.

first prev17next

About|Login

Bilingual

Show HN: Open-Source Notion MCP Server (TypeScript, SSE, Apify)
4 months ago
- Connect Claude Desktop and other MCP clients directly to Notion using a real MCP server with SSE support.
- Run securely in the cloud via Apify with a base URL and SSE endpoint.
- Authentication uses Bearer token via Authorization header.
- Supports Notion API access (CRUD via OpenAPI tools) with rate-limiting and DDoS protection.
- Configuration via environment variables (NOTION_TOKEN, SECRET_TOKEN, etc.).
- Docker support available for local deployment.
- Integration instructions for claude_desktop_config.json provided.
- Security best practices include not committing .env files and using strong SECRET_TOKENs.
Interactive Common Lisp: An Enhanced REPL
4 months ago
- ICL is an enhanced REPL for Common Lisp with modern terminal-based features.
- Features include syntax highlighting, parenthesis matching, and Paredit mode.
- Supports multi-line input, persistent history, and tab completion.
- Includes a command system with built-in commands prefixed with a comma.
- Works with multiple Lisp implementations like SBCL, CCL, ECL, and more.
- Provides error backtraces, thread inspection, and documentation lookup.
- Allows object inspection, function tracing, and source location finding.
- Available for Linux and Windows, with installation via GitHub or Roswell.
- Includes various commands for package management, documentation, and debugging.
- Supports customization via ~/.iclrc and environment variables.
- Operates as a frontend communicating with backend Lisp via Slynk protocol.
- MIT Licensed, developed by Anthony Green.
Show HN: I designed my own 3D printer motherboard
4 months ago
- The Cheetah MX4 Mini is a compact, open-source 3D printer motherboard (80x90mm).
- Features 4 TMC stepstick drivers with UART/SPI support, sensorless/endstop homing, and 3 thermistor inputs.
- Supports parallel/serial LCDs/TFT displays, BLTouch Probe, and has 3 fan output connectors.
- Includes 2 high-amperage heater outputs, STM32H743VIT6 MCU, USB-C/SD-Card printing, and 4x M3 mounting holes.
- 12/24V, 15A input with status/power LEDs for programming.
- 4-layer PCB with dedicated power/ground layers, designed for high-current inputs with protection circuits.
- Compatible with Marlin, Klipper, and other 3D printer firmwares.
- Firmware upload via boot/reset pins; detailed firmware guide coming soon.
- JLCPCB BOM costs ~$150 for 5 boards; LCSC BOM ~$20 + $20 shipping.
- Acknowledgments to contributors @Fisheiyy, Reddit users, and Hackclub sponsors @qcoral & @acornitum.
Make images smaller using best-in-class codecs, right in the browser
4 months ago
- Squoosh is a web app for image compression that works locally without sending images to a server.
- It uses Google Analytics to collect visitor data, image size comparisons, and PWA installation details.
- To develop for Squoosh, clone the repository, install dependencies, build the app, and start the dev server.
- Squoosh is open-source and welcomes community contributions via its contribute guide.
The Well: 15TB of Physics Simulations
4 months ago
- The Well is a large-scale collection of machine learning datasets containing numerical simulations of spatiotemporal physical systems.
- It provides 15TB of data across 16 datasets covering diverse domains like biological systems, fluid dynamics, and magneto-hydrodynamic simulations.
- Datasets can be used individually or as part of a broader benchmark suite for machine learning and computational sciences research.
- Installation can be done via PyPI or from source, with options for different hardware accelerations like CUDA.
- Datasets range from 6.9GB to 5.1TB each, requiring significant disk space.
- Data can be downloaded locally or streamed from Hugging Face, with recommendations for local downloads for better performance.
- Benchmarking tools are included, with state-of-the-art models implemented for surrogate modeling.
- Pre-trained model checkpoints are available on Hugging Face for easy loading and use.
- The project is a collaboration led by Polymathic AI with contributions from various institutions worldwide.
- Users are encouraged to cite the project in their research and can contact the maintainers for questions or issues.
SVG Fullstack Website
4 months ago
- SVGs are commonly used for website logos.
- An entire web app can be built using SVGs, including HTML, CSS, and JS functionality.
- The app includes embedded storage and features for sharing and merging data between users.
- SVGs, often seen as just an image format, can be much more versatile.
Metacode: The new standard for machine-readable comments for Python
4 months ago
- Many Python tools use special comments for source code analysis, but lack a unified standard.
- This library introduces a standard format for action comments, simplifying their use across tools.
- Action comments consist of a key, action, and optional arguments, following Python syntax rules.
- The library provides a parser to extract and insert these comments, supporting various data types.
- Developers can filter comments by key, handle case sensitivity, and manage multiple comments per line.
- For non-Python tools, the library offers a safe subset of Python syntax for implementing custom parsers.
Show HN: Dograh – an OSS Vapi alternative to quickly build and test voice agents
4 months ago
- Dograh is an open-source alternative to Vapi for building voice agents with a drag-and-drop workflow builder.
- It can be self-hosted, ensuring no vendor lock-in, and offers full control and transparency with open-source code.
- The platform is maintained by YC alumni and exit founders, emphasizing open access to voice AI.
- Setup is quick, with a promise of going from zero to a working bot in under 2 minutes.
- Includes built-in AI testing personas and flexible integration options for LLM, TTS, and STT.
- The project encourages contributions and is licensed under the BSD 2-Clause License.
- Offers both self-hosting and a managed cloud option, with detailed documentation and community support via Slack.
Gentleman Guardian Angel – AI provider-agnostic code review via Git hook
4 months ago
- Gentleman Guardian Angel (GGA) is a provider-agnostic AI code review tool that enforces coding standards.
- It runs on every commit, validating staged files against project rules defined in AGENTS.md.
- Key features include zero dependencies (pure Bash), git-native integration, and smart caching.
- Supports multiple AI providers: Claude, Gemini, Codex, and Ollama.
- Highly configurable with file patterns, exclusions, and strict mode for CI/CD.
- Installation options include Homebrew and direct cloning from GitHub.
- Setup involves initializing config, creating AGENTS.md rules, and installing git hooks.
- Example workflow shows how it catches violations during commit and allows fixes.
- Includes commands for managing cache, configuration, and running reviews.
- Integrates with popular hook managers like Husky, pre-commit, and Lefthook.
- Can be used in CI pipelines for GitHub Actions and GitLab CI.
- Development includes comprehensive testing with ShellSpec and shellcheck linting.
Show HN: Open-source customizable AI voice dictation built on Pipecat
4 months ago
- Tambourine is a universal voice interface that works across various applications, allowing users to dictate text naturally.
- It offers AI-powered speech-to-text with formatting, removing filler words and adding punctuation.
- Customizable with personal dictionaries and supports multiple AI providers for STT and LLM.
- Available on multiple platforms including Windows, macOS, Android, and iOS (Linux support pending).
- Features include dual-mode recording, real-time transcription, and context-aware formatting.
- Open-source alternative to proprietary tools like Wispr Flow and Superwhisper.
- Built with Tauri for the desktop app and Pipecat for the voice AI pipeline.
- Requires microphone and accessibility permissions for full functionality.
- Supports various AI providers with generous free tiers, such as Cartesia and Cerebras.
- Development is ongoing, with core features functional but subject to changes.
Standalone Meshtastic Command Center – One HTML File Offline
4 months ago
- A fully offline, single-file web interface for managing Meshtastic mesh networks.
- Zero-dependency, browser-based management interface.
- Runs entirely from a single HTML file with no backend server, installation, or internet connection.
- Designed for reliability in field conditions, emergency scenarios, and research environments.
- Supports Web Bluetooth, Web Serial, WiFi/HTTP connections, and auto-detection of supported transports.
- Features include real-time node maps, mesh metrics (RSSI, SNR, hop count), message console, and node configuration.
- Works on laptops, tablets, smartphones, smartwatches, and any modern browser supporting Web Bluetooth/Web Serial.
- No installation required—just open the file and connect.
- Planned improvements include node provisioning tools, fleet-level monitoring, and offline map tile caching.
- Encourages contributions via hardware testing, bug reports, feature suggestions, and pull requests.
- Completely transparent and reliable with no frameworks, build processes, backend infrastructure, or telemetry.
- Users maintain complete control of their mesh and configuration with no data leaving the local device.
- Licensing options include Apache 2.0, MIT License, and MPL 2.0.
- Open for professional integrations or deployment support inquiries.
Chip‐8 Technical Reference
4 months ago
- CHIP-8 is a programming language with a technical reference aimed at compatibility with Joseph Weisbecker's original COSMAC VIP implementation.
- The CHIP-8 instruction set includes 35 instructions, with some originally undocumented but later recognized due to their use in compatible programs.
- CHIP-8 programs are loaded into memory starting at address 0x200, with specific memory ranges reserved for the interpreter and variables.
- CHIP-8 features sixteen 8-bit general-purpose data registers (V0 to VF) and a 16-bit address register (I) for memory operations.
- The interpreter supports up to twelve successive subroutine calls and includes two programmable timers: delay and sound timers.
- Input is accepted via a 16-key hexadecimal keypad, with a specific layout provided.
- Graphics output is monochrome, 64x32 pixels, with sprites drawn using XOR mode and clipping for off-screen positions.
- A preloaded font of sixteen hexadecimal digits is available for display, with each character being 4x5 pixels.
- The document references several historical manuals and articles for further reading on CHIP-8 programming and implementation.
Rust Coreutils 0.5.0 Release: 87.75% compatibility with GNU Coreutils
4 months ago
- Rust Coreutils 0.5.0 released with improved GNU compatibility (87.75% test pass rate).
- Key improvements include Unicode text processing, security enhancements, and performance optimizations.
- Added support for OpenBSD and Redox OS in CI, along with enhanced Cygwin compatibility.
- Developer experience improved with new TTY helper, benchmarking tools, and reduced dependency bloat.
- Six new contributors joined the project, enhancing community involvement.
- Call to action includes requests for translations, sponsorships, and downloads.
Show HN: Cargo-rail: graph-aware monorepo tooling for Rust; 11 deps
4 months ago
- cargo-rail is a tool for managing Rust workspaces with features like dependency unification, dead feature pruning, and graph-aware change detection.
- It replaces multiple tools like cargo-hakari, cargo-udeps, and cargo-msrv with a single unified solution.
- Key features include:
- - Unifying dependency versions across the workspace.
- - Pruning dead features and detecting unused dependencies.
- - Computing the Minimum Supported Rust Version (MSRV) from the dependency graph.
- - Graph-aware change detection to only test affected crates in CI.
- - Extracting crates with full git history and bidirectional sync.
- - Dependency-order publishing with changelog generation.
- It integrates with CI systems like GitHub Actions to reduce CI time by testing only affected crates.
- Configuration is managed via a .config/rail.toml file, which can be generated and customized.
- cargo-rail is designed to work with existing Cargo workflows and supports features like workspace inheritance and private registries.
- It aims to provide the benefits of build systems like Bazel/Buck2 for Rust workspaces without leaving the Cargo ecosystem.
- The tool has been tested on large production workspaces like tikv, meilisearch, and tokio, showing significant reductions in unified dependencies and dead features.
- It addresses common issues like undeclared features, which can lead to cryptic compile errors when testing or publishing crates in isolation.
OpenChessClub: Free and OS Chess Club Management Software
4 months ago
- OpenChessClub is an open-source chess club management platform built with Node.js, Express, MongoDB, and Handlebars.
- Features include player management, game tracking, leaderboards, and an admin interface.
- Installation involves cloning the repository, installing dependencies, and configuring environment variables.
- MongoDB setup requires creating a free cluster on MongoDB Atlas and configuring database access.
- A session secret can be generated using OpenSSL.
Ctop: Top-Like Container/Docker Monitoring Tool
4 months ago
- ctop provides a top-like interface for monitoring container metrics in real-time.
- Supports Docker and runC, with plans for additional container and cluster systems.
- Available for multiple platforms including Linux (Debian, Arch), macOS (Homebrew, MacPorts), and Windows (Scoop).
- Can be run directly via Docker with a simple command.
- Features include filtering, sorting, and viewing container logs.
- Configurable settings can be saved for future sessions.
- Includes a single container view for detailed inspection.
- Offers keyboard shortcuts for quick actions like opening a shell or viewing logs.
Lean Theorem Prover Mathlib
4 months ago
- Mathlib is a user-maintained library for the Lean theorem prover, containing programming infrastructure, mathematics, and tactics.
- Installation guides for Lean and mathlib are available on their website, with options for GitHub Codespace or Gitpod workspace.
- Mathlib's documentation includes automatically generated docs from source files, theory coverage, and extra Lean documentation.
- Community discussions occur in a Zulip chat room, welcoming users of all expertise levels.
- Contributing to mathlib involves following style guides, naming conventions, and documentation standards.
- Precompiled files can be obtained with `lake exe cache get`, and building mathlib is done via `lake build`.
- For Lean 3 users transitioning to Lean 4, resources include a survival guide and instructions for using `mathport`.
- Dependencies can be updated using `lake update`, with specific guidelines for documentation-related dependencies.
- A list of mathlib maintainers and their areas of expertise is provided, covering various mathematical and technical fields.
Awesome-Jj: Jujutsu Things
4 months ago
- Jujutsu (jj) is a Git-compatible version control system.
- This repository is a curated list of resources related to Jujutsu.
- Includes tutorials like 'Official tutorial', 'Steve Klabnik's tutorial', 'Jujutsu For Busy Devs', and more.
- Features tools and GUIs such as gg, jjui, Jujutsu Kaizen, lazyjj, and Selvejj.
- Community channels include IRC (#jujutsu on Libera Chat) and Discord.
- Contributions are encouraged for typo fixes, legibility improvements, or updating links.
llamafile: Distribute and Run LLMs with a Single File
4 months ago
- Mozilla.ai adopted the llamafile project and seeks feedback for codebase modernization.
- llamafile simplifies LLM distribution and execution into a single-file executable, combining llama.cpp and Cosmopolitan Libc.
- The project aims to make open LLMs more accessible to developers and end users.
- Example provided for downloading and running a llamafile (LLaVA 1.5 7B model).
- Documentation includes quickstart guides, supported systems, example llamafiles, and technical details.
- Licensing: llamafile is Apache 2.0, with llama.cpp modifications under MIT for compatibility.
- The llamafile logo was created with DALL·E 3 assistance.
RemoveWindowsAI
4 months ago
- Windows 11 25H2 and future builds will include more AI features.
- Script removes AI features to improve privacy, security, and user experience.
- Disables Copilot, Recall, Input Insights, AI in Paint, Voice Access, and more.
- Removes AI appx packages, hidden CBS store packages, and AI files.
- Hides AI components in settings and disables AI features in Notepad.
- Forcibly removes Recall scheduled tasks and prevents AI package reinstallation.
- Script may trigger false positives in antivirus software; disable temporarily if needed.
- Run in Windows PowerShell 5.1 to avoid issues with PowerShell 7.
- Supports non-interactive mode with all or specific removal options.
- Backup mode allows reverting changes; revert command provided.
- Script will be updated for new stable builds; insider features not supported.
- Users can submit missing AI features for future script updates.
- Donations are welcome to support the project.

Hasty Briefsbeta

Show HN: Open-Source Notion MCP Server (TypeScript, SSE, Apify)

Interactive Common Lisp: An Enhanced REPL

Show HN: I designed my own 3D printer motherboard

Make images smaller using best-in-class codecs, right in the browser

The Well: 15TB of Physics Simulations

SVG Fullstack Website

Metacode: The new standard for machine-readable comments for Python

Show HN: Dograh – an OSS Vapi alternative to quickly build and test voice agents

Gentleman Guardian Angel – AI provider-agnostic code review via Git hook

Show HN: Open-source customizable AI voice dictation built on Pipecat

Standalone Meshtastic Command Center – One HTML File Offline

Chip‐8 Technical Reference

Rust Coreutils 0.5.0 Release: 87.75% compatibility with GNU Coreutils

Show HN: Cargo-rail: graph-aware monorepo tooling for Rust; 11 deps

OpenChessClub: Free and OS Chess Club Management Software

Ctop: Top-Like Container/Docker Monitoring Tool

Lean Theorem Prover Mathlib

Awesome-Jj: Jujutsu Things

llamafile: Distribute and Run LLMs with a Single File

RemoveWindowsAI

Show HN: Open-Source Notion MCP Server (TypeScript, SSE, Apify)

Interactive Common Lisp: An Enhanced REPL

Show HN: I designed my own 3D printer motherboard

Make images smaller using best-in-class codecs, right in the browser

The Well: 15TB of Physics Simulations

SVG Fullstack Website

Metacode: The new standard for machine-readable comments for Python

Show HN: Dograh – an OSS Vapi alternative to quickly build and test voice agents

Gentleman Guardian Angel – AI provider-agnostic code review via Git hook

Show HN: Open-source customizable AI voice dictation built on Pipecat

Standalone Meshtastic Command Center – One HTML File Offline

Chip‐8 Technical Reference

Rust Coreutils 0.5.0 Release: 87.75% compatibility with GNU Coreutils

Show HN: Cargo-rail: graph-aware monorepo tooling for Rust; 11 deps

OpenChessClub: Free and OS Chess Club Management Software

Ctop: Top-Like Container/Docker Monitoring Tool

Lean Theorem Prover Mathlib

Awesome-Jj: Jujutsu Things

llamafile: Distribute and Run LLMs with a Single File

RemoveWindowsAI