Tags » Applications

How to increase audio volume in Ubuntu with pulseaudio?

If you can not increase the audio volume level in Ubuntu UI, use the following
pulseaudio command to do it:

$ pactl -- set-sink-volume 0 150%

4 Ways Your Business Can Benefit From Having a Mobile App

Smartphone technology has paved the way for businesses to be where their customers are right at their fingertips. Most of your customers are avid smartphone users now. 916 more words


HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics

SQL is the lingua franca for retrieving structured data. Existing semantics for SQL, however, either do not model crucial features of the language (e.g., relational algebra lacks bag semantics, correlated subqueries, and aggregation), or make it hard to formally reason about SQL query rewrites (e.g., the SQL standard’s English is too informal). 2,530 more words


First Impressions

True or false:

  1. You are a complete stranger to a college until you click the “send” button on your application.
  2. The only thing a college will know about you is what is contained in your application.
  3. 1,273 more words

Of Emails and Email Filters

Part 1:  Applying Email Filters

I was initially annoyed when I had to do this week’s assignment, to set up an email filter.  I’m reasonably happy with my own email management system.    368 more words