I'm a professor at UC Berkeley in the EECS department.
Check out more at my website.
My current research focuses are program optimization and analysis, powered by techniques such as e-graphs, equality saturation, and datalog.
A slackbot to compete on mini crosswords (or any other daily challenge).
License: GNU General Public License v3.0
I'm a professor at UC Berkeley in the EECS department.
Check out more at my website.
My current research focuses are program optimization and analysis, powered by techniques such as e-graphs, equality saturation, and datalog.
The puzzles are 7x7 instead of 5x5, so the bot's standards should be adjusted.
It seems that Slack doesn't like it when we pass it the team parameter during OAuth since crossbot isn't distributed. We should still check that the user is signed into the right team after the oauth flow, but avoid passing team
to Slack.
These should be displayed next to the user.
When reporting who won the day before last, it actually reports the person with the worst time (I think). I think it's broken in other ways too :(
Crossbot no longer gives daily reminders with a link to the crossword and sudoku
announce
could include some information about the best performance of the week (or other time period). This could be a simple min
time or something more complicated like variance from the mean of that day.
Wait...is this a bot that will automatically scrape the crossword times people post in a slack channel and save them to a leaderboard of some kind?
Announcements from crossbot currently seem to reflect the current day's scores,
but most people probably will not have submitted by 8:30am. They should instead
reflect the previous day's scores.
If we get an entry from a name we haven't seen, we should ask Slack who they are
crossbot should announce
every day in the morning and/or when the crossword comes out.
Zach found a bug where if he backdates a date and gets a streak, he gets way too many achievements.
@mwillsey this crossbot sounds awesome but I'm quite unfamiliar with python slackbots. Would you possibly be able to guide me on how to set this up?
That will make it easier to ensure you submitted it on the right day.
The index.html
is pretty bare right now. It would be nice if it showed the current times and perhaps the stuff from the announcement logic.
With this, I feel that we could deprecate the announce
commands.
cc @dwoos
Right now, if a person gets a streak achievement in a private channel, the achievement goes there instead of public.
Because smoothing is an average, it should reach back into the past to calculate the first point of the plot. It doesn't do that right now, and that causes the first point to be "overweighted",
Running @crossbot plot
returns three plots. The first one comes back quickly, then the second takes a little longer, and the third takes about a minute. This smells like retries to me, especially since crossbot itself is reporting that it received three requests for plots.
They should also log they time they are run
The return value of the do
method gets logged in the db. We should use that.
Informational logging output during successful tests is annoying. We can use one of the strategies here https://stackoverflow.com/questions/5255657/how-can-i-disable-logging-while-running-unit-tests-in-python-django
plot 2017-05-19
and plot 2017-05-19 2017-05-26
should plot the given date range (or from the given date to today). Instead it just plots everything.
The plot is hard to read, and the legend covers half the plot.
In the README installation instructions, one step refers to requirements.txt
:
# install and setup the package
pip install -r requirements.txt
But it seems this file got lost at some point? I think it should include the Python statistics package or maybe just mention that needs to be installed now to test crossbot.
The plotting functions (times, normalized, elo/glicko in the future) could also be used to just output a ranking of the current day. So rank and plot would just be two ways to visualize the same input data.
Also, the ranking function should show the delta of individuals from the previous day (in ranking).
Log scale should be "symlog" to support the negative numbers in the normalized plots. Also, log scale should disable clipping but preserve reasonable y-axis ticks.
Something weird happened in translation. The normalization differs from the python impl.
The times tables should be pseudo write-only. One easy way to get this is to add a new column invalidated
which holds a timestamp (or not). Deletion or editing of a time will just add a timestamp to that column, marking it as invalid. Uniqueness would now be over (user, date, invalid)
, allowing many invalid entries for a date, by only one valid one.
You should be able to @crossbot dump-db
and have crossbot upload the database to slack. This would make it really easy to develop crossbot.
Announce doesn't handle ties. It will only report one winner.
The website sidebar just doesn't appear on mobile. There doesn't seem to be a way to see the things that were supposed to be there.
cc @emichael
Now that it's a web app, it should have some kind of interactive visualization. Maybe something like http://mpld3.github.io
Now that there is this SQL query interface, it would be great if some of our better queries could be easily saved and reused. I could imagine an interface like this:
cb sql --save <name> <query ....>
saves the query under a fixed name. If a binding for that name already exists probably best to override.cb saved <name>
runs a saved query, or prints an error message if none exists.Somehow it seems to coincide with when tomorrow's crossword gets posted (in the evening). It's probably a time zone issue.
Use the chat.post to send the message with the user's name and photo
10,000th entry, etc.
This would work better than regexes. It would also provide better help.
Requires a "times" page where users can view a particular time. Maybe include links to previous and next.
Related to #35.
When people use do "/crossbot add ..." outside of the main channel, they get 500 service error. I think this is linked to a lack of permissions. When the app echoes the message back as the user, it will fail if the bot (app?) isn't in that channel. Additionally, the reaction will fail in channels that i am not a part of, since it's using my API key.
I think we should just have crossbot respond to everything in the slash command (almost always ephemerally), and check before echoing back if it has permissions.
A declarative, efficient, and flexible JavaScript library for building user interfaces.
π Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. πππ
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google β€οΈ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.