Traditionally, Portland hasn’t been the strongest town for consumer facing apps. But one genre—games—has managed to buck that trend. One of the recent newcomers to the Portland gaming scene is YIX, the first game centered around animated gifs.
Cofounder Jenny Diggles recently sat down with Technology Advice to chat about the project.
To get in on the fun, visit YIX.
Article source: http://feedproxy.google.com/~r/siliconflorist/~3/K2ocCpo9ZWg/
abstract: C programs are notoriously difficult to reason about, either for safety or full functional correctness. Even with a program logic powerful enough to prove the necessary properties, the proof has the assumption that the compiler behaves exactly the way it is expected to. Verified Software Toolchain (VST) answers this problem by providing a logic specified at the source level that proves properties about generated assembly code. It is proved sound w.r.t. the operational semantics of C, the same operational semantics compiled by the proved-correct CompCert verified optimizing C compiler. Both of those proofs are machine-checked in Coq, an interactive proof assistant. This talk will present the basics of VST, followed by an example proof of a C program.
bio: Josiah (Joey) Dodds is an intern at Galois for the summer, researching the verification of cryptographic libraries. After the summer he will return to finish his PhD at Princeton, where he has been verifying information-flow properties and C programs in Coq.
Article source: http://calagator.org/events/1250466729
Come code with us! All experience levels welcome. It’s an opportunity to start and work on group projects together, or share something you’ve been working on with others. If you’re looking for inspiration or an idea to get going, we’re happy to chat you up. General socializing is also encouraged.
Article source: http://calagator.org/events/1250466734
Article source: http://calagator.org/events/1250466725
I’m a big indie music fan and Spotify provides my daily soundtrack. I use it happily all the time, but, as with any great product, there’s still room for improvement. As a quick usability test revealed, people run into critical issues using some Spotify features.
Identify the pain points of finding, organizing, and sharing music within the Spotify web application on the desktop.
Current Spotify web application landing page user interface (as of May 24th, 2014)
What: Spotify web app
Who: Eight existing Spotify users who listen to music everyday, though not necessarily using Spotify
Where: San Francisco
I created a persona before I conducted my user tests and used the persona to screen my participants. For example, I posted on Craigslist with the criteria listed below. It helped me filter for the right participants. Meet my persona, Nick!
Nick is an iOS developer who loves music
I determined these tasks based on the essential needs of using online music streaming services. I phrased the tasks as open-ended scenarios to avoid leading the participants to complete any task in a predetermined way.
The eight usability tests were recorded using QuickTime. I reviewed the recordings, took notes, and identified and prioritized usability issues.
Notes taken at each session with major pain points reflected from users
Windows Phone users, your folders have arrived.
Microsoft announced the first update to Windows Phone 8.1 this morning, including a feature that will let users organize the Live Tiles on their Start screens into “Live Folders,” as the company is calling them.
It’s the latest example of Microsoft doing its own spin on features previously released for the iPhone and Android, as Windows Phone tries to gain traction against the larger smartphone platforms.
Microsoft says the update will be available through the Windows Phone 8.1 Preview for Developers next week, rolling out to existing Windows Phone customers in the next couple of months. Here are more of the features included in the update.
In addition, Microsoft announced that it’s releasing its Cortana virtual assistant for China and the UK as a beta, and Canada, India and Australia as an earlier-stage alpha release. See this Microsoft blog post for more details.
Article source: http://feedproxy.google.com/~r/geekwire/~3/ZZASTZOcHac/
As we’ve been chatting with all the folks about the Oregon Story Board concept—a startup accelerator borrowing some of the concepts we’ve learned at PIE and apply them to the world of digital storytelling—one of the most interesting parts of the conversation has been how these creatives think about their projects and pursuits.
This is an ongoing experiment. And we’ve learned more than a few things. Mostly, we’ve learned that folks are curious, but unsure if they fit the mold. (Spoiler alert: They do.)
Article source: http://feedproxy.google.com/~r/siliconflorist/~3/OAbX8q6U7rs/
The monthly PDX Puppet User Group, which meets on the 1st Monday of every month.
Join the PDX Puppet Google Group to get notifications of upcoming meetings.
Who should attend?
Puppet users and people interested in learning more about Puppet.
Agenda for August 4th
Charlie Sharpsteen, Open Source Support Engineer at Puppet Labs, will be talking about “Standardized Debugging Environments: Taking the Friction Out of Ticket Investigation”.
In his talk, Charlie will cover the journey Puppet Labs has taken towards automating the setup of virtual sandboxes for exploration and ticket investigation.
We’re still looking for a second talk, so get in touch with kara @ puppetlabs.com if you’re interested in talking (even briefly!) about how you’re using Puppet. Also, let us know if you’d like to be on the schedule next month! You don’t need to be an expert to speak – we love to hear about what folks are doing with Puppet.
If you have an idea for what you would like to see presented, please post those ideas in the PDX Puppet Google Group
Article source: http://calagator.org/events/1250466731
There are so many reasons that people decide to adopt agile principles, practices, and frameworks. Going fast is just one of them—though it may be the one that gets the most press.
This Friday, let’s talk about “How much agility is enough” and everything that goes along with that. Why did your organization adopt agile? Why do you gravitate toward agile? Is there a personal benefit, or is it all about the business. And, if it’s all about the business, how does the group you work in define agility and how much is enough for them?
Yes, we’re still meeting at Ringler’s on Burnside, still from 12p to 1p the first Friday of the month. That’s this Friday, 8/1.
I have a meeting right up until 12p, so Phyl will be there to get you all started.
Article source: http://calagator.org/events/1250466727
Records in Haskell are notoriously difficult to compose; many solutions have been proposed. Vinyl lies in the space of library-level approaches, and addresses polymorphism, extensibility, effects and strictness. I describe how Vinyl approaches record families over arbitrary key spaces using a Tarski universe construction, as well as a method for immersing each field of a record in a chosen effect modality. Moreover, I give a characterization of records as sheaves of types, which provides a clear motivation for the safety of subtyping and coercion of records, and a path toward records with non-trivial topologies on their key spaces. Lastly, I describe an interpretation of Vinyl-style records into Type Theory as finite products over containers, leading to many possible and interesting extensions, such as compositional universes of polymorphic variants, as well as inductive and coinductive types.
I’m an amateur type theorist who studied Historical Linguistics during my undergraduate at UC Berkeley, specializing in Ancient Greek, Sumerian, Akkadian and Anglo-Saxon. I’m particularly interested in type-theoretic syntax and semantics for natural language, and am presently exploring the use of multi-modal combinatory categorial grammar for interpreting the hyperbaton-rich syntax of ancient Indo-European languages. In addition to my interest in linguistics, I have become obsessed with extensionality, realizability and PER semantics for Martin-Löf Type Theory, and am currently trying to come up with an extension to Observational Type Theory which internalizes further extensional concepts, such as union, intersection, image and PER types whilst retaining decidability of type checking.
Article source: http://calagator.org/events/1250466723