Ohad Livne

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-04-19 21:26:46 +00:00

326b65f507 Elaborate on the iterative process for refactor scripts

d22b10a8ab Teach Claude about the Three Virtues

d7e16e108d Permit Claude to restructure automatically-committed history

d9d1ef0878 Integrate git into Claude's development process

6029206d1b Add guidelines for naming and magic numbers in tests

Compare 31 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-04-18 08:56:54 +00:00

9423e3ff98 Integrate git into Claude's development process

5dd645e7fb Add guidelines for naming and magic numbers in tests

02341ecf91 Invite creative writing in source code

a05f054a13 Describe the preferred setup of green-field projects

7b5628b37b Clarify the role of integration testing for code that requires I/O

Compare 7 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-04-18 08:28:57 +00:00

96090cb604 Increase the cache TTL for loaded models

2084a52b08 Mirror resource limits in podman as well

b81057e26a Restrict service resource usage

Compare 3 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-04-13 17:42:53 +00:00

664c187bcf Ignore local Claude Code files globally

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-04-13 05:56:37 +00:00

c7aca696d7 Ignore local Claude Code files globally

b4838af164 Use a widely-available terminal config in SSH remotes

c18017eef4 Create periodic healthcheck units for the transient store

c852857583 Support health checks for the services

203e6656da Check for image updates on startup

Compare 11 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-04-07 18:00:11 +00:00

93baa452d5 Back up the password databases

a878cf7683 Update the script to work in strict mode

505e36e868 DRY the sync backup script

Compare 3 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-04-06 20:28:40 +00:00

0e1586e6f2 Install a CLI tool for Hetzner Cloud

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-04-06 18:47:47 +00:00

aa1b9433db Provide installation suggestions for missing utilities

48d960878d Correctly update executable links

Compare 2 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-03-12 15:36:05 +00:00

f3020c0acd Set core rules for Claude Code behavior

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-03-12 15:29:48 +00:00

6f333e34f3 Create a local plugin for pylsp integration

c72c019ee8 Increase Claude's context window size

00f3a97e63 Permit additional actions

Compare 3 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-03-09 13:20:37 +00:00

a7285ab6b7 Update built-in markdown package name

1b39e7bf04 Update elpaca version

Compare 2 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-03-07 20:05:16 +00:00

c2430308c7 Rename workflow steps for lexical order

77b25c461e Scope some workflow steps to individual features

53e83a666b Update Claude WebFetch permissions

16b89024b5 Update Claude settings

Compare 4 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-03-07 13:25:02 +00:00

65d8a4677c Add human-in-the-loop interactivity to the implementation step

eeb5e6159e Fix instruction order in the spec-formalization step

de599d1850 Add a hint argument to more steps in the spec-driven workflow

24de9f41a4 Explicitly ensure all used packages

Compare 4 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-03-07 13:24:21 +00:00

84bbec5ece Track Claude personalization settings

1976c2cb8b Update Claude settings

9b59151d13 Teach Emacs to generate UUID (version 4) identifiers

c219b95dbd Add a skill for profiling and optimization

17286e6f60 Track Claude Code settings

Compare 18 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-02-23 20:03:45 +00:00

cf3c2fe9ed Track Claude personalization settiongs

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-02-23 20:02:44 +00:00

48f0deaaba Update Claude settings

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-02-14 22:52:19 +00:00

9cf57426b2 Teach Emacs to generate UUID (version 4) identifiers

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-02-12 06:49:17 +00:00

bc162d3c4e Add a skill for profiling and optimization

2c3014dcc1 Track Claude Code settings

Compare 2 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-02-12 06:43:52 +00:00

57e8b815be Add a skill for profiling and optimization

6d96354652 Track Claude Code settings

3386ce72c3 Create a TDD workflow for Claude Code

b7ad416928 Clone Lilypond from the upstream repository and support updates

320322d48b Create an optional hook system for externally-managed verification

Compare 9 commits »

libohad-dev pushed to trunk at libohad-dev/dotfiles

2026-02-10 16:59:36 +00:00

51ff9e2572 Create an optional hook system for externally-managed verification

bb7422f4c0 Write a workflow for formal spec-driven development based on TLA+

c2f2d4e857 Install TLAPS for stronger verification of TLA+ models

ca7c6be4fe Support installing a specific project release

Compare 4 commits »