BayHac is this week!

[Ivan Tarasov]

I know it has been really quiet here in the past couple of months, and we skipped two of our meetings. Not to worry, we have an excellent event planned this week!

Please come to BayHac, it's going to be awesome, and even more so if you come!

BayHac '13

May 17th ~ 19th, 2013

Hacker Dojo

Mountain View, CA

Full details on the Haskell Wiki: BayHac '13

Ivan

[Byron Hale]

My daughter is getting married this Saturday and I will be assisting with the arrangements Friday, Saturday and Sunday, :-)  I've been putting more effort into the practicalities of Haskell lately, though.  It looks like a new release of the Haskell platform is imminent and that should roll us forward quite a bit.

--
You received this message because you are subscribed to the Google Groups "Bay Area Haskell Users Group" group.
To unsubscribe from this group and stop receiving emails from it, send an email to bahaskell+...@googlegroups.com.
To post to this group, send email to baha...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/bahaskell/5a4ec3de-ede5-46ba-980e-cedf831c28a5%40googlegroups.com?hl=en-US.
For more options, visit https://groups.google.com/groups/opt_out.
 
 

[Arthur Chan]

congrats to your daughter Byron!

Arthur :: PocketBrick

[Byron Hale]

Thanks, Arthur.

[Raoul Duke]

so sad i can't make it! (between jet lag and maker faire, i can't find
the time). not to pick out any names over anybody else, but is Conal
intending to give a lightning talk per chance? :-) if somebody can
video record things... that would be sweet.

[Ivan Tarasov]

I'll try to set something up, however I won't be at BayHac all the time, so it might not work out. If someone is ready to volunteer setting up/tearing down the video recording (really easy to do using Google Hangouts) during the lightning talks, I'll be glad to explain how to do that.

--
You received this message because you are subscribed to the Google Groups "Bay Area Haskell Users Group" group.
To unsubscribe from this group and stop receiving emails from it, send an email to bahaskell+...@googlegroups.com.
To post to this group, send email to baha...@googlegroups.com.

[Aaron Culich]

I'll see you guys at BayHac '13 on Saturday and probably Sunday, too!

[Conal Elliott]

Thanks for the encouragement, Raoul. I hadn't planned to give a lightening talk. I enjoy presenting, but I don't know what I'd talk about in 5 minutes. Will give it some thought.  -- Conal

[Jonathan Fischoff]

Can't Wait!

--

You received this message because you are subscribed to the Google Groups "Bay Area Haskell Users Group" group.
To unsubscribe from this group and stop receiving emails from it, send an email to bahaskell+...@googlegroups.com.
To post to this group, send email to baha...@googlegroups.com.

[Eugene Kirpichov]

Hey folks,

I'm already at BayHac and I invite whoever is interested in working together on my modelchecker https://github.com/jkff/minxmod . There's a lot of work to do and all of it is very fun:

* Adding model checking algorithms, e.g. checking Linear Temporal Logic properties

* Making the output (state transition graphs and examples of executions violating the property of interest) more readable and more configurable

* Adding debug information for tracking how "macros" are expanded, so that the user gets a violating trace in terms of the original program rather than the assembly it was compiled into

* Adding a front-end C-like language (currently the input is a Haskell datastructure representing the program as a list of instructions)

If you're interested, I'm in a violet-ish T-shirt at the left frontmost desk, with a red jacket on my chair.

To view this discussion on the web visit https://groups.google.com/d/msgid/bahaskell/CABZ0FHEoE2_hpGebXL4PJdwdGkD3cg3r49YPKT44oENYRhXadw%40mail.gmail.com?hl=en-US.

For more options, visit https://groups.google.com/groups/opt_out.
 
 

--

Eugene Kirpichov

Google, distributed computing frameworks
http://www.linkedin.com/in/eugenekirpichov

http://jkff.info/software/timeplotters - my performance visualization tools

[Eugene Kirpichov]

Backround: The modelchecker allows you to explore the state space and verify properties of concurrent programs. Its difference from most other modelcheckers is that it is:

* Very simple and hackable (so far)

* Written in Haskell

* Specialized for modeling the traditional C, Java etc. concurrency primitives (shared memory, mutexes, atomic variables etc.)