kach/memo issues and pull requests

#85 - Editor tooling

Issue - State: closed - Opened by kach 9 days ago - 1 comment

#84 - Joint probability distributions with commas?

Issue - State: closed - Opened by kach 11 days ago

#83 - For loops?

Issue - State: open - Opened by kach 18 days ago - 1 comment

#82 - Language variants for agents

Issue - State: open - Opened by kach 18 days ago

#81 - New reductions

Issue - State: closed - Opened by kach 22 days ago

#80 - alice: imagines_self_as(future_alice)

Issue - State: closed - Opened by kach 29 days ago - 2 comments

#79 - utilities to convert output to pandas/xarray/etc.

Issue - State: closed - Opened by kach about 1 month ago - 1 comment

#78 - Quote lines in error messages

Issue - State: closed - Opened by kach about 2 months ago

#77 - Utility to print output in a nice table format

Issue - State: closed - Opened by kach about 2 months ago

#76 - Multiple choices from joint

Issue - State: closed - Opened by kach 2 months ago

#75 - cleanup for 7seg

Pull Request - State: closed - Opened by chentoast 3 months ago - 1 comment

#74 - Refer to Python-level variables via {}?

Issue - State: closed - Opened by kach 3 months ago - 1 comment

#73 - first pass at implementing entropy

Pull Request - State: closed - Opened by chentoast 4 months ago - 4 comments

#72 - to_maximize now hedges when there are multiple maximizers

Pull Request - State: open - Opened by chentoast 4 months ago - 14 comments

#71 - entropy

Issue - State: closed - Opened by kach 4 months ago - 2 comments

#70 - should to_maximize hedge when provided equal options?

Issue - State: closed - Opened by kach 4 months ago - 1 comment

#69 - wip

Pull Request - State: closed - Opened by chentoast 4 months ago

#68 - to_maximize should return a sparse tensor

Issue - State: open - Opened by kach 5 months ago - 2 comments

#67 - benchmarks & comparisons

Issue - State: closed - Opened by kach 6 months ago - 1 comment

#66 - experiment with running jax on apple GPU

Issue - State: closed - Opened by kach 6 months ago - 4 comments

#65 - add link to JAX FAQ to documentation somewhere prominent

Issue - State: closed - Opened by kach 6 months ago - 1 comment

#64 - staticness should be inferred at parse-time (rather than at compile-time via Values)

Issue - State: closed - Opened by kach 6 months ago

#63 - `knows` should be variadic

Issue - State: closed - Opened by kach 6 months ago - 2 comments

#62 - integrate with jaxmarl

Issue - State: open - Opened by kach 6 months ago

#61 - better document distinction between observes vs knows

Issue - State: closed - Opened by kach 6 months ago - 2 comments

#60 - more ergonomic way to return posterior (E[speaker.n == n]…)

Issue - State: closed - Opened by kach 6 months ago - 4 comments

#59 - Syntactic sugar for probability

Issue - State: closed - Opened by kach 6 months ago - 2 comments

#58 - Error message for no type signature on []s in @memo def…

Issue - State: closed - Opened by kach 6 months ago

#57 - Warning for when wpp doesn't depend on variable being chosen

Issue - State: closed - Opened by kach 6 months ago - 1 comment
Labels: enhancement

#56 - Defining intermediate variables

Issue - State: open - Opened by kach 6 months ago
Labels: enhancement

#55 - jax import error

Issue - State: closed - Opened by tobiasgerstenberg 6 months ago - 2 comments

#54 - cross-compile to wasm for creating browser-based demos of memo programs?

Issue - State: open - Opened by kach 7 months ago
Labels: enhancement

#53 - memo.common ?

Issue - State: open - Opened by chentoast 7 months ago - 1 comment
Labels: enhancement

#52 - show 7-segment display with differentiable graphics

Issue - State: closed - Opened by kach 7 months ago
Labels: demo

#51 - a demo integrating physics simulation with brax/taps

Issue - State: open - Opened by kach 7 months ago
Labels: demo

#50 - issue interspersing JIT compilation with dynamic programming

Issue - State: closed - Opened by kach 7 months ago - 1 comment

#49 - automatic visualizations of memos in "comic book" format with nested thought bubbles

Issue - State: closed - Opened by kach 7 months ago - 3 comments
Labels: enhancement

#48 - at root level, unknown choice error should suggest that maybe you meant it to be a forall

Issue - State: closed - Opened by kach 7 months ago

#47 - facility to say "imagine[ rest of this memo ]"

Issue - State: open - Opened by kach 7 months ago - 2 comments
Labels: enhancement

#46 - fix several bugs and add a POMDP example

Pull Request - State: closed - Opened by kach 7 months ago - 1 comment

#45 - output dimensions are reversed :-/

Issue - State: closed - Opened by kach 7 months ago - 1 comment

#44 - add more ops

Issue - State: closed - Opened by kach 7 months ago

#43 - wip: argmax in chooses

Pull Request - State: closed - Opened by chentoast 7 months ago - 2 comments

