Webtagr - Technology News Summarizer

Popular：

Virtualization DNS security formal verification reachability analysis compiler errors macro conflict web extension development framework Bitmap Graphics API inconsistencies All Tags

Beam: SSH-based File and Pipe Transfer Tool

2025-01-04

Beam: SSH-based File and Pipe Transfer Tool

Beam is a tool for transferring files and pipes over SSH, requiring only an SSH client; no binary installation is needed. It supports pipe transfer, offers high security with public key authentication, and uses simple SSH commands for sending and receiving data. Random channel names can enhance security. While the Beam server is located in Germany, transfer speeds might be limited, and end-to-end encryption isn't supported (data is briefly decrypted on the server), its lightweight nature and simple self-hosting make it a convenient file transfer solution.

(github.com)

Development file transfer pipe transfer

Transcendental Syntax: Building Logical Abstractions from a Low-Level Language

2025-01-04

Transcendental Syntax: Building Logical Abstractions from a Low-Level Language

This GitHub project implements Jean-Yves Girard's 'Transcendental Syntax,' a method for constructing logical abstractions from a low-level, logic-agnostic language. It uses a base language called 'stellar resolution,' where elementary objects (programs) are 'constellations.' These constellations are used in a higher-level language, 'Stellogen' (a metaprogramming language for constellations), to define proofs and formulas. The project is under development, with the guide currently only available in French.

(github.com)

Development logic metaprogramming

Blazing Fast JavaScript/TypeScript Compiler and Bundler on JVM: swc4j

2025-01-04

Blazing Fast JavaScript/TypeScript Compiler and Bundler on JVM: swc4j

swc4j is an ultra-fast JavaScript and TypeScript compilation and bundling tool on the JVM. Part of the Javet portfolio, it processes JavaScript and TypeScript code before execution in Node.js or V8 on the JVM. Features include AST parsing, plugin support, code transformations, minification, multiple target ES versions, source maps, and robust code sanitization (keyword restrictions, object protection, etc.). Easily integrated into projects via Maven or Gradle, swc4j offers a streamlined workflow for compiling and bundling.

(github.com)

Development

F-Droid Fake Signer PoC: Bypassing Certificate Pinning

2025-01-04

F-Droid Fake Signer PoC: Bypassing Certificate Pinning

This project is a proof-of-concept demonstrating vulnerabilities in F-Droid's APK signature verification. Attackers can exploit these flaws to forge signatures, bypassing F-Droid's certificate pinning and allowing malicious apps to masquerade as legitimate ones. The vulnerabilities stem from inconsistencies in how F-Droid handles certificate order and verification within the APK signing block. By manipulating these inconsistencies, attackers can inject false certificate information, tricking F-Droid into accepting them as valid. While fixes have been proposed and implemented, further vulnerabilities and bypasses have been discovered, highlighting ongoing challenges in securing APK signing verification.

(github.com)

Development Android Security APK Signing F-Droid Vulnerability

Terrain Rendering in Under 20 Lines of Code: A Voxel Space Engine Revival

2025-01-03

Terrain Rendering in Under 20 Lines of Code: A Voxel Space Engine Revival

This project recreates the Voxel Space terrain rendering algorithm used in the 1992 game Comanche. The algorithm, implemented in under 20 lines of code, leverages height and color maps to render terrain using a ray-casting-like approach. The article details the algorithm, offering optimization strategies like back-to-front and front-to-back rendering, and level of detail adjustments for performance improvement. The project is open-source, including code and a runnable web demo.

(github.com)

Game Graphics Rendering

SQLFlow: Stream Processing with DuckDB and SQL

2025-01-03

SQLFlow: Stream Processing with DuckDB and SQL

SQLFlow is a stream processing engine powered by DuckDB, enabling SQL-based operations on real-time data from sources like Kafka and webhooks. It supports data transformations, enrichment, aggregation, tumbling window aggregations, and outputs to destinations such as Kafka, databases, or local files. SQLFlow boasts high throughput, handling tens of thousands of messages per second, and supports custom serialization and encoding. Docker deployment is readily available for easy setup.

