Fenwick trees and interval trees are well-known data structures in computer science. Interval trees in particular are commonly used in bioinformatics and computational geometry, and Fenwick trees are useful for keeping statistics. This post describes how the two can be merged to obtain a worst-case faster implementation of an interval tree. This approach is probably not very useful in these areas due to their specific requirements, but it’s still a well-rounded general-purpose implementatio...| purplesyringa's blog
Turning Github Actions into an oracle| www.ethanheilman.com
We just talked about what modules are: they are ways to create program families| entropicthoughts.com
Julio Barba works on improving state of the art multimedia| halide.cx
Personal website showcasing research, publications, and blog| zayenz.se
The engineering team of RainforestQA (YC S12) is remote and distributed around the globe, with developers in America, Europe, and Asia. We’re using PagerDuty| Rainforest QA Blog | Software Testing Guides
Just enough information about formal language theory to answer "What is really a regex?" and "How are they executed?"| Abstract Syntax Seed
L2AW| law-theorem.com
There has never been a better time to be into compression.| giannirosato.com
The Journal of the British APL Association. The BAA promotes the APLs, terse programming languages derived from Iverson’s mathematical notation.| archive.vector.org.uk
ENOSUCHBLOG| blog.yossarian.net
We give a deterministic $O(m\log^{2/3}n)$-time algorithm for single-source shortest paths (SSSP) on directed graphs with real non-negative edge weights in the comparison-addition model. This is the first result to break the $O(m+n\log n)$ time bound of Dijkstra's algorithm on sparse graphs, showing that Dijkstra's algorithm is not optimal for SSSP.| arXiv.org
A canonical problem in computer science is to find the shortest route to every point in a network. A new approach beats the classic algorithm taught in textbooks.| Quanta Magazine
Here’s a sketch of an idea that might or might not be a good idea.| dotat.at
AVIF is a complex image format with a lot of potential. A| halide.cx
Paul Khuong's personal blog. Some Lisp, some optimisation, mathematical or computer.| pvk.ca
This one-of-a-kind interactive book offers a hands-on approach to learning data structures and algorithms, featuring rich visualizations, code execution playback, an assortment of problems and an embedded Python environment. It’s designed to support both beginners and more experienced learners through active exploration and interactivity.| cartesian.app
Personal website showcasing research, publications, and blog| zayenz.se
An annotated guide to adding captureless lookbehinds to the RE2 linear-time regex engine.| SYSTEMF @ EPFL
Introduction In this blog post you are going to read about two things:| I'm Nicolás Hatcher
You've most likely heard about gradient noise through the name Perlin| blog.pkh.me
Special thanks to @tombh for proofing this blog post! Edit 5/28: added a link to the repo and corrected the solver I used Did you know that LinkedIn has games? I sure as hell didn’t until my Dad showed me that they in fact have 5 (!) different games that you can play. One of them stood out to me as somewhat interesting, Queens: Solved Queens board| Ryan Berger's Page
The people who create software generally refer to themselves as software engineers, and yet if they graduate from university, it is typically with a degree in computer science. That has always felt a little strange to me, because science and engineering are two pretty different disciplines – yet ...| Moxie Marlinspike
Lately I’ve been thinking about time series analysis to aid in Reflect’s insights features. Towards this end, I’ve had a Hacker News thread about anomaly detection bookmarked in Later. I finally got to looking at it and there was a comment that mentioned the article left out matrix profiles, which I had never heard of, so I decided to look into them.| aneksteind.github.io
Much of what I do, in multiple fields, could be reduced to one skill: troubleshooting. I’ll define troubleshooting as systematically determining the cause of unwanted behaviour in a system, and fixing it. Troubleshooting is often learned tacitly, in the process of explicitly learning “the skill”. Troubleshooting is rarely discussed| The Autodidacts
Figure 1 We can build automata from neural nets. And they seem to do weird things, like learn languages, in a predictable way, which is wildly at odds with our traditional understanding of the difficulty of the task (Paging Doctor Chomsky). How can we analyse NNs in terms of computational complexity? What are the useful results in this domain? Related: grammatical inference, memory machines, overparameterization, NN compression, learning automata, NN at scale, explainability… 1 Computation...| The Dan MacKinlay stable of variably-well-consider’d enterprises
Does quantum computing offer speedups to machine learning? When? Figure 1: Instrumenting Schrödinger’s cat. 1 Incoming Learning of neural networks w/ quantum computers & learning of quantum states with graphical models (video) 2 References Arute, Arya, Babbush, et al. 2019. “Quantum Supremacy Using a Programmable Superconducting Processor.”Nature. Bernstein. 2009. “Introduction to Post-Quantum Cryptography.” In Post-Quantum Cryptography. de Wolf. 2017. “The Potential Impact of Q...| The Dan MacKinlay stable of variably-well-consider’d enterprises
Sanjoy Das, Software Engineer. Blog on compilers, computer science, math, programming, virtual machines.| www.playingwithpointers.com
This story is about sorting arrays. I am telling it because sorting continues to surprise me with delightful bugs. Frustrating too, but also delightful. First, some context...| The Mill
Foreword| connorjaydunn.github.io
This master's thesis at Lund University Sweden explores how CockroachDB 's transactional performance can be improved by using tightly synch...| muratbuffalo.blogspot.com
It’s finally done! 🎉 I am so excited to announce “Communicating Chorrectly with a Choreography”, the first zine from my research group. You can read it online, or print your own free copies to read offline!| decomposition ∘ al
This is a technical description of the IPC system used throughout the Arcan project, from both a designer and developer perspective, with annotations on legacy and considerations along the way. It&…| Arcan
People often summarize a “bag of items” by adding together the embeddings for each individual item. For example, graph neural networks summarize a section of...| randorithms.com
BB(5) = 47,176,870 We are extremely happy to announce that, after two years of intense collaboration, the goal of the Busy Beaver Challenge has been reached: the conjecture “BB(5) = 47,176,870” is proved. Exceeding our expectations, the proof has been formally written in Coq by collaborator mxdys whose work improves on and/or uses the contributions of more than 10 other bbchallenge contributors (see credits). The formal theorem’s statement was reviewed by independent Coq experts (see cr...| The Busy Beaver Challenge
In this episode of Zed Decoded, Thorsten asks the founders — Nathan, Max, Antonio — about the data structures at the heart of Zed: Rope and SumTree.| zed.dev
Parallel fixed-radius neighbor search algorithms generally work by imposing a regular square grid,| haug.codes
I recently implemented a small program to visualize the inner workings of a scheme that compresses floating point timeseries by XORing subsequent values. The resulting visualizations are quite neat…| Clemens' Blog
Lambda Screen allows you to draw images using terms of pure lambda calculus. By using fixed-point combinators, you can even create infinitely detailed fractals.| text.marvinborner.de
We are excited to announce that Communications of the ACM (CACM) is now a fully Open Access publication. This means that more than six decades of CACM’s renowned research articles, seminal papers, technical reports, commentaries, real-world practice, and news articles are now open to everyone, regardless of whether they are members of ACM or subscribe to the ACM Digital Library.| cacm.acm.org
A 2024 plea for lean software| IEEE Spectrum
The Advantages Of Flexible Typing| www.sqlite.org
A gradual introduction| www.cole-k.com
