type StringBool = "true"|"false";
interface AnyNumber { prev?: any, isZero: StringBool };
interface PositiveNumber { prev: any, isZero: "false" };
type IsZero<TNumber extends AnyNumber> = TNumber["isZero"];
type Next<TNumber extends AnyNumber> = { prev: TNumber, isZero: "false" };
type Prev<TNumber extends PositiveNumber> = TNumber["prev"];…or why one-dimensional two-way cellular automata operating in linear time are likely more powerful than their real-time counterparts.
The evacuation platform creaks in the waves — a long, narrow beam with a line of shipwreck survivors standing shoulder-to-shoulder, all facing the distant lights of the rescue ship.
Each survivor sees everyone ahead, but the chaos behind them is a mystery.
Over the roar of the storm, a rescue helicopter swoops in from behind.
To lift the platform without capsizing it, the hoist rope must be attached to the one survivor standing exactly in the middle.
Attach it anywhere else, and the whole platform will flip like a seesaw.
| import { hotClass, registerUpdateReconciler } from "@hediet/node-reload"; | |
| import { ts, Node, SyntaxKind, TypeGuards, Identifier } from "ts-morph"; | |
| registerUpdateReconciler(module); | |
| import { registerAll } from "C:\\Users\\Henning\\Desktop\\playground\\vscode-debug-visualizer\\data-extraction"; | |
| registerAll(); | |
| @hotClass(module) | |
| export class PatternMatchMain { |
| use std::{marker::PhantomData, path::PathBuf}; | |
| use sqlx::{sqlite::SqliteConnectOptions, Error}; | |
| use sqlx::{Connection, Sqlite, Transaction}; | |
| use sqlx::{Executor, SqliteConnection}; | |
| pub struct DbFactory { | |
| conn: SqliteConnection, | |
| } |
| /** | |
| * Renders a translation that cannot be extracted statically. | |
| * Avoid using this component as much as possible! | |
| */ | |
| export class TransMsgDynamic extends React.Component<{ | |
| keyAndDefaultTranslation: string; | |
| /** | |
| * A static id that represents the pool of all possible keys. | |
| * If this id is not used in the code base anymore, |
| export type JsonSchema = | |
| | NumericJsonSchema | |
| | StringJsonSchema | |
| | ArrayJsonSchema | |
| | ObjectJsonSchema | |
| | JsonSchemaReference; | |
| export interface JsonSchemaReference { | |
| $ref: string; | |
| } |
This issue is a blocker for the .drawio.png feature.
This is my context.
I hope something can be done there ;)
- Default Generic Type Argument
I have to admit, I failed to recognize that CustomEditorProvider is generic when I exploratively implemented my first prototype.
| type State = { kind: 'loading' } | { kind: 'loaded'; service: unknown }; | |
| @injectable() | |
| class LoadServiceModel { | |
| constructor( | |
| @injectProps() | |
| private readonly props: { | |
| service: ServiceId<unknown>; | |
| module?: Module; | |
| }, |
| internal static class WebBrowserIE11Fix | |
| { | |
| public static void SetIE11KeyforWebBrowserControl(string processPath = null) | |
| { | |
| if (processPath == null) | |
| { | |
| processPath = Process.GetCurrentProcess().ProcessName + ".exe"; | |
| } | |
| RegistryKey Regkey = null; |