#42 - knows(x) as shorthand for knows(self.x) -- similarly for memo calls

Issue - State: closed - Opened by kach 7 months ago

#42 - knows(x) as shorthand for knows(self.x) -- similarly for memo calls

Issue - State: closed - Opened by kach 7 months ago

#41 - saliva example

Issue - State: closed - Opened by kach 7 months ago - 1 comment
Labels: demo

#40 - cost of thinking (for resource rationality)

Issue - State: closed - Opened by kach 7 months ago - 1 comment
Labels: enhancement

#39 - automatic facility for belief space discretization

Issue - State: closed - Opened by kach 7 months ago - 4 comments
Labels: enhancement

#38 - side-by-side memo/webppl examples

Issue - State: open - Opened by kach 7 months ago - 1 comment
Labels: demo

#37 - argmax wpp

Issue - State: closed - Opened by kach 7 months ago - 1 comment

#36 - @memo debug flags (e.g. print compiled source, …)

Issue - State: closed - Opened by kach 7 months ago - 1 comment

#35 - function calls with no arguments

Issue - State: closed - Opened by chentoast 7 months ago

#34 - option to cache a memo to disk if the source hasn't changed (can compare hash of Stmt)

Issue - State: open - Opened by kach 7 months ago - 3 comments
Labels: enhancement

#33 - store source loc in Exprs and Stmts for use in error messages

Issue - State: closed - Opened by kach 7 months ago - 1 comment

#32 - first pass at calling other memo functions

Pull Request - State: closed - Opened by chentoast 7 months ago

#31 - introduce a static flag to values

Pull Request - State: closed - Opened by chentoast 7 months ago

#30 - new syntax for foralls

Issue - State: closed - Opened by chentoast 7 months ago - 1 comment

#29 - unbox output to proper shape

Issue - State: closed - Opened by kach 7 months ago

#28 - tests

Issue - State: closed - Opened by kach 7 months ago - 2 comments

#27 - documentation

Issue - State: closed - Opened by kach 7 months ago - 2 comments

#26 - "function calling" another memo

Issue - State: closed - Opened by kach 7 months ago - 3 comments

#25 - FFI

Issue - State: closed - Opened by kach 7 months ago

#24 - transition to JAX

Issue - State: closed - Opened by kach 7 months ago

#23 - ability to write observe [a.b] is x as shorthand for self.x

Issue - State: closed - Opened by kach 8 months ago - 1 comment

#22 - monty hall example

Pull Request - State: closed - Opened by chentoast 8 months ago

#21 - less than and greater than

Pull Request - State: closed - Opened by chentoast 8 months ago

#20 - implementing the rest of memo operators

Pull Request - State: closed - Opened by chentoast 8 months ago

#19 - add less than and greater than operators

Issue - State: closed - Opened by chentoast 8 months ago

#18 - alternative syntax for EWith

Pull Request - State: closed - Opened by chentoast 8 months ago

#17 - implementing alternative syntax for observes

Pull Request - State: closed - Opened by chentoast 8 months ago

#16 - Conditioning on constants

Issue - State: open - Opened by chentoast 8 months ago - 1 comment

#15 - We should have our own array abstraction that can run with pytorch/numpy/jax as backend + handles indexing the way we do it

Issue - State: closed - Opened by kach 8 months ago - 2 comments

#14 - Properly undo effects to other agents' LL's caused by statements within an imagine

Issue - State: closed - Opened by kach 8 months ago
Labels: bug

#13 - wpp_deps of E[...]

Issue - State: closed - Opened by kach 8 months ago

#12 - Allow alice.x as shorthand for alice[x]

Issue - State: closed - Opened by kach 8 months ago

#11 - Better observe syntax

Issue - State: closed - Opened by kach 8 months ago

#10 - More error checking

Issue - State: closed - Opened by chentoast 8 months ago - 1 comment

#9 - Better handling of domains - ideally infrastructure for algebraic data types

Issue - State: closed - Opened by kach 8 months ago - 1 comment
Labels: enhancement

#8 - Add remaining operations to memoparse, including ternary if/else

Issue - State: closed - Opened by kach 8 months ago

#7 - More ergonomic handling of given variables

Issue - State: closed - Opened by chentoast 8 months ago - 2 comments

#6 - Convert Monty Hall to memoparse syntax

Issue - State: closed - Opened by kach 8 months ago

#5 - Pretty-print should be cycle-consistent with memoparse

Issue - State: closed - Opened by kach 8 months ago

#4 - Omniscient "env" that can make choices

Issue - State: closed - Opened by kach 8 months ago - 2 comments

#3 - Make memo handle parameters

Issue - State: closed - Opened by chentoast 8 months ago

#2 - Figure out why L2 speaker stops working if speaker thinks

Issue - State: closed - Opened by kach 8 months ago - 1 comment

#1 - Meaningful syntax errors in memoparse

Issue - State: closed - Opened by kach 8 months ago - 1 comment

GitHub / kach/memo issues and pull requests