brozek/website
1
0
Fork 0
mirror of https://github.com/Brandon-Rozek/website.git synced 2025-08-26 15:42:00 +00:00
Code Issues Projects Releases Packages Activity

Compare commits

base: brozek:12b063d0d68d11349e7de853c118c0c465257b35
Branches Tags
brozek:main
..
compare: brozek:ed2edb82b455728bae8823d667e46510ae8d4ff9
Branches Tags
brozek:main

No commits in common. "12b063d0d68d11349e7de853c118c0c465257b35" and "ed2edb82b455728bae8823d667e46510ae8d4ff9" have entirely different histories.
12b063d0d6 ... ed2edb82b4

4 changed files with 1 additions and 34 deletions
Show stats Expand all files Collapse all files

2
content/community/logic-group.md
View file

@ -15,8 +15,6 @@ given: [https://rairlab.github.io/logic-group/](https://rairlab.github.io/logic-
I presented the following: I presented the following:
01/31/2024: An original talk titled "Planning under Qualitative Uncertainty - Initial Thoughts"
01/24/2024: An original talk titled "Spectra: STRIPS-Inspired AI Planner based on Automated Reasoning" 01/24/2024: An original talk titled "Spectra: STRIPS-Inspired AI Planner based on Automated Reasoning"
10/25/2023: An original talk titled "Introduction to Goal Recognition as Planning" 10/25/2023: An original talk titled "Introduction to Goal Recognition as Planning"

1
content/menu/_index.md
View file

@ -73,7 +73,6 @@ The following menu contains meals that are in rotation at my home. These are mad
Pork Pork
- [Pork/Chicken Katsu](pork-chicken-katsu/) - [Pork/Chicken Katsu](pork-chicken-katsu/)
- Pulled Pork Sandwiches - Pulled Pork Sandwiches
- [Jambalaya](jambalaya/)
Beef Beef

30
content/menu/jambalaya.md
View file

@ -1,30 +0,0 @@
---
title: "Jambalaya"
date: 2024-03-12
hideDate: true
draft: false
---
## Ingredients
- 2 tablespoons vegetable oil
- 1/2 yellow onion diced
- 1 green pepper, diced
- 1 1/2 cup of rice
- 1 can of tomatos (undraied)
- 1 3/4 cup of chicken broth
- 1 1/2 tablespoon garlic powder
- 1/2 tablespoon paprika
- 1/2 tablespoon oregano
- 1/4 tablespoon salt
- 1 teaspoon cayenne
- Sprinkle of sugar
- Cooked sausage
- Cooked chicken
## Recipe
1. Add oil, set instant pot to sautee. Sautee onion and pepper.
2. Add rice to pot with tomatoes, broth, and spices
3. Cook using high manual pressure cook for 5 minutes. Additionally let the natural release occur for 5 minutes
4. Add cooked chicken and sausage. Mix the rice.
5. Serve

2
content/research/_index.md
View file

@ -36,7 +36,7 @@ unification algorithms, to building
tools for interactive theorem provers. tools for interactive theorem provers.
- With Andrew Marshall and Kimberly Cornell, we're currently developing a new syntactic AC algorithm. - With Andrew Marshall and Kimberly Cornell, we're currently developing a new syntactic AC algorithm.
- With Thomas Ferguson and James Oswald we formalized a model theory for a fragment of the Deontic Cognitive Event Calculus. - With Thomas Ferguson and James Oswald we formaliezd a model theory for a fragment of the Deontic Cognitive Event Calculus.
- With James Oswald we've built interactive theorem provers and showed validity of large proofs in parallel using a high performance cluster. - With James Oswald we've built interactive theorem provers and showed validity of large proofs in parallel using a high performance cluster.