Tacit Programming
Tacit programming, also called point-free style, is a programming paradigm in which function definitions do not identify the arguments (or “points”) on which they operate. Instead the definitions merely compose other functions, among which are combinators that manipulate the arguments. Tacit programming is of theoretical interest, because the strict use of composition results in programs […]
Synthetic images aid the recognition of human-made art forgeries
Abstract:Previous research has shown that Artificial Intelligence is capable of distinguishing between authentic paintings by a given artist and human-made forgeries with remarkable accuracy, provided sufficient training. However, with the limited amount of existing known forgeries, augmentation methods for forgery detection are highly desirable. In this work, we examine the potential of incorporating synthetic artworks […]
FlutterFlow (YC W21) Is Hiring
We’re looking for people who are passionate about ML and DevTools and can get behind our mission: to help the world build great products. FlutterFlow (https://flutterflow.io) is a visual application development platform that allows product teams to execute faster than ever before. We’re just scratching the surface of what’s possible – for example, the following […]
Beyond A*: Better Planning with Transformers
Abstract:While Transformers have enabled tremendous progress in various application settings, such architectures still lag behind traditional symbolic planners for solving complex decision making tasks. In this work, we demonstrate how to train Transformers to solve complex planning tasks and present Searchformer, a Transformer model that optimally solves previously unseen Sokoban puzzles 93.7% of the time, […]
Three Interpretations of Matrix Products
Three interpretations of matrix products 0. Prerequisites and notations column vectorrow vectornumbernumber * column vectornumber * row vector 1. Interpretation #1: Weighted sum of columns or rows 1.1 Matrix vector product as a weighted sum of columns 1.2 Vector matrix product as a weighted sum of rows 2. Interpretation #2: Dot products of columns or […]
Thanks FedEx, This Is Why We Keep Getting Phished
23 February 2024 I’ve been getting a lot of those “your parcel couldn’t be delivered” phishing attacks lately and if you’re a human with a phone, you probably have been too. Just as a brief reminder, they look like this: These get through all the technical controls that exist at my telco and they land […]
Brave’s AI assistant now integrates with PDFs and Google Drive
Last September, we released a roadmap of innovations for Leo, Brave’s privacy-preserving AI assistant built right into the browser. Today, we’re excited to announce we’ve completed another piece of the roadmap: Leo can now interact with PDFs and Google Drive files. By seamlessly integrating with these popular productivity apps and document types, Leo enables users […]
Intel Processor Instability Causing Oodle Decompression Failures
RAD has become aware of a problem that can cause Oodle Data decompression failures, or crashes in games built with Unreal. We believe that this is a hardware problem which affects primarily Intel 13900K and 14900K processors, less likely 13700, 14700 and other related processors as well. Only a small fraction of those processors will […]
Lisp Programming with Vim (2019)
By Susam Pal on 07 Dec 2019 Introduction Fifteen years ago, writing Lisp code in Vim was an odd adventure. There were no good plugins for Vim that assisted in structured editing of Lisp s-expressions or allowed interactive programming by embedding a Lisp Read-Eval-Print-Loop (REPL) or a debugger within the editor. The situation has improved […]
Ten years of remembering every day that passes
I began this process on 17 December 2011 and let the tenth anniversary pass without comment, so the time has come to reflect. Firstly, I continue with this process. Every day I record a memory tag on my mental calendar and regularly review past days. My current review process is to go through a month […]