(github.com)

Development stream processing

Org-Supertag: Supercharging Org-mode's Tag System

2025-01-03

Org-Supertag: Supercharging Org-mode's Tag System

Org-Supertag is an Emacs Org-mode plugin that enhances Org-mode's tagging capabilities, allowing tags to not only assign attributes to nodes but also directly manipulate them for more flexible knowledge management. Inspired by Tana, it's non-intrusive and coexists seamlessly with Org-mode's existing features. It introduces 'super tags' defining node structure and behavior, supporting field and behavior systems for structured properties and automated actions. Its query system allows unified searching across nodes, tags, and fields, with multiple export options.

(github.com)

Development Knowledge Management

PWCT2: Visual Programming Without Coding

2025-01-03

PWCT2: Visual Programming Without Coding

PWCT2 is a second-generation visual programming language written in Ring, designed for enjoyable visual programming and interactive visualizations. It supports importing and exporting Ring code and runs on Windows, Linux, and macOS. Available on Steam, PWCT2 boasts a wide range of features covering web development, 2D game development, and more, along with extensive tutorial videos and documentation.

(github.com)

Development Ring language

Open-Source Ergonomic Keyboard: Ergo S-1 - Build Your Own Comfort

2025-01-03

Open-Source Ergonomic Keyboard: Ergo S-1 - Build Your Own Comfort

The Ergo S-1 is an open-source, wireless, split ergonomic keyboard compatible with Cherry/Gateron switches and Cherry/OEM/DCS keycaps, powered by the ZMK firmware. Designed during a period of unemployment, this keyboard prioritizes ease of DIY assembly, making it accessible to a wider audience. The project provides comprehensive assembly instructions, a bill of materials, and Fusion 360 design files, along with support for custom keymaps. While complete kits aren't yet available, pre-built keyboards are sold on Etsy, and the creator is actively working towards easier-to-assemble kits.

(github.com)

Hardware ergonomic keyboard

Gource: Visualizing Your Codebase with Stunning Animations

2025-01-03

Gource: Visualizing Your Codebase with Stunning Animations

Gource is an open-source software that visualizes your version control repository history in a breathtaking animated way. The repository root is at the center, directories are branches, files are leaves, and developers become dynamic characters moving around the code tree, their contributions shown as animated trails. Gource uses OpenGL rendering and requires a 3D-accelerated video card. It supports various version control systems like Git, SVN, Mercurial, and offers extensive parameters for customization, allowing you to easily generate impressive visualizations of your codebase history.

(github.com)

Development code visualization

Control Your Roku with Hand Gestures: A Python and MediaPipe Project

2025-01-03

Control Your Roku with Hand Gestures: A Python and MediaPipe Project

HandiRokuRemote lets you control your Roku using hand gestures! This Python project uses Google's MediaPipe for real-time hand tracking, translating gestures into commands sent to your Roku via its External Control Protocol (ECP). The intuitive interface features automatic device discovery, customizable settings (debug mode, auto-start, skeleton view), and a range of supported gestures for navigation and media control. While current limitations exist regarding hand detection distance, future development aims to expand compatibility to other smart TVs and HDMI-CEC enabled devices.

(github.com)

Development hand gesture recognition

Awesome Donations: A Curated List of FLOSS Projects to Support

2025-01-03

Awesome Donations: A Curated List of FLOSS Projects to Support

This GitHub repository, awesome-donations, is a curated list of donation options for numerous Free/Libre and Open Source Software (FLOSS) projects. It provides easy access to support projects ranging from large foundations like the Linux Foundation and Mozilla Foundation to individual projects such as LibreOffice, GIMP, and QEMU. Whether you prefer PayPal, credit cards, or other methods, you can easily contribute to the open-source community and help ensure the continued development of essential free software.

