remove sam's talk

index.md

@@ -37,14 +37,13 @@ We ask that all who are planning to attend the event register in advance so that
 <tr><td>1:30-1:45pm</td><td>Satyajit Gokhale</td><td>Semantic Code Clustering at Scale</td></tr>
 <tr><td>1:50-1:55pm</td><td>Olek Gierczak</td><td>Gradually Typed Languages Should Be Vigilant!</td></tr>
 <tr><td>2:00-2:15pm</td><td>John Li</td><td>Lilac: A Modal Separation Logic for Conditional Probability</td></tr>
-<tr><td>2:20-2:25pm</td><td>Sam Stites</td><td>A Multi-Language Approach to Heterogeneous Probabilistic Program Inference</td></tr>
+<tr><td>2:20-2:25pm</td><td>Minsung Cho</td><td>Free Dice: Weighted Model Counting via Effects</td></tr>
 <tr><td>2:30-2:45pm</td><td>Derek Egolf</td><td>Toward Fitness-Optimal Synthesis of Distributed Protocols</td></tr>
 <tr class="break"><td>2:45-3:15pm</td><td colspan="2" class="break">Coffee Break</td></tr>
 <tr><td>3:15-3:30pm</td><td>Jane Adams</td><td>Systemic Challenges of Visualization Software Engineering in Genetics Research</td></tr>
-<tr><td>3:35-3:40pm</td><td>Minsung Cho</td><td>Free Dice: Weighted Model Counting via Effects</td></tr>
-<tr><td>3:45-4:00pm</td><td>Max Bernstein</td><td>Intro to ML compilers</td></tr>
-<tr><td>4:05-4:20pm</td><td>Andrew Walter</td><td>Witness-Generating Data Types</td></tr>
-<tr><td>4:25-4:55pm</td><td colspan="2">Faculty Panel: Software Research, Moderator: Michelle Thalakottur</td></tr>
+<tr><td>3:35-3:50pm</td><td>Max Bernstein</td><td>Intro to ML compilers</td></tr>
+<tr><td>3:55-4:10pm</td><td>Andrew Walter</td><td>Witness-Generating Data Types</td></tr>
+<tr><td>4:15-4:55pm</td><td colspan="2">Faculty Panel: Software Research, Moderator: Michelle Thalakottur</td></tr>
 <tr><td>4:55-5:00pm</td><td>Gwen Lincroft</td><td>Closing Remarks</td></tr>
 <tr class="break"><td class="break">6:00-8:00pm</td><td colspan="2" class="break">Social Event at Lucky Strike</td></tr>
 </table>

vendor/bundle/ruby/2.6.0/bin/bundle

@@ -0,0 +1,29 @@
+#!/usr/bin/env ruby
+#
+# This file was generated by RubyGems.
+#
+# The application 'bundler' is installed as part of a gem, and
+# this file is here to facilitate running it.
+#
+
+require 'rubygems'
+
+version = ">= 0.a"
+
+str = ARGV.first
+if str
+  str = str.b[/\A_(.*)_\z/, 1]
+  if str and Gem::Version.correct?(str)
+    version = str
+    ENV['BUNDLER_VERSION'] = str
+
+    ARGV.shift
+  end
+end
+
+if Gem.respond_to?(:activate_bin_path)
+load Gem.activate_bin_path('bundler', 'bundle', version)
+else
+gem "bundler", version
+load Gem.bin_path("bundler", "bundle", version)
+end

vendor/bundle/ruby/2.6.0/bin/bundler

@@ -0,0 +1,29 @@
+#!/usr/bin/env ruby
+#
+# This file was generated by RubyGems.
+#
+# The application 'bundler' is installed as part of a gem, and
+# this file is here to facilitate running it.
+#
+
+require 'rubygems'
+
+version = ">= 0.a"
+
+str = ARGV.first
+if str
+  str = str.b[/\A_(.*)_\z/, 1]
+  if str and Gem::Version.correct?(str)
+    version = str
+    ENV['BUNDLER_VERSION'] = str
+
+    ARGV.shift
+  end
+end
+
+if Gem.respond_to?(:activate_bin_path)
+load Gem.activate_bin_path('bundler', 'bundler', version)
+else
+gem "bundler", version
+load Gem.bin_path("bundler", "bundler", version)
+end

