#LANGUAGE PROOF AND LOGIC WORLD 3.15 UPDATE#
#LANGUAGE PROOF AND LOGIC WORLD 3.15 CODE#
#LANGUAGE PROOF AND LOGIC WORLD 3.15 FREE#

#LANGUAGE PROOF AND LOGIC WORLD 3.15 CODE#

Now, we’ve taken the time to rewrite most of the the remaining proof-of-concept code to be bona fide cross platform code. Improvements to mobile are probably the most immediately apparent, since mobile had the longest way to go to a strong user experience.Ī lot of the logic in the mobile app was of the, “this works, so let’s not touch it,” variety.

The decision quickly began to pay off with far faster app reload times while developing. A lot of work this cycle went into upgrading our build systems for faster development in the long run, both for desktop and mobile. While these overhauls don’t have any direct effect on user experience, they have a big influence on developer experience. The build system is the set of tools and associated logic for building the Recollectr apps from the written code. (Note: this may cause a small number of old reminders to fire again when upgrading to 3.15 to fix things once and for all.)

The “reminder fired at” time could precede the actual reminder time.

Some hotkeys still worked in locked notes.

SMB/UNC/local file links couldn’t contain spaces, even if explicitly entered into the linking menu.

Bulk note updates were synced to other online installations one by one, rather than en masse.

#LANGUAGE PROOF AND LOGIC WORLD 3.15 UPDATE#

Past/upcoming reminder lists could fail to update properly, resulting in past reminders under upcoming and vice versa.Previously the notelist required further updates for the destroyed notes to be removed as intended Destroyed notes are now removed from the notelist properly.Of the many bug-fixes in this release, some notable fixes include:

#LANGUAGE PROOF AND LOGIC WORLD 3.15 FREE#

The performance load of this was not very large since the decryption function is memoized, but caching results isn’t free and it still resulted in running a lot of code that didn’t need to run, and running it often. Previously the app could request decryption, potentially multiple times in the same second. Somewhere on the fence between “optimization” and “bug fix,” we’ve refined the desktop editor’s logic to avoid attempting to decrypt the currently opened note anew when nothing had changed to make that necessary.Fixes apostrophes inside of parentheses were wrongly being duplicated.Shows resize handle for notelist even when notelist is collapsed.A reminder firing will no longer modify the note’s updatedAt time.Adds back/forward and undo/redo options to the context menu.Holding down the mouse on the +/- buttons to adjust snooze times will now auto-increment/decrement.Greatly improves performance of experimental “Omnibox Bypass” feature.Major rewrites of desktop-specific code for an easy path to further security improvements – like removing Electron’s remote module and implementing its context isolation mode.Starts tracking local-only usage statistics to implement sorting notes by frecency.Recollectr will try to find the best matching tag, or offer you the option to create a new one. Linking to an existing tag and creating a new one work the same way, just type a # followed by a string of letters/numbers/underscores. In this database we’ve got a bunch of fruits, vegetables, and nuts (and drupes, which we call nuts/fruits because… okay we’re getting sidetracked…) It’s simplistic, but creating robust, interlinking demo databases is shockingly time-consuming.

We quickly threw together a demo database to show off the new tagging functionality.

To quote Alastair Reynolds, “A wall is also a prison.” In the future tags will help Recollectr itself to infer relationships between your notes without creating these artificial barriers. In contrast, folders, and especially folders of folders, build walls around your knowledge. This is akin to how thoughts naturally develop in the mind. They enable you to quickly call to mind a word to find what you’re looking for, and to jump to related items.

Tags are best thought of as like synonyms that link together various ideas, not as folders. In stark contrast to many other solutions, Recollectr takes an anti-hierarchical approach, and our approach to tagging is no different. With Recollectr 3.15 you’ll be ready to get tagging right away, but this is a big undertaking that will require a few releases to fully realize the superpowered features we have planned. It’s the first step towards Recollectr as a knowledge base where tags are treated as first-class citizens. This release is the World 1-1 of tagging, if you will. Tagging is a premium feature – but if you’re not a premium user, there’s plenty of improvements here for you too! Hashtags as bidirectional superlinks Only now are we finally getting to develop in that direction and implement our vision of how we think tags should work. Tagging is something we’ve been thinking about for years – since even before our first public release.

Language proof and logic world 3.15