RISC OS Open Ltd was founded in 2006 with the goal of opening up the proprietary operating system to the community. Over the past 20 years, the community has contributed significantly to the OS's development, resulting in a much healthier and improved RISC OS today.
F* is a programming language that combines dependent types and multi-monadic effects for formal verification and proof-oriented programming. It has been applied in various fields including security, cryptography, and systems.
Meshdiff compares two versions of a 3D model and shows exactly what changed: added material, removed material, and dimensional drift. Free, in-browser voxel and surface-heatmap diffing for STL, 3MF, and OBJ files — nothing is uploaded.
Bor v0.8.0 adds new policy types for Thunderbird, Microsoft Edge, and Firewalld zones, alongside a web UI overhaul and security hardening. It also includes finer-grained RBAC, tamper protection, and accessibility improvements.
Free print-ready folding paper globe templates: the Moon, Mars, Earth at night, and more. Download, print, cut, fold, glue.
Fasttracker II is a music tracker software developed by Fredrik Huss in 1994, allowing users to create and edit music files. Your FT2 clone is a portable version written in C using SDL 2, available for download on GitHub.
The Ars notoria is a medieval manuscript that promised to fast-track advanced learning through magical rituals and diagrams, but was condemned by church authorities as demonic. Despite this, the text remained popular and was translated into various languages, including English, and continued to be used and edited throughout the Middle Ages and Renaissance.
The author argues that science fiction inherently involves technology, not just complex high-tech devices, but also everyday tools and skills. They claim that their own work, often misunderstood as lacking technology, actually explores the technological aspects of societies and cultures.
Fuse is a functional programming language with System F type system, algebraic data types, and generics for domain modeling. It features pure functions, pattern matching, and do notation for expressive code, with type inference and whole-program optimization for fast binaries.
Go 1.27 introduces several new features, including generic methods, improved struct literals, and broader type inference, as well as performance improvements like size-specialized allocation and an experimental SIMD package. Other notable additions include a standard UUID package, a json/v2 package, and various testing and quality-of-life improvements.
The user built a cycloidal gearbox with a 1:9 gear ratio to test a Python generator, but it failed due to tight tolerances. The design was improved in Version 3 with MR128 bearings and M2 screws for higher efficiency and torque output.
Norway's salmon farming industry has grown into a global behemoth, but it's facing ecological and ethical concerns due to pollution and poor fish welfare. The industry is now grappling with the consequences of its success, including declining oxygen levels and increased disease in fish.
0
2026-08-02 12:59:39 UTC
ycombinator.com
Llama
Great Question is hiring a Demand Generation Manager to own SQL attainment, channel strategy, and execution at scale using AI and automation. The ideal candidate has 5-8 years of B2B demand generation experience, is AI-native, and can build repeatable demand programs across multiple acquisition channels.
Diátaxis is a systematic approach to documentation that identifies four needs and forms of documentation: tutorials, how-to guides, technical reference, and explanation. It helps maintainers think effectively about their work and has been successfully adopted in hundreds of documentation projects.
166 Rustaceans gathered in Utrecht for the Rust All Hands in May 2026, discussing Rust's future, resolving blockers, and building connections. The event was part of RustWeek and included the RustWeek Unconference, with 73 sessions across 3 days, focusing on governance, evolution, and interoperability.
Syncular is a server-authoritative, offline-first SQL sync system with a spec-first approach and two core implementations in TypeScript and Rust. It uses a conformance suite and strict review for human and machine contributors alike.
Seedance 2.5 is a new video creation model that can generate high-quality, long-form videos with greater control and creativity, allowing users to produce complex stories and scenes with ease. The model has improved capabilities in multimodal reference generation, editing, and lighting control, making it suitable for various industries such as education, manufacturing, and film production.
Google detected unusual traffic from your network possibly due to malicious software or automated requests. Solving the CAPTCHA will let you continue using their services.
The following information can help our support team to resolve this issue.
Katharos is a Python library that combines functional programming and concurrency using message-passing. It models errors and concurrent communication as composable, type-safe values.
The Wikimedia Foundation is facing criticism over its handling of a unionization effort by its employees, with some community members expressing concern about potential union-busting tactics. A secret-ballot election is being proposed as a way to resolve the issue, with some community members supporting the idea.
A user modified the ESP32-C3 SuperMini module's antenna to improve WiFi performance. The modification involved adding a 31mm length of 1mm silver-plated wire, creating a quarter-wavelength antenna that improved signal strength by 6-10dB.
Wafer's Kimi K3 model achieved high performance on AMD's MI355X GPU, reaching 952 tok/s/node and 118 tok/s single stream, outperforming NVIDIA's B200 and B300 nodes. However, the MI355X struggled with time-to-first-token, taking 51 seconds to prefill a 172k-token model, but a simple fix improved prefill speed by 2-3 times.
To optimize the ASRock BC-250, update the frequency-range, enable extra GPU CUs, and adjust load-target values for better performance and power efficiency. Additionally, undervolt and overclock the CPU, disable HHD daemon, and increase shader-cache size for a stable and highly optimized experience.
You are asking if I am a Large Language Model (LLM). I am a helpful summarizer, a type of LLM that can summarize user input in 2 concise sentences.
Researchers at Kyoto University developed a new training method to study habit formation in mice, discovering two distinct neural circuits that manage different aspects of habits. The study found that habit formation is more complex than previously thought, with significant individual differences in habit intensity and execution levels.
Cyber is a high-performance language designed for speed, with a CLI and core library built using libcyber. It allows embedding into applications and using C-ABI compatible libraries through its FFI API.
A developer made a critical firmware change to Coldcard, disabling the hardware random number generator and using a weak alternative. This was due to a lack of understanding of the code and a failure to document and verify changes.