vendor/bundle/ruby/2.6.0/bin/jekyll

@@ -0,0 +1,29 @@
+#!/usr/bin/env ruby
+#
+# This file was generated by RubyGems.
+#
+# The application 'jekyll' is installed as part of a gem, and
+# this file is here to facilitate running it.
+#
+
+require 'rubygems'
+
+Gem.use_gemdeps
+
+version = ">= 0.a"
+
+str = ARGV.first
+if str
+  str = str.b[/\A_(.*)_\z/, 1]
+  if str and Gem::Version.correct?(str)
+    version = str
+    ARGV.shift
+  end
+end
+
+if Gem.respond_to?(:activate_bin_path)
+load Gem.activate_bin_path('jekyll', 'jekyll', version)
+else
+gem "jekyll", version
+load Gem.bin_path("jekyll", "jekyll", version)
+end

vendor/bundle/ruby/2.6.0/bin/kramdown

@@ -0,0 +1,29 @@
+#!/usr/bin/env ruby
+#
+# This file was generated by RubyGems.
+#
+# The application 'kramdown' is installed as part of a gem, and
+# this file is here to facilitate running it.
+#
+
+require 'rubygems'
+
+Gem.use_gemdeps
+
+version = ">= 0.a"
+
+str = ARGV.first
+if str
+  str = str.b[/\A_(.*)_\z/, 1]
+  if str and Gem::Version.correct?(str)
+    version = str
+    ARGV.shift
+  end
+end
+
+if Gem.respond_to?(:activate_bin_path)
+load Gem.activate_bin_path('kramdown', 'kramdown', version)
+else
+gem "kramdown", version
+load Gem.bin_path("kramdown", "kramdown", version)
+end

vendor/bundle/ruby/2.6.0/bin/listen

@@ -0,0 +1,29 @@
+#!/usr/bin/env ruby
+#
+# This file was generated by RubyGems.
+#
+# The application 'listen' is installed as part of a gem, and
+# this file is here to facilitate running it.
+#
+
+require 'rubygems'
+
+Gem.use_gemdeps
+
+version = ">= 0.a"
+
+str = ARGV.first
+if str
+  str = str.b[/\A_(.*)_\z/, 1]
+  if str and Gem::Version.correct?(str)
+    version = str
+    ARGV.shift
+  end
+end
+
+if Gem.respond_to?(:activate_bin_path)
+load Gem.activate_bin_path('listen', 'listen', version)
+else
+gem "listen", version
+load Gem.bin_path("listen", "listen", version)
+end

vendor/bundle/ruby/2.6.0/bin/rougify

@@ -0,0 +1,29 @@
+#!/usr/bin/env ruby
+#
+# This file was generated by RubyGems.
+#
+# The application 'rouge' is installed as part of a gem, and
+# this file is here to facilitate running it.
+#
+
+require 'rubygems'
+
+Gem.use_gemdeps
+
+version = ">= 0.a"
+
+str = ARGV.first
+if str
+  str = str.b[/\A_(.*)_\z/, 1]
+  if str and Gem::Version.correct?(str)
+    version = str
+    ARGV.shift
+  end
+end
+
+if Gem.respond_to?(:activate_bin_path)
+load Gem.activate_bin_path('rouge', 'rougify', version)
+else
+gem "rouge", version
+load Gem.bin_path("rouge", "rougify", version)
+end

vendor/bundle/ruby/2.6.0/bin/safe_yaml

@@ -0,0 +1,29 @@
+#!/usr/bin/env ruby
+#
+# This file was generated by RubyGems.
+#
+# The application 'safe_yaml' is installed as part of a gem, and
+# this file is here to facilitate running it.
+#
+
+require 'rubygems'
+
+Gem.use_gemdeps
+
+version = ">= 0.a"
+
+str = ARGV.first
+if str
+  str = str.b[/\A_(.*)_\z/, 1]
+  if str and Gem::Version.correct?(str)
+    version = str
+    ARGV.shift
+  end
+end
+
+if Gem.respond_to?(:activate_bin_path)
+load Gem.activate_bin_path('safe_yaml', 'safe_yaml', version)
+else
+gem "safe_yaml", version
+load Gem.bin_path("safe_yaml", "safe_yaml", version)
+end

