tag:calagator.org,2005:/events/searchCalagator: Events tagged with: systems programming2015-04-23T17:51:54-07:00tag:calagator.org,2005:Calagator::Event/12504586822010-05-12T08:49:07-07:002010-05-12T08:49:07-07:00Galois Tech Talk: Developing Good Habits for Bare-Metal ProgrammingTuesday, May 18, 2010 from 10:30-11:30am at Galois, Inchttp://calagator.org/events/12504586822010-05-18T10:30:00-07:002010-05-18T11:30:00-07:00<div class="vevent">
<h1 class="summary">Galois Tech Talk: Developing Good Habits for Bare-Metal Programming</h1>
<div class='date'><time class="dtstart dt-start" title="2010-05-18T10:30:00" datetime="2010-05-18T10:30:00">Tuesday, May 18, 2010 from 10:30</time>–<time class="dtend dt-end" title="2010-05-18T11:30:00" datetime="2010-05-18T11:30:00">11:30am</time></div>
<div class="location vcard">
<a href='/venues/202390439' class='url'>
<span class='fn org'>Galois, Inc</span>
</a>
<div class="adr">
<div class="street-address">421 SW 6th Ave. Suite 300</div>
<span class="locality">Portland</span>
, <span class="region">OR</span>
<span class="postal-code">97204</span>
<div class='country-name'>US<div>
(<a href='https://maps.google.com/maps?q=421%20SW%206th%20Ave.%20Suite%20300,%20Portland%20OR%2097204%20US'>map</a>)
</div>
</div>
<div class="description">
<p>presenter: Mark Jones</p>
<p>abstract:
Developers of systems software must often deal with low-level and performance-critical details that are hard to address in high-level programming languages. As a result, much of the systems software that is produced today is written in languages like C and assembly code, without the benefit of more expressive type systems or other features from modern functional programming languages that could help to increase programmer productivity or software quality. In this talk, we present an update on the status of Habit, a dialect of Haskell that we are designing, as part of the HASP project at PSU, to meet the needs of high assurance systems programming. Among other features, Habit provides: mechanisms for fine control over representation of bit-level and memory-based data structures; strong support for both functional and imperative programming; and a flexible type system that allows precise characterization of size and bound information via type level naturals, as well as termination properties resulting from the use of unpointed types.</p>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="http://www.galois.com/blog/2010/05/12/tech-talk-developing-good-habits-for-bare-metal-programming/">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/functional programming">functional programming</a>, <a class="p-category" href="/events/tag/galois">galois</a>, <a class="p-category" href="/events/tag/haskell">haskell</a>, <a class="p-category" href="/events/tag/systems programming">systems programming</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250458682.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250458682/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was added directly to Calagator <br /><strong>Wednesday, May 12, 2010 at 8:49am</strong>.
</div>
</div>
</div>
45.5204 -122.6779tag:calagator.org,2005:Calagator::Event/12504683202015-04-23T17:51:54-07:002015-04-23T17:51:54-07:00Rust 1.0 Launch!Friday, May 15, 2015 from 6-8pm at Mozilla Portland Officehttp://calagator.org/events/12504683202015-05-15T18:00:00-07:002015-05-15T20:00:00-07:00<div class="vevent">
<h1 class="summary">Rust 1.0 Launch!</h1>
<div class='date'><time class="dtstart dt-start" title="2015-05-15T18:00:00" datetime="2015-05-15T18:00:00">Friday, May 15, 2015 from 6</time>–<time class="dtend dt-end" title="2015-05-15T20:00:00" datetime="2015-05-15T20:00:00">8pm</time></div>
<div class="location vcard">
<a href='/venues/202394724' class='url'>
<span class='fn org'>Mozilla Portland Office</span>
</a>
<div class="adr">
<div class="street-address">Brewery Block 2
1120 NW Couch St, Suite 320</div>
<span class="locality">Portland</span>
, <span class="region">Oregon</span>
<span class="postal-code">97209</span>
<div class='country-name'>US<div>
(<a href='https://maps.google.com/maps?q=Brewery%20Block%202%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%201120%20NW%20Couch%20St,%20Suite%20320,%20Portland%20Oregon%2097209%20US'>map</a>)
</div>
</div>
<div class="description">
<p>Come celebrate the launch of Rust 1.0!</p>
<p>Whether you are a new Rustacean, or have been around long enough to fondly remember the ~ sigil, come on out and celebrate!</p>
<p>We will be having 5 minute lightning talks, so feel free to come with one prepared! The talks will explain the power of Rust, how to work in a rustic style, point out common libraries, and current projects and more.</p>
<p>Thanks to Mozilla for the food and refreshments!</p>
</div>
<h3>Links</h3>
<ul>
<li><a class="url" href="http://www.meetup.com/PDXRust/events/222057357/">Website</a></li>
</ul>
<div class="tags">
<h3>Tags</h3>
<p><a class="p-category" href="/events/tag/epdx: group=pdxrust">epdx: group=pdxrust</a>, <a class="p-category" href="/events/tag/rust">rust</a>, <a class="p-category" href="/events/tag/systems programming">systems programming</a></p>
</div>
<div class='single_view_right'>
<a href='http://calagator.org/events/1250468320.ics'>Download to iCal</a>
<div id='edit_link'>
<p>You can <a href="http://calagator.org/events/1250468320/edit">edit this event</a>.</p>
</div>
<div id='metadata'>
This item was added directly to Calagator <br /><strong>Thursday, April 23, 2015 at 5:51pm</strong>.
</div>
</div>
</div>
45.5237 -122.6828