WebAssembly in Redex

WebAssembly in RedexRecently I’ve been studying the semantics of WebAssembly (wasm). A very nice aspect of the WebAssembly spec is that the language’s semantics are specified precisely with a small-step operational semantics (it’s even a reduction semantics in the style of Felleisen and Hieb). A condensed version of the wasm semantics was presented in a 2017 PLDI paper written by Andreas Hass and co-authors. Redex & Reduction Semantics BasicsAs mentioned above, the basic idea of reduction semantics is to define a kind of formal interpreter for your programming language. With that brief tour of Redex, the next section will give a high-level overview of a model of wasm in Redex.

Link  |  View on HN

Tell Me More, Nginx

When the cool kids talk about interesting log data, no one seems to want to talk about nginx. (docs): Did you know that nginx can calculate start-to-finish times per request, right out of the box? Upstream response headers (docs): Tuck useful metadata from your application into your HTTP response headers, and tell nginx to pull X-Whatever-You-Want out into your logs. Let’s take a look at what that can tell us about a service:With just request_time and a header value generalizing the shape of the endpoint path (e.g. Read more about working with response headers here or sign up to give it a whirl today 🙂Note: we talk about upstream response headers as a way to get normalized endpoint shapes, but our nginx connector can do that for you, too!

Link  |  View on HN

Knuth: Fantasia Apocalyptica (2017)

Fantasia Apocalyptica is a multimedia work for pipe organ, accompanied by several video tracks. I fantasize that people who are unfamiliar with organ music will be able to understand why I love the instrument so much, after hearing this piece. In short, Fantasia Apocalyptica is far more extensive than anything else that I've ever attempted to write. The complete artwork of track #1 has been published in the book Fantasia Apocalyptica Illustrated , together with corresponding excerpts from tracks #2 and #3,Is the work copyrighted? One of the greatest highlights of my life was to celebrate the world première of Fantasia Apocalyptica on my 80th birthday — Wednesday, 10 January 2018.

Link  |  View on HN

Fly over a reconstruction of 4th century Rome [video]

Speakers: Dr. Bernie Frischer and Dr. Steven Zucker A project between Smarthistory and Rome Reborn – with Dr. Bernard FrischerTo learn more about Rome Reborn, visit https://www.romereborn.org/Forum and column of TrajanBasilica of Maxentius and ConstantineTo learn more about the architecture seen in this video go to:Fly over a reconstruction of one of history’s greatest cities to experience Rome as the Romans knew it. This reconstruction is based on two decades of research and the input of dozens of specialists. Cite this page as: Dr. Bernard Frischer and Dr. Steven Zucker, "Ancient Rome," in Smarthistory, November 11, 2015, accessed May 19, 2019, https://smarthistory.org/ancient-rome/

Link  |  View on HN

A company is copyright claiming every video I have ever made, 1800 of them

Tweet with a locationYou can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history.

Link  |  View on HN

Interleaved Mathematics Practice shows dramatic improvement in test scores [pdf]

Link  |  View on HN

A little-noticed surge across the U.S.-Mexico border: Americans heading south

President Trump regularly assails the flow of migrants crossing the Mexican border into the United States. And they’re retirees like Guzmán, who settled in this city five years ago and is now basically the pickleball king of San Miguel. Since 2015, census data shows, more Mexicans have returned home each year than moved to the United States. Some of the Mexicans heading south were deported or felt increasingly unwelcome in the United States. Unlike the United States, Mexico hasn’t traditionally had many immigrants.

Link  |  View on HN

Kong raises $43M Series C for its API Gateway

Kong, the open core API management and life cycle management company previously known as Mashape, today announced that it has raised a $43 million Series C round led by Index Ventures. With this round, Kong has now raised a total of $71 million. The company’s CEO and co-founder Augusto Marietti tells me the company plans to use the funds to build out its service control platform. One area the company plans to especially focus on is security, in addition to its existing management tools, where Kong plans to add more machine learning capabilities over time, too. In addition, the company also plans to invest heavily in its expansion in both Europe and the Asia Pacific market.

Link  |  View on HN

Into the pharaoh's chamber: how I fell in love with ancient Egypt

What did the streets, homes and public buildings say about ancient Egypt? Photograph: AlamyDominic Montserrat, the author of Akhenaten: History, Fantasy and Ancient Egypt, noted that the king has become “a sign rather than a person”. He made a revolution out of something ancient.”By fashioning this revolution from the ancient, Akhenaten also intimated the future. Something about ancient Egypt naturally connects with children, who seem to understand it at a visceral level: the animal-headed gods, the beauty of the hieroglyphs. It’s very hard for us to justify our own interest, because it’s essentially childish in its conception.”Perhaps it also reflects the elemental nature of ancient Egypt.

Link  |  View on HN

The “Linen Book of Zagreb”: The Longest Etruscan Text

Manuscript in Etruscan languageThe Liber Linteus Zagrabiensis (Latin for "Linen Book of Zagreb", also rarely known as Liber Agramensis, "Book of Agram") is the longest Etruscan text and the only extant linen book, dated to the 3rd century BCE. This led to speculation that the mummy may have had some connection to either the Liber Linteus or the Etruscans. [1]Text [ edit ]Liber Linteus ZagrebiensisOn paleographic grounds, the manuscript is dated to approximately 250 BC. F. C. Woudhuizen, "Ritual prescriptions in the Etruscan Liber linteus" Res Antiquae 5 Bruxelles 2008 p. 281-296. V. Belfiore Il liber linteus di Zagabria: testualità e contenuto.

Link  |  View on HN