vendor/bundle/ruby/2.6.0/extensions/universal-darwin-21/2.6.0/eventmachine-1.2.7/gem_make.out

@@ -0,0 +1,22 @@
+current directory: /Users/minsung/Documents/software-day-23/vendor/bundle/ruby/2.6.0/gems/eventmachine-1.2.7/ext/fastfilereader
+/System/Library/Frameworks/Ruby.framework/Versions/2.6/usr/bin/ruby extconf.rb
+/System/Library/Frameworks/Ruby.framework/Versions/2.6/usr/lib/ruby/2.6.0/universal-darwin21/rbconfig.rb:230: warning: Insecure world writable dir /Users/minsung/.opam in PATH, mode 040777
+creating Makefile
+
+current directory: /Users/minsung/Documents/software-day-23/vendor/bundle/ruby/2.6.0/gems/eventmachine-1.2.7/ext/fastfilereader
+make DESTDIR\= sitearchdir\=./.gem.20230921-82140-1luzzay sitelibdir\=./.gem.20230921-82140-1luzzay clean
+
+current directory: /Users/minsung/Documents/software-day-23/vendor/bundle/ruby/2.6.0/gems/eventmachine-1.2.7/ext/fastfilereader
+make DESTDIR\= sitearchdir\=./.gem.20230921-82140-1luzzay sitelibdir\=./.gem.20230921-82140-1luzzay
+compiling mapper.cpp
+compiling rubymain.cpp
+linking shared-object fastfilereaderext.bundle
+ld: warning: directory not found for option '-L/AppleInternal/Library/BuildRoots/a0876c02-1788-11ed-b9c4-96898e02b808/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX12.6.Internal.sdk/usr/local/lib'
+ld: warning: -undefined dynamic_lookup may not work with chained fixups
+
+current directory: /Users/minsung/Documents/software-day-23/vendor/bundle/ruby/2.6.0/gems/eventmachine-1.2.7/ext/fastfilereader
+make DESTDIR\= sitearchdir\=./.gem.20230921-82140-1luzzay sitelibdir\=./.gem.20230921-82140-1luzzay install
+/usr/bin/install -c -m 0755 fastfilereaderext.bundle ./.gem.20230921-82140-1luzzay
+
+current directory: /Users/minsung/Documents/software-day-23/vendor/bundle/ruby/2.6.0/gems/eventmachine-1.2.7/ext/fastfilereader
+make DESTDIR\= sitearchdir\=./.gem.20230921-82140-1luzzay sitelibdir\=./.gem.20230921-82140-1luzzay clean

vendor/bundle/ruby/2.6.0/extensions/universal-darwin-21/2.6.0/eventmachine-1.2.7/mkmf.log

@@ -0,0 +1,12 @@
+"xcrun clang -o conftest -I/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/System/Library/Frameworks/Ruby.framework/Versions/2.6/usr/include/ruby-2.6.0/universal-darwin21 -I/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/System/Library/Frameworks/Ruby.framework/Versions/2.6/usr/include/ruby-2.6.0/ruby/backward -I/Library/Developer/CommandLineTools/SDKs/MacOSX.sdk/System/Library/Frameworks/Ruby.framework/Versions/2.6/usr/include/ruby-2.6.0 -I. -D_XOPEN_SOURCE -D_DARWIN_C_SOURCE -D_DARWIN_UNLIMITED_SELECT -D_REENTRANT    -g -Os -pipe -DHAVE_GCC_ATOMIC_BUILTINS -DUSE_FFI_CLOSURE_ALLOC conftest.c  -L. -L/System/Library/Frameworks/Ruby.framework/Versions/2.6/usr/lib -L. -L/AppleInternal/Library/BuildRoots/a0876c02-1788-11ed-b9c4-96898e02b808/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX12.6.Internal.sdk/usr/local/lib     -lruby.2.6   "
+ld: warning: directory not found for option '-L/AppleInternal/Library/BuildRoots/a0876c02-1788-11ed-b9c4-96898e02b808/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX12.6.Internal.sdk/usr/local/lib'
+checked program was:
+/* begin */
+1: #include "ruby.h"
+2: 
+3: int main(int argc, char **argv)
+4: {
+5:   return 0;
+6: }
+/* end */
+