Skip to content

Instantly share code, notes, and snippets.

View bbarenblat's full-sized avatar

Benjamin Barenblat bbarenblat

61 followers · 20 following
View GitHub Profile
@bbarenblat
bbarenblat / fish_riddle.smt2
Created August 17, 2017 17:57
SMT-LIB solution to the fish riddle
; Copyright 2017 Google Inc.
;
; Licensed under the Apache License, Version 2.0 (the "License");
; you may not use this file except in compliance with the License.
; You may obtain a copy of the License at
;
; https://www.apache.org/licenses/LICENSE-2.0
;
; Unless required by applicable law or agreed to in writing, software
; distributed under the License is distributed on an "AS IS" BASIS,
@bbarenblat
bbarenblat / underlying.c
Created September 13, 2017 19:26
find the underlying program in a wrapper script
// Copyright 2017 Google Inc.
//
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at
//
// http://www.apache.org/licenses/LICENSE-2.0
//
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
@bbarenblat
bbarenblat / notmuch_watcher.hs
Created January 19, 2018 16:48
run `notmuch new` whenever mail is delivered to your maildir
-- Copyright 2018 Google LLC
--
-- Licensed under the Apache License, Version 2.0 (the "License"); you may not
-- use this file except in compliance with the License. You may obtain a copy of
-- the License at
--
-- https://www.apache.org/licenses/LICENSE-2.0
--
-- Unless required by applicable law or agreed to in writing, software
-- distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
@bbarenblat
bbarenblat / s
Created April 10, 2018 17:27
#!/bin/sh
# Copyright 2016 Google Inc.
#
# Licensed under the Apache License, Version 2.0 (the "License"); you may not
# use this file except in compliance with the License. You may obtain a copy of
# the License at
#
# https://www.apache.org/licenses/LICENSE-2.0/
#
# Unless required by applicable law or agreed to in writing, software
@bbarenblat
bbarenblat / on
Created April 10, 2018 17:31
#!/bin/sh
# Copyright 2016 Google Inc.
#
# Licensed under the Apache License, Version 2.0 (the "License"); you may not
# use this file except in compliance with the License. You may obtain a copy of
# the License at
#
# https://www.apache.org/licenses/LICENSE-2.0/
#
# Unless required by applicable law or agreed to in writing, software
@bbarenblat
bbarenblat / sort_ascii
Created April 10, 2018 17:32
#!/bin/sh
# Copyright 2017 Google Inc.
#
# Licensed under the Apache License, Version 2.0 (the "License"); you may not
# use this file except in compliance with the License. You may obtain a copy of
# the License at
#
# https://www.apache.org/licenses/LICENSE-2.0/
#
# Unless required by applicable law or agreed to in writing, software
@bbarenblat
bbarenblat / sitd
Created April 10, 2018 17:34
#!/bin/sh
# Copyright 2017 Google Inc.
#
# Licensed under the Apache License, Version 2.0 (the "License"); you may not
# use this file except in compliance with the License. You may obtain a copy of
# the License at
#
# https://www.apache.org/licenses/LICENSE-2.0/
#
# Unless required by applicable law or agreed to in writing, software
@bbarenblat
bbarenblat / is
Created April 10, 2018 17:35
#!/bin/sh
# Copyright 2017 Google Inc.
#
# Licensed under the Apache License, Version 2.0 (the "License"); you may not
# use this file except in compliance with the License. You may obtain a copy of
# the License at
#
# https://www.apache.org/licenses/LICENSE-2.0/
#
# Unless required by applicable law or agreed to in writing, software
@bbarenblat
bbarenblat / persistent_chrome
Created April 10, 2018 17:36
#!/bin/bash -eu
# Copyright 2017 Google Inc.
#
# Licensed under the Apache License, Version 2.0 (the "License"); you may not
# use this file except in compliance with the License. You may obtain a copy of
# the License at
#
# https://www.apache.org/licenses/LICENSE-2.0/
#
# Unless required by applicable law or agreed to in writing, software
@bbarenblat
bbarenblat / chroman
Created April 10, 2018 17:36
#!/bin/sh
# Copyright 2017 Google Inc.
#
# Licensed under the Apache License, Version 2.0 (the "License"); you may not
# use this file except in compliance with the License. You may obtain a copy of
# the License at
#
# https://www.apache.org/licenses/LICENSE-2.0/
#
# Unless required by applicable law or agreed to in writing, software