(github.com)

Development donations

XiangShan: An Open-Source High-Performance RISC-V Processor

2025-01-02

XiangShan: An Open-Source High-Performance RISC-V Processor

XiangShan is an open-source, high-performance RISC-V processor project jointly developed by the Institute of Computing Technology, Chinese Academy of Sciences, and Peng Cheng Laboratory. Multiple stable versions have been released, along with comprehensive documentation, tutorials, and micro-architecture overviews. The latest Kunminghu version is under development and supports various simulation tools and IDEs. XiangShan aims to advance RISC-V processor technology, employing an agile development methodology, and its work has been published in peer-reviewed papers, receiving international recognition.

(github.com)

Hardware Open-Source Processor

Connet: A P2P Reverse Proxy for NAT Traversal

2025-01-02

Connet: A P2P Reverse Proxy for NAT Traversal

Connet is a peer-to-peer reverse proxy for NAT traversal, inspired by ngrok, frp, and rathole. It allows you to expose local services to other devices on the internet without needing a public IP address. Unlike its predecessors, Connet clients run on both the service provider (destination) and the service requester (source), ensuring private and efficient communication. Currently in alpha, Connet supports direct and relay server connections, encrypting all communication with TLS.

(github.com)

Development reverse proxy NAT traversal

HtmlSlice: Reusable HTML Snippets for Ruby

2025-01-02

HtmlSlice: Reusable HTML Snippets for Ruby

HtmlSlice is a Ruby gem enabling Ruby classes to dynamically generate reusable HTML snippets. It addresses limitations of existing HTML generators, such as Markaby's instance scope issues. HtmlSlice supports a wide range of HTML tags, including empty tags, and safely escapes HTML content to prevent XSS vulnerabilities. It's lightweight and easy to use, suitable for generating entire application HTML or just HTML partials. Integration with Rails is also demonstrated.

(github.com)

Development

mitmproxy2swagger: Automagically Reverse-Engineer REST APIs

2025-01-02

mitmproxy2swagger: Automagically Reverse-Engineer REST APIs

mitmproxy2swagger is a powerful tool that automatically converts mitmproxy captured traffic into OpenAPI 3.0 specifications. This allows you to automatically reverse-engineer REST APIs simply by running your apps and capturing the traffic. It supports both mitmproxy flow files and HAR files exported from browser developer tools. To use it, capture traffic with mitmproxy, save it as a file, and then run mitmproxy2swagger, specifying the input file, output file, and API prefix. The first run generates an initial schema which requires manual editing to remove unwanted paths. A second run generates the complete OpenAPI specification based on the edited schema, optionally including example data.

(github.com)

Development

Zasper: A Supercharged IDE for Data Science

2025-01-02

Zasper: A Supercharged IDE for Data Science

Zasper is a new IDE built from the ground up for data science, boasting massive concurrency, minimal memory footprint, and exceptional speed. It's perfectly suited for REPL-style data applications, with Jupyter notebooks being one example. Currently, Zasper is fully supported on Mac with limited support on Linux. Benchmarks show it uses 75% less RAM and CPU than JupyterLab. Created by Prasun Anand, it aims to be a free, open-source solution that runs locally, maximizing the power of modern computers.

(github.com)

Development high performance

Kotaemon: Open-Source RAG Tool for Chatting with Your Documents

2025-01-02

Kotaemon: Open-Source RAG Tool for Chatting with Your Documents

Kotaemon is an open-source Retrieval-Augmented Generation (RAG)-based tool that lets you chat with your own documents. It features a clean and user-friendly interface, supporting various Large Language Models (LLMs) such as OpenAI, Azure OpenAI, and local LLMs. Whether you're an end-user performing document QA or a developer building your own RAG pipeline, Kotaemon provides convenient tools and a customizable UI. It supports multiple file types and offers advanced features like multi-modal QA, complex reasoning, and configurable settings.

