TL;DR summary of stories on the internet
Datalog is a logical query language that combines principles of logic programming with database theory, focusing on recursive queries. The provided implementation in Clojure supports in-memory relational database formats and allows for the addition and modification of data through functions like add-tuples. Datalog lets you define inference rules to apply to your data, with the […]
Read more »
Summary: The author discusses their performance work with serde and serde_json, highlighting discrepancies in error path speed and proposing optimizations using SIMD and SWAR techniques. They detail the process of optimizing code for faster results, including a discussion on two-pass vs. single-pass algorithms and the intricacies of parsing Unicode characters. The author’s experience with contributing […]
Alex Yancey recounts a tale of finding lost AirPods and using some clever tactics to track down the owner. By narrowing down the search to the local Portland area code and central office code, Alex managed to find a total of 84 possible matches. Utilizing an iMessage Lookup API and a script on his MacBook, […]
Ruroco is a unique tool that allows users to run pre-defined commands on a remote server using the UDP protocol to keep the service hidden from adversaries. This tool is particularly useful for preventing brute-force attacks on SSH ports while maintaining secure access to the server. By implementing Ruroco, users can open the SSH port […]
The TextBundle file format simplifies the exchange of plain text files like Markdown or Fountain between sandboxed applications on Mac and iOS devices. Sandboxing ensures data security by restricting app access to user-provided files, causing inconveniences like granting image file permissions when working with Markdown files. TextBundle solves this by bundling text and images into […]
This TypeScript Sudoku experiment aims to define a precise Sudoku type in TypeScript to create a Sudoku game while the type checker detects mistakes. It focuses on complex type definitions rather than implementing a solver. Initially, it defines Sudoku as an array of numbers, ensuring each element is an integer from 1 to 9 and […]
Home Convert offers an AI tool to convert handcrafted diagrams into digital versions with clarity and precision. Users can easily convert their original hand-drawn diagrams into digitalized diagrams in various formats such as PNG, JPG, and even an editable file. Watch a video demonstration to see how SnapDiagram works, allowing you to create, edit, and […]
In Germany, several ISPs are blocking pirate sites without naming them due to a secret agreement with copyright holders. A 17-year-old released a portal exposing all blocked domains. Germany joined other countries in implementing a pirate site blocking system. CUII is responsible for issuing blocking ‘orders’ without court judgments, but with some oversight. The lack […]
The British government attempted to recreate the UK Postcode Address File (PAF) without using Royal Mail data, resulting in a new dataset that was only 90.8% accurate with millions of dud addresses. The process involved filtering through the messy National Address Gazetteer (NAG) and manually fixing errors. While the government allocated funds to develop an […]
Vega is a powerful visualization grammar that allows you to create interactive visualization designs using a JSON format. Version 5.29.0 offers basic building blocks such as data loading, scales, and graphical marks. Interaction techniques can be customized using reactive signals. Vega can generate static images or web-based views, making it versatile for various projects. Vega-Lite […]