2025-02-04

rewrite.md

A detailed explanation of the decision to rewrite the Roc compiler from Rust to Zig, highlighting how self-hosting is common in compiler development and discussing the technical advantages of Zig for this specific project. The rewrite aims to implement significant design changes for Roc 0.1.0, focusing on improved reliability, documentation, and maintainability.

Original archive.is archive.ph web.archive.org

Log in to get one-click access to archived versions of this article.

read comments on news aggregators:

Related articles

Securing tomorrow's software: the need for memory safety standards

Memory safety vulnerabilities have been a persistent security challenge costing billions, prompting a call for industry-wide standardization and secure-by-design practices. Recent advancements in memory-safe languages like Rust and hardware technologies offer promising solutions for widespread adoption. Google advocates for establishing a common framework to assess memory safety assurances and drive industry-wide adoption of secure practices.

The FFT Strikes Back: An Efficient Alternative to Self-Attention

FFTNet introduces a novel approach to sequence processing using Fast Fourier Transform, achieving O(n log n) complexity compared to traditional self-attention's quadratic complexity. The framework employs spectral filtering and modReLU activation to efficiently capture long-range dependencies, demonstrating superior performance on Long Range Arena and ImageNet benchmarks.

Gleam, coming from Erlang

A developer shares their experience building a feed aggregator using Gleam, a type-safe language running on the Erlang VM. The article explores Gleam's features, including its type system, error handling, and OTP integration, while highlighting both strengths and challenges in implementing a real-world application.

GitHub - deepseek-ai/DeepEP: DeepEP: an efficient expert-parallel communication library

DeepEP is a communication library optimized for Mixture-of-Experts (MoE) and expert parallelism, providing high-throughput GPU kernels and low-latency operations. The library supports both intranode and internode communication, offering specialized kernels for asymmetric-domain bandwidth forwarding and low-latency inference decoding, with comprehensive support for FP8 and RDMA networks.

Wiki

A developer explores GDScript, Godot's custom programming language, providing detailed analysis of its features, type system, and design choices. The language combines Python-like syntax with stronger typing and modern features like pattern matching, proving to be surprisingly well-designed for game development despite initial skepticism.

Introduction

Vine is an experimental programming language built on interaction nets, offering seamless integration between functional and imperative programming paradigms. The language is currently under active development with examples available for exploration.

The Vine Programming Language

Vine is a new programming language designed for web development that aims to combine modern features with simplicity and performance. The language emphasizes safe concurrency, static typing, and seamless JavaScript interoperability while maintaining a familiar syntax for experienced developers.

Overview - Neut Programming Language

Neut is a functional programming language featuring static memory management without GCs or regions, using a type-directed approach for resource handling. The language supports full λ-calculus and automatic memory management without type system annotations, while offering built-in LSP support and formatter capabilities.

Why Ruby on Rails still matters

A comparison between Ruby on Rails and Next.js frameworks highlights how Rails maintains relevance through simplicity and abstraction, while Next.js enables advanced web capabilities at the cost of complexity. The text draws parallels between vinyl records' longevity and web technologies' evolution, emphasizing how fundamental approaches remain valuable despite technological advancement.