When to use extended thinking across Claude models in the Claude App and Claude Code
Generated by Claude Opus 4.5 (with extended thinking)
The Interaction Calculus (IC) is term rewriting system inspired by the Lambda Calculus (λC), but with some major differences:
An IC term is defined by the following grammar:
| Now available at https://theredguild.org/ezines/1.html |
| // SPDX-License-Identifier: GPL-3.0-or-later | |
| pragma solidity >=0.8.4; | |
| /// @notice Simple gas-optimized multi-signature contract. | |
| contract Multisig { | |
| event Propose(address indexed proposer, uint256 indexed proposal); | |
| event Sign(address indexed signer, uint256 indexed proposal); | |
| event Execute(uint256 indexed proposal); | |
| error NotSigner(); |
| # Recursion UDF from FaunaDB Community user | |
| --- | |
| Q: Is there an approved way to loop/repeat FQL an arbitrary number of times? Or generate a set/array of arbitrary size to Foreach on? | |
| A: You can play with UDF to achieve it. Here is a quick idea (using recursion, careful it's max 200 iterations). | |
| Calling it would be something like this Call("Repeat", ["3", "AnotherFunctionName", 0]) . | |
| It's really just an example, you can mess around it to add input values if needs be, etc. | |
| const Repeat = Query( |
| **************************************************************************** | |
| **** FaunaDB Relations: GraphQL schemas, mutations and resulting documents * | |
| **************************************************************************** | |
| **** One to One Relation *************************************************** | |
| SCHEMA: | |
| type User { name: String! car: Car } | |
| type Car { plate: String! owner: User } | |
| MUTATION: | |
| mutation Create { | |
| createUser(data: { |
At the very least, we need two pieces of functionality:
| set localComputer to "" -- enter name of a remote computer | |
| set username to "" -- remote computer username | |
| set computerPassword to "" -- remote computer password | |
| set remoteComputer to "eppc://" & username & ":" & computerPassword & "@" & localComputer | |
| set rTunes to application "iTunes" of machine remoteComputer | |
| if application "iTunes" is running then | |
| try | |
| tell application "iTunes" | |
| set {tArtist, tName, tAlbum, theID} to {artist, name, album, database ID} of current track |
| { | |
| "emojis": [ | |
| {"emoji": "👩👩👧👧", "name": "family: woman, woman, girl, girl", "shortname": ":woman_woman_girl_girl:", "unicode": "1F469 200D 1F469 200D 1F467 200D 1F467", "html": "👩‍👩‍👧‍👧", "category": "People & Body (family)", "order": ""}, | |
| {"emoji": "👩👩👧👦", "name": "family: woman, woman, girl, boy", "shortname": ":woman_woman_girl_boy:", "unicode": "1F469 200D 1F469 200D 1F467 200D 1F466", "html": "👩‍👩‍👧‍👦", "category": "People & Body (family)", "order": ""}, | |
| {"emoji": "👩👩👦👦", "name": "family: woman, woman, boy, boy", "shortname": ":woman_woman_boy_boy:", "unicode": "1F469 200D 1F469 200D 1F466 200D 1F466", "html": "👩‍👩‍👦‍👦", "category": "People & Body (family)", "order": ""}, | |
| {"emoji": "👨👩👧👧", "name": "family: man, woman, girl, girl", "shortname": ":man_woman_girl_girl:", "unicode": "1F468 200D 1F469 200D 1F467 200D 1F467", "html": "👨‍👩&z |