Creating FFI bindings from PureScript Halogen to Radix UI components is technically feasible but significantly challenging. The fundamental architectural mismatch between Halogen (virtual DOM agnostic, using its own rendering) and Radix UI (deeply coupled to React) means a direct FFI approach is impractical. However, several viable alternative approaches exist.
This file contains hidden or 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
| === WHAT === | |
| - Add new 'skyportal' hosting type for bare metal servers from Skyportal cloud provider | |
| - Configure two new hosts: fxy-skyportal-rtx6000pro-ca1-0x01 and fxy-skyportal-no1-5090-0x01 | |
| - Enable NVIDIA open-source driver (open = true) | |
| - Pin skyportal kernel to Linux 6.12 | |
| - Add mlx5_core (Mellanox) network driver to latitude hosting | |
| - Rehash secrets for new skyportal hosts | |
| === WHY === |
This file contains hidden or 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
| diff --git a/nix/configurations/default.nix b/nix/configurations/default.nix | |
| index c04615e8..6e54346f 100644 | |
| --- a/nix/configurations/default.nix | |
| +++ b/nix/configurations/default.nix | |
| @@ -81,6 +81,14 @@ let | |
| type = "custom"; | |
| }; | |
| + "fxy-skyportal-rtx6000pro-ca1-0x01" = { | |
| + type = "skyportal"; |
This file contains hidden or 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
| diff --git a/nix/configurations/default.nix b/nix/configurations/default.nix | |
| index c04615e8..6e54346f 100644 | |
| --- a/nix/configurations/default.nix | |
| +++ b/nix/configurations/default.nix | |
| @@ -81,6 +81,14 @@ let | |
| type = "custom"; | |
| }; | |
| + "fxy-skyportal-rtx6000pro-ca1-0x01" = { | |
| + type = "skyportal"; |
This file contains hidden or 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
| { | |
| pkgs ? import <nixpkgs> { }, | |
| }: | |
| pkgs.buildDotnetModule rec { | |
| pname = "uvtools"; | |
| version = "5.2.1"; # Update to latest from https://github.com/sn4k3/UVtools/releases | |
| src = pkgs.fetchFromGitHub { | |
| owner = "sn4k3"; |
This file contains hidden or 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
| from build123d import * | |
| from build123d_draft import * | |
| import math | |
| def make_hinge(center, # hinge around this point | |
| dia, # outer diameter of the hinge round part | |
| total_height, # | |
| pin_dia=None, # diameter of the hinge pin | |
| vertical_clearance=0.5, # clearance in Z axis | |
| horizontal_clearance = 0.5, # clearance in X, Y axes |
This file contains hidden or 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
| "<> {-> x \\if \"\\\"\\\\\" x elemChar: ['\\\\', x] else: [x]} mapConcat '\"' append '\"' prepend | |
| say say" | |
| <> {-> x \if "\"\\" x elemChar: ['\\', x] else: [x]} mapConcat '"' append '"' prepend | |
| say say |
This file contains hidden or 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
| (defproject one "1.0.0-SNAPSHOT" | |
| :description "Getting Started with ClojureScript." | |
| :dependencies [[org.clojure/clojure "1.4.0"] | |
| [ring "1.1.5"] | |
| [compojure "1.1.3"] | |
| [org.clojure/clojurescript "0.0-1450"] | |
| [enlive "1.0.1"] | |
| [domina "1.0.1-SNAPSHOT"] | |
| [org.mozilla/rhino "1.7R3"] | |
| [com.google.javascript/closure-compiler "r2079"] |
This file contains hidden or 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
| module Main where | |
| import qualified Data.ByteString as B | |
| import qualified Data.ByteString.Lazy as BL | |
| import Data.Binary.Strict.Get | |
| import qualified Data.Binary.Strict.BitGet as BG | |
| import Data.Word | |
| import Control.Monad | |
| import Control.Applicative | |
| import Data.Binary.Put |
NewerOlder