(github.com)

Development

Mercure: A Fast and Reliable Real-time Communication Solution

2025-01-02

Mercure: A Fast and Reliable Real-time Communication Solution

Mercure is an open, easy, fast, reliable, and battery-efficient solution for pushing data updates to web browsers and other HTTP clients. It's ideal for publishing asynchronous and real-time updates of resources served through web APIs, powering reactive web and mobile apps. The protocol and a production-ready Go implementation, along with libraries and a Docker image, are available on GitHub. A managed, highly scalable version is also offered at Mercure.rocks.

(github.com)

Development real-time communication web API

DeepSeek-VL2: Advanced Multimodal Understanding with Mixture-of-Experts

2025-01-01

DeepSeek-VL2: Advanced Multimodal Understanding with Mixture-of-Experts

DeepSeek-VL2 is an advanced series of large Mixture-of-Experts (MoE) Vision-Language Models significantly improving upon its predecessor. It excels in various tasks including visual question answering, optical character recognition, and document/table/chart understanding. The series comprises three variants: DeepSeek-VL2-Tiny, DeepSeek-VL2-Small, and DeepSeek-VL2, with 1.0B, 2.8B, and 4.5B activated parameters, respectively. DeepSeek-VL2 achieves competitive or state-of-the-art performance with similar or fewer activated parameters compared to existing open-source models. The project is open-sourced, offering model downloads, quick start guides, and demo examples.

(github.com)

AI Mixture-of-Experts Multimodal Understanding

ShredOS: Secure Disk Eraser for All Processors

2025-01-01

ShredOS: Secure Disk Eraser for All Processors

ShredOS is a lightweight, bootable Linux distribution built with Buildroot, designed for secure disk erasure. It features nwipe, a powerful tool offering various wiping methods including DoD 5220.22-M compliance, and supports both 32-bit and 64-bit processors. Bootable from USB or CD, ShredOS requires no installation and provides a user-friendly interface. It also includes utilities like smartmontools and hdparm for disk diagnostics and maintenance.

(github.com)

Development disk erasure data security

Facebook's Large Concept Models: Sentence-Level Language Modeling

2025-01-01

Facebook's Large Concept Models: Sentence-Level Language Modeling

Facebook Research unveils Large Concept Models (LCMs), a novel approach to language modeling operating in a sentence representation space. Utilizing the SONAR embedding space, LCMs support up to 200 text languages and 57 speech languages. Treating sentences as 'concepts', LCMs employ a sequence-to-sequence model for autoregressive sentence prediction. The project provides recipes for training and fine-tuning 1.6B parameter models, exploring MSE regression and diffusion-based generation.

(github.com)

AI Sentence Representation Multilingual

Tirreno: Open-Source Security User Analytics for Enhanced Platform Protection

2025-01-01

Tirreno: Open-Source Security User Analytics for Enhanced Platform Protection

Tirreno is open-source user analytics software designed to monitor various online platforms, including websites, applications, SaaS, communities, and IoT devices. It detects and defends against account takeovers, malicious bots, and common vulnerabilities stemming from user behavior. Built with PHP and PostgreSQL, Tirreno is easy to install and use, providing real-time analytics. A paid subscription enhances its anti-fraud capabilities by offering additional verification of IP addresses, emails, and phone numbers. Developed by Tirreno Technologies Sàrl, Tirreno prioritizes privacy and data security; its code is open-source, but the trademark is not.

(github.com)

Development user analytics

Open Source Project Arnis: Replicating Real-World Locations in Minecraft

2024-12-31

Open Source Project Arnis: Replicating Real-World Locations in Minecraft

Arnis is an open-source project written in Rust that generates any chosen location from the real world in Minecraft Java Edition with a high level of detail. Leveraging geospatial data from OpenStreetMap and the power of Rust, Arnis efficiently creates complex and accurate Minecraft worlds reflecting real-world geography and architecture. Users select an area, and Arnis processes the data to generate a Minecraft world centered at coordinates 0,0,0. Originally developed in Python, it was ported to Rust for enhanced performance.

