Skip to content
View SYKhayyat's full-sized avatar

Highlights

  • Pro

Block or report SYKhayyat

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
SYKhayyat/README.md

Shaul Khayyat

I write systems and application software, mostly in Rust, Common Lisp and TypeScript. At CloudResearch I red-teamed bot detection, where I built both the bots and the system that improved them, and that pair went on beating a best-in-class detection stack continuously rather than in one-off bypasses.

Shall is a declarative configuration engine. You write down what a machine should have, you run sync, and the machine is made to match. Packages are the obvious case, but repositories, services, schedules, symlinks, OS and desktop settings, dotfile trees and firewall rules are all declared in the same grammar and converged by the same command, driving whatever tools are already installed. The point is to get declarative configuration without adopting NixOS, or even changing your package manager.

Ksav (כְּתָב, writing) is a Hebrew-first typesetting and writing system built on Typst. It behaves like a word processor, but every Hebrew command is a genuine Typst function, so a real compiler lays the document out instead of a browser approximating it. I write a lot of Hebrew, and the tooling for it is thin.

Girsa (גִּרְסָא, the text as received) is a Torah library that assumes you are going to write something. You find a mekor (source) while you are learning and send it to whatever you are working on, and the citation in the finished PDF still opens the page it names three weeks later, on another machine, for whoever you sent it to. It shares its foundations with Ksav through sefer-crates.

LatticeWM is an infinite-grid window manager for the river Wayland compositor, written in Common Lisp. Its layout model is a policy layer you can replace rather than the program itself.

clt is a task list that lives in your repository and is scoped to the branch, so it travels with the work and your coding agent can write to it.

A few smaller things. rtl.nvim adds right-to-left support to Neovim for Hebrew prose; Neovim has shipped the layout primitives for years, but nothing ever decided when to turn them on, and the options are scoped in a way that bites you the moment you open a second file. photocull measures where focus actually landed in a photograph and shows you where it looked, so you can check a verdict rather than trust it. claude-skills is a pair of skills for Claude Code, one that argues about whether the code should exist at all and one that explains a pull request to a reader who is not an engineer.

I also write for keypad phones, which give you a D-pad, no touchscreen and single-digit megabytes to work in. OtzariaSonim is a seforim (Jewish texts) reader that fits the books and the meforshim (commentaries) graph into about 850 KB. SonimReader2 reads plain text and Org files without a touchscreen. Chovos Hayom tracks Torah learning daf by daf on an append-only event log, so that every count, streak and projection is a fold over that log.

My Emacs configuration is literate and runs the same on NixOS, Linux, Windows and macOS, split so that the half which knows nothing about Hebrew is worth taking on its own. My NixOS configuration is the machine half of that setup.

BS Computer Science, Touro University, expected February 2027. Always open to collaborate.

shaulyoelkhayyat@gmail.com

Pinned Loading

  1. Shall Shall Public

    Declare a machine in files — packages, services, settings, firewall rules, dotfiles — and sync it to match, driving the tools already installed

    Rust

  2. ksav ksav Public

    A Hebrew-first typesetting and writing system built on the real Typst engine — a Word-like editor where every Hebrew command is a genuine Typst function, so documents are laid out by a real compiler.

    TypeScript 1

  3. LatticeWM LatticeWM Public

    An infinite-grid window manager for river.

    Common Lisp

  4. girsa girsa Public

    A library that reads the seforim, and whose addresses survive being edited.

    Rust 1

  5. clt clt Public

    Branch-scoped task list that lives in your repo, and that your coding agent can write to

    Rust

  6. Chovos_Hayom Chovos_Hayom Public

    Track Torah learning daf by daf, on an append-only event log — every count, streak and projection is a fold over it. Flutter, for Android, Windows, and a non-touch Sonim keypad phone.

    Dart 1