a great craftsman
The Worst Things For Sale is Drew's blog. It updates every day. Subscribe to the Worst Things For Sale RSS!
Business newsletters need not be yawn-inducing; they can be interesting and informative at the same time. Here are a few ideas on producing newsletters that ...
The post How to Create Captivating Business Newsletters appeared first on Saleschase Stories.
Did you know that tomorrow, April l8, is National Animal Crackers Day? ???? Oh, to return to a simpler, more innocent time, when it was all about glee rather than guilt! * ANIMAL CRACKER (no s) by Gretchen Friel My students are inspired to read more poems aloud if I bring frosted … Continue reading animal crackers: a sweet memory in every bite
I recently “discovered” UK illustrator Jane Newland while browsing images online. Safe to say that 80% of the time, when something different/exceptional/beautiful stops me in my tracks, the artist turns out to be British. ???? Jane lives and works in Norwich (the most complete Medieval city in the UK), which … Continue reading new art crush: jane newland
In 2017, a team from Northeastern University released Turnstile, a framework for implementing propositionally typed languages in Racket; cf. naasking's story Type Systems as Macros. The system was really nice because it allowed type systems to be expressed in a manner similar to the way theoretical PL researchers would in a paper, and because it hooked into Racket's clean compiler backend.
Now Stephen Chang, one of that team, together with new coauthors Michael Ballantyne, Usamilo Turner and William Bowman, have released a rewrite that they call Turnstile+, together with a POPL article, Dependent Type Systems as Macros. From that article's introduction:
Turnstile+ represents a major research leap over its predecessor. Specifically, we solve the major challenges necessary to implement dependent types and their accompanying DSLs and extensions (which Turnstile could not support), while retaining the original abilities of Turnstile. For example, one considerable obstacle was the separation between the macro expansion phase and a program’s runtime phase. Since dependently typed languages may evaluate expressions while type checking, checking dependent types with macros requires new macrology design patterns and abstractions for interleaving expansion, type checking, and evaluation. The following summarizes our key innovations.
- Turnstile+ demands a radically different API for implementing a language’s types. It must be straightforward yet expressive enough to represent a range of constructs from base types, to binding forms like Π-types, to datatype definition forms for indexed inductive type families.
- Turnstile+ includes an API for defining type-level computation, which we dub normalization by macro expansion. A programmer writes a reduction rule using syntax resembling familiar on-paper notation, and Turnstile+ generates a macro definition that performs the reduction during macro expansion. This allows easily implementing modular type-level evaluation.
- Turnstile+’s new type API adds a generic type operation interface, enabling modular implementation of features such as error messages, pattern matching, and resugaring. This is particularly important for implementing tools like tactic systems that inspect intermediate type-checking steps and construct partial terms.
- Turnstile+’s core type checking infrastructure requires an overhaul, specifically with first-class type environments, in order to accommodate features like dependent binding structures of the shape[x:τ]...,i.e., telescopes [de Bruijn 1991; McBride 2000].
- Relatedly, Turnstile+’s inference-rule syntax is extended so that operations over telescopes, or premises with references to telescopes, operate as folds instead of as maps
The code is available at https://github.com/stchang/macrotypes.
Line 1 is over capacity—adding more stops isn't the solution.
We need to talk about this idea to extend the Yonge line up to Richmond Hill. The Yonge line is already congested. Anyone who rides the subway regularly is aware of this. The immediate plans to address it are, shall we say, unimpressive. The Yonge Relief Network Study done in 2015 for Metrolinx [PDF] focused […]
The post Extending the Yonge line will only make crowding worse appeared first on Torontoist.
Creepiness In this Pocket-Sized episode #1005, Marc Abrahams shows an unfamiliar research study to Jean Berko Gleason. Dramatic readings and reactions ensue. The research mentioned in this episode is featured in the special Psychology issue (vol. 26, #1) of the Annals of Improbable Research magazine. Remember, our Patreon donors, on most levels, get access to each podcast episode before it is made public. 1. […]
Crazy-seeming research, every now and then, leads to something really, really wonder-filled. In this case, the discovery of something long-predicted (by Einstein) but seemingly impossible to perceive: gravity waves. (HT Maggie Lettvin)
Harrisburg University proudly announces, in a press release: HU facial recognition software predicts criminality A group of Harrisburg University professors and a Ph.D. student have developed automated computer facial recognition software capable of predicting whether someone is likely going to be a criminal. With 80 percent accuracy and with no racial bias, the software can […]
Power outage? Grab a length of steel automotive brakeline tubing, the straw from a box of Yoo-Hoo, D-cell batteries to make a 6V. Also may require generous amounts of duct tape, electrical tape, bell wire, and boredom.
RSS stands for Really Simple Syndication or Rich Site Summary; it's an XML based content format for distributing things like news, headlines, content, etc. These are popular because instead of relying on them to bookmark your site and return later, their RSS reader keeps your site fresh by showing them your latest posts as a simple headline. So every time that you add content such as a blog post or article they get to see the update, plus a direct link to that post.
When it comes to ways you can increase traffic to your website there are dozens if not hundreds of ways to get more traffic. Depending on your website, the content or products you’re trying to get viewed, and the amount of time you can invest each day on your site, not all of those hundreds or ways are going to be as effective. You also want to avoid anything that could be considered “Black Hat SEO” as these types of tricks to increase your traffic may work in the short term, but get your website kicked out of search engine rankings.
Leaving comments on blogs and websites. It doesn’t matter if the site is a “do follow” or not, building links through comments can help get the word out about your site. Comments are also a good indicator if you’re doing something right and can give you great feedback. Of course in a perfect world every comment would be a good one, the reality is that at some point your going to get bad comments or comment vomit if you will. Self centered crap that’s there to only advertise their site, bash yours, and all other types of garbage that adds nothing of value.
Minecraft or as I prefer to call it “Minecrack” is a game that was recently recommend to my by a friend. At first glance the game looks like a throwback to the original Atari or Nintendo game systems (think Mario Bros type graphics minus having to jump on walking mushrooms) The game essentially has the look of a giant Lego world consisting entirely of blocks, the animals, trees, even the water are all blocks. There’s also no set point system or objective you have to reach in order to beat the game. But despite this the game is exceptionally addictive. I personally found it very easy to spend a few hours on it before I realized how much time had gone by.
Alexa site rank like Google’s page rank is a measure to determine how popular a particular website or blog is. And while Alexa isn’t an accurate representation since it’s only limited to those who use their toolbar it can still be an important factor when it comes to generating traffic, getting others to link to you, and advertising on your site. If you’re not familiar with how Alexa page ranking works it essentially works like this..................
With all the talk about Google and their new social network Google Plus, (Or Google+) it looks like there could soon be a new player to what appears to be a rapidly growing social network feud. Recently either by accident or on purpose Microsoft unveiled a new site called Tulalip. Personally I don’t think this was by accident, rather a clever way at generating some buzz..............
Craigslist it’s not just a site to sell crappy used furniture, look for work, and view personals, it can also be a good place to advertise your website or promote your blog. Even though Craigslist has a lot of spam blockers and restrictions, a well written optimized ad can help give your site a boost of traffic. This is especially important for business sites looking to expand on generating local traffic.............
For those eagerly waiting for the first half of the first half of the Mincraft adventure update, the wait is finally over. And no I’m not talking about some buggy pre release that is a pain in the ass to properly install that’s been out for just over a week prior. As of Sept 14 it’s available to the masses who are looking to feed their “minecrack” addiction........... Because of the recent changes I figured it was time for an updated Minecraft review covering some of the recent changes. This is not a complete review on the 1.8 adventure update, just what I’ve seen and experienced in the game so far to give you an idea what to expect..........
Until now Facebook users haven’t had a lot of say or control over what they see in their news feeds. That’s all changed recently as Facebook launched a new subscribe button for its profile pages. This new feature allows Facebook to provide even more publicly available content for its users..................
With November being scheduled as the “official” release of Minecraft the team at Mojang are hard at work putting together Minecraft’s 1.9 update. This is possibly the last update before the release and like the 1.8 adventure update will be packed full of new features, crafting recipes and other stuff. Details at this point are scarce, but from the information that’s out there here are some of the things that could be included in the new 1.9 update..........
Wondering when Minecraft’s 1.9 update is coming out, very soon. Very soon as in how long it takes to download the pre release just released today. Or if you prefer to wait for a non buggy version like 1.8 it should be out in a few days once the team at Mojang get player feedback to fix potential bugs...........