(github.com)

Game Map Generation

Agentarium: Open-Source Framework for AI Agent Simulations

2024-12-31

Agentarium: Open-Source Framework for AI Agent Simulations

Agentarium is a powerful open-source Python framework for easily creating and managing simulations populated with AI-powered agents. It offers a flexible and intuitive platform for designing complex, interactive environments where agents can act, learn, and evolve. Key features include advanced agent management, robust interaction management, a checkpoint system for saving and restoring states, synthetic data generation, and an extensible architecture. Environments are configured using YAML files.

(github.com)

AI simulation framework

Ruby Core Class Freezing Tool: Ruby Refrigerator

2024-12-31

Ruby Core Class Freezing Tool: Ruby Refrigerator

Ruby Refrigerator is a tool that freezes all Ruby core classes and modules, preventing unexpected modifications to core classes at runtime. It provides a `freeze_core` method to freeze core classes and a `check_require` method to check libraries for modifications to core classes. `check_require` supports options for predefining modules and classes, excluding specific classes, and specifying dependencies. A command-line tool, `bin/check_require`, is also provided for easy use. This tool is incredibly useful for ensuring code stability in production and testing environments.

(github.com)

Development freezing core classes

Reverse Engineering the Duco Connectivity Board: Home Assistant Integration Achieved

2024-12-31

Reverse Engineering the Duco Connectivity Board: Home Assistant Integration Achieved

Frustrated with the limited control options of his DucoBox ventilation system (only four modes via a simple button), the author decided to reverse engineer the official, expensive Duco Connectivity Board, which is essentially an ESP32. Using a logic analyzer and information from Duco's website, the author analyzed the communication protocol between the board and the ventilation system. It turned out not to be Modbus, but a custom protocol. After decoding the protocol, the author created an ESPhome component, enabling seamless integration with Home Assistant. This significantly enhances control and allows for reading CO2 sensor data and other information.

(github.com)

Hardware

Lightweight Sum Types and Switches for Lua: lua-match

2024-12-31

Lightweight Sum Types and Switches for Lua: lua-match

lua-match is a minimalistic Lua library providing sum types and switch functionality. It leverages a tagging function for a clean and efficient way to handle various data types and conditional branching. With a simple tagging function and a switch table, you can easily implement sum type-like behavior and pattern matching, simplifying your Lua code significantly. The library is open-source and uses the MIT license.

(github.com)

Development Sum Types

Panel Graphic Walker: Interactive Data Exploration with HoloViz Panel

2024-12-30

Panel Graphic Walker: Interactive Data Exploration with HoloViz Panel

Panel Graphic Walker is a Python library that integrates the power of Graphic Walker into HoloViz Panel for interactive data exploration within Jupyter Notebooks and Panel applications. It offers a Tableau-like interface, allowing users to quickly create dynamic visualizations and tables with minimal code. It supports various data backends and renderers, and can handle large datasets using server-side computation. The project is in its early stages; pinning a specific version is recommended.

(github.com)

Development interactive data exploration

curl-impersonate Updated: Enhanced Browser Impersonation Capabilities

2024-12-30

curl-impersonate Updated: Enhanced Browser Impersonation Capabilities

lexiforest/curl-impersonate is an active fork of curl-impersonate, enhancing browser impersonation capabilities and supporting more versions and build targets. This project modifies curl to mimic the behavior of major browsers (Chrome, Edge, Safari, and Firefox) during TLS and HTTP handshakes, bypassing website restrictions based on fingerprinting. Updates include support for ECH, ZSTD compression, X25519Kyber768 curves, and more browser versions, offering improved command-line tools and library functions.

(github.com)

Development browser impersonation

← Previous 1 2 … 14 15 16 17 18 19 20 21 22 Next →