clojure-austin 2022-06-28

mlimotte17:06:25

Talk Proposal In August, I’d like to present on using a SAT Solver in Clojure. Specifically, the CP-SAT solver from Google’s OR Tools to solve linear optimization problems of integers and booleans. Google says “OR-Tools is fast and portable software for combinatorial optimization.” OR-Tools is written in C++, but has JNI wrappers for Java, and as we know, Clojure has first rate Java interop. https://developers.google.com/optimization/mip Linear optimization problems of integers and booleans. I want to demo a few things here— depending on available time and interest: 1. How to use a linear optimization library to solve real world problems 2. Some simple example of Java interop 3. Different, Clojure idiomatic, programming paradigms that can be built on top of this library (symbolic, data structure driven, DSL— using Instaparse). Some of you may have seen my previous talk on core.logic. My work here is eventually intended to replace my use of core.logic. I haven’t benchmarked, but OR Tools is orders of magnitude faster, and this programming model is more straight-forward for the types of problem I have. OR Tools is a fast, production quality library. Examples

(parse-equations "
 2x - 3y = z
 z < 12")

[["=" [["y"]] [[2 "x"] [3]]] ; y = 2x + 3
 ["<" [["x"]] [[4]]]        ; (x < 4)

👍 1

mlimotte17:06:54

@staypufd @U0954HGDQ Let me know if we August or another month is available.

mlimotte17:06:22

Anyone else… let me know if there is any particular angle that you’d like me to go into more.

staypufd01:06:52

Hey @milmotte, I'll let you know in a few days. Still waiting to hear on our other speaker. She had some health concerns for doing one in July, so I offered August. Your talk looks great, but I'll read they it a bit when I'm home later.

mlimotte12:07:14

Let me know for Aug. I can push to September if needed.

mlimotte12:07:52

@U0954HGDQ @staypufd I can have http://skipprenovation.com provide Pizza for whichever month I wind up in. Will just want a head count, so would like to get the Meetup posted soon so people can start indicating if they’re in or not.

staypufd18:07:42

August is available. Can you still give talk then?

mlimotte18:07:34

So that will be August 8th. Yes, i can be ready by then. As long as it’s in-person.

staypufd18:07:00

Ok - I'll put it up in a bit.

staypufd18:07:05

Thanks

mlimotte18:07:19

Great. You can use my description at the start of this thread.

mlimotte18:07:59

Also, I’ll have my company supply pizza, so ask people accurately RSVP before game-day.

norman17:06:41

I'll let @staypufd confirm, but I'm quite sure we are open in August. I hope the July speaker has been confirmed.

staypufd01:06:37

Paula had some health concerns, so I was gonna give a talk. I'll post up the name and stuff later tonight or in the morning.

2022-06-28

Channels