Brandon Rozek

brozek synced commits to main at brozek/website from mirror 2026-05-05 23:50:55 +00:00

e87a6ec40e Fixed presentation issue

brozek synced commits to main at brozek/website from mirror 2026-05-01 22:31:15 +00:00

db60366724 Updated TA page

0fd4fb0c08 Updated publications list

Compare 2 commits »

brozek synced commits to master at brozek/website-theme from mirror 2026-05-01 14:24:32 +00:00

9af32d4758 Removed some feeds from head

brozek synced commits to main at brozek/website from mirror 2026-05-01 14:24:31 +00:00

9dc06001be Added new recipes

60076d7969 Updated theme

Compare 2 commits »

brozek synced commits to master at brozek/website-theme from mirror 2026-04-27 11:06:47 +00:00

47c3dcfc5d Templated RSS feature to include special postroll rules

brozek synced commits to main at brozek/website from mirror 2026-04-27 11:06:46 +00:00

35b36510f8 Fixed menu link

551303275a New subscribe option

4383e71b92 Special postroll XML rules

Compare 3 commits »

brozek synced commits to main at brozek/website from mirror 2026-04-26 15:55:00 +00:00

5b094969e9 New Post

brozek synced commits to main at brozek/website from mirror 2026-04-12 19:36:49 +00:00

48a8f87876 New tip

brozek synced commits to main at brozek/website from mirror 2026-03-13 05:12:29 +00:00

c1c3759e67 Typo fix

brozek synced commits to feat/55 at brozek/vspursuer from mirror 2026-02-11 08:01:21 +00:00

brozek synced new reference feat/55 to brozek/vspursuer from mirror 2026-02-11 08:01:21 +00:00

brozek synced commits to main at brozek/vspursuer from mirror 2026-02-11 08:01:21 +00:00

6a5c45817a (#56) Introduced a new ordering for printing out model values

53fb674d9a Introduced a new ordering for printing out model values

Compare 2 commits »

brozek synced commits to main at brozek/website from mirror 2026-02-09 17:24:52 +00:00

12546442a4 Updated publications

brozek synced commits to main at brozek/website from mirror 2026-02-02 07:00:48 +00:00

366661ca4b New post

brozek synced commits to main at brozek/website from mirror 2026-01-30 22:13:37 +00:00

c17ffef306 Updates to research page

brozek synced commits to main at brozek/website from mirror 2026-01-29 21:53:18 +00:00

626f0544dd Research page update

dc51bf1bda Homepage update

Compare 2 commits »

brozek synced commits to feat/46 at brozek/vspursuer from mirror 2026-01-28 07:32:56 +00:00

51bf1a44d9 Small comment change

06cca7d32e Refactored out valuation generation code in SMT

85ef364a57 Small comment change

51f8adcd44 Small comment change

bf86bfd83e Simplified satisfiable

Compare 13 commits »

brozek synced commits to main at brozek/vspursuer from mirror 2026-01-28 07:32:56 +00:00

42f063408b (#46) Finding models via Z3

51bf1a44d9 Small comment change

06cca7d32e Refactored out valuation generation code in SMT

85ef364a57 Small comment change

51f8adcd44 Small comment change

Compare 15 commits »

brozek synced commits to main at brozek/website from mirror 2026-01-26 05:12:40 +00:00

d767feb35c Small fix

99bcfc349b New post

Compare 2 commits »

brozek synced commits to main at brozek/website from mirror 2026-01-25 21:03:30 +00:00

069cf50730 Small changes