This gist has moved to a proper git repo so people can make pull requests: https://github.com/Zenexer/internet-reference/blob/main/Mac%20Keyboard%20Symbols.md
(none, I think)
This document contains some ideas for additions to the Nix language.
The Nix package manager, Nixpkgs and NixOS currently have several problems:
- Poor discoverability of package options. Package functions have
function arguments like
enableFoo
, but there is no way for the Nix UI to discover them, let alone to provide programmatic ways to
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
; declare { printf } = @cimport(@cinclude("stdio.h")) | |
; | |
; fn square(num: i32) { | |
; #start: { | |
; let #safe_mult = num *? num | |
; let [ #mult_val, #was_safe ] = #safe_mult | |
; let #should_panic = #was_safe == false | |
; #should_panic ? goto #panic : goto #return | |
; } | |
; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Lan Sharing | |
- while in a singleplayer world add the option "broadcast world" | |
-- this shared the world publically to an inlets server | |
-- every world is assigned a snowflake id when broadcast, | |
the snowflake id will determine the inlet port and subdomain for determinist and consistent | |
reconnects from server menu | |
More Clothing/Armor Variations | |
- hats, boots, baubles, and more! | |
-- I strongly believe baubles would fit into vanilla minecraft |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
export const h=(t,p,...c)=>({t,p,c,k:p&&p.key}) | |
export const render=(e,d,t=d.t||(d.t={}),p,r,c,m,y)=> | |
// arrays | |
e.map?e.map((e,p)=>render(e,d,t.o&&t.o[p])): | |
// components | |
e.t.call?(e.i=render((render.c=e).t(Object.assign({children:e.c},e.p),e.s=t.s||{},t=> | |
render(Object.assign(e.s,t)&&e,d,e)),t.i||d,t&&t.i||{}),d.t=t=e):( | |
// create notes | |
m=t.d||(e.t?document.createElement(e.t):new Text(e.p)), | |
// diff props |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
/* eslint-disable no-unused-vars */ | |
/* eslint-disable no-else-return */ | |
// JSX constructor, similar to createElement() | |
export const h = (type, props, ...children) => { | |
return { | |
type, | |
// Props will be an object for components and DOM nodes, but a string for | |
// text nodes | |
props, |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import('https://jspm.dev/localforage') | |
.then(({ default: localForage }) => { | |
localForage.getItem('auth') | |
.then(JSON.stringify) | |
.then(alert) | |
}) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
// Linking: -lxcb -lxcb-image | |
//#include <xcb/xcb.h> | |
#include <xcb/xcb_image.h> | |
#include <malloc.h> | |
#include <unistd.h> | |
#include <fcntl.h> | |
#include <linux/joystick.h> | |
//#include <time.h> | |
#include <sys/stat.h> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import z3 | |
s = z3.Solver() | |
s.push() | |
poly = z3.BitVecVal(0xC96C5795D7870F42, 64) | |
goal = z3.BitVecVal(0x751092902dfa050e, 64) | |
ZERO = z3.BitVecVal(0, 64) | |
ONE = z3.BitVecVal(1, 64) |
OlderNewer