From an obituary published January 8: The late Steve Jobs’ NeXT licensed the Objective-C language for its new operating system, NeXTStep. NeXT eventually acquired Objective-C from Stepstone. Objective-C continued to be the primary programming language Tweet
Volta, a new JavaScript tool manager, recently released its first stable version. Volta installs CLI tools globally while locally storing version information. Like nvm for Node, Volta enables having multiple versions of the same tool installed, without h Tweet
Anecdotally, I can say that my experience jibes with eastern Pennsylvania’s black coloring on these maps. All of our mail has been astoundingly late since mid-December, even by the standards of 2020 postal delivery problems. Christmas cards from family 50 Tweet
Much like a pod of whales or a pack of wolves, did you know that a group of gorillas is called a band? In this blog series, we’re going to introduce you to members of our band—engineers, technical recruiters, PMs, designers, and more who make up the most i Tweet
In our latest paper published in the Microbiome Journal, we propose a way to improve the speed, sensitivity and accuracy of what’s known as microbial functional profiling – determining what microbes in a specific environment are capable of. The post Bo Tweet
Early in the pandemic, John Krasinski made a show on YouTube called Some Good News . It quickly became a sensation, and he sold it to Viacom , so that the show might continue while he continued his acting and filmmaking. In May, as the original run wr Tweet
This post was contributed by Qing Lan, Carol McDonald, and Kong Zhao. With the growing interest in deep learning (DL), more users are using DL in their production environments. Because DL requires intensive computational power, developers are leveraging GP Tweet
The New York Times: As a political figure, Donald J. Trump used Twitter to praise, to cajole, to entertain, to lobby, to establish his version of events — and, perhaps most notably, to amplify his scorn. This list documents the verbal attacks Mr. Trum Tweet
“What a marvelous moment for baseball. What a marvelous moment for Atlanta and the state of Georgia. What a marvelous moment for the country and the world. A Black man is getting a standing ovation in the deep South for breaking a record of an all-time ba Tweet
Terence Moore, writing for the Atlanta Journal-Constitution: In March of 1954, with his place in the major leagues far from assured, Hank Aaron was granted a start in a Milwaukee exhibition game versus Boston, only because Bobby Thomson, the regular l Tweet
From a 1994 Dagstuhl Workshop. Selman is the one wearing a cap. Alan Selman, one of the early leaders in structural complexity and the co-founder and first chair of what is now the Computational Complexity Conference, passed away this mo Tweet
Comment It’s a couple of weeks old now, but this post from Pedro Piñera stuck with me. He talks about open-source projects, why people work on them, and how the expectations of people who find your code might Tweet
2021-01-22 11:07:36 @ La Ciencia de la Mula Francis
He participado en el episodio 303 del podcast Coffee Break: Señal y Ruido [iVoox, iTunes], titulado “Ep303: Marte; Proxima; Australia; Elamita Lineal; Axiones y Estrellas de Neutrones», 21 ene 2021. «La tertulia semanal en la que […] La entrada P Tweet
Happy Friday! Let's take a look at what the Apache community has been up to over the past week: ASF Board – management and oversight of the business affairs of the corporation in accordance with the Foundati Tweet
Every four years around the time of the inaugural I post a presidential Quiz! I do that today, and I will post the answers on Monday. I am tempted to joke that I am posting it AFTER Joltin Joe gets sworn in just in case something happens; howe Tweet
Ed Colligan in late 2006 was like the captain on The Titanic dismissing any concerns about icebergs as nonsense. Pat Gelsinger, speaking in early 2021, knows that Intel fell behind years ago — in an industry where it’s notoriously hard to catch up. He’s ta Tweet
The Triguarded Fragment (TGF) is among the most expressive decidable fragments of first-order logic, subsuming both its two-variable and guarded fragments without equality. We show that the TGF has the finite model property (providing a tight doubly expon Tweet
A quantum constraint problem is a frustration-free Hamiltonian problem: given a collection of local operators, is there a state that is in the ground state of each operator simultaneously? It has previously been shown that these problems can be in P, NP-c Tweet
In this paper we study the separation between two complexity measures: the degree of a Boolean function as a polynomial over the reals and its block sensitivity. We show that separation between these two measures can be improved from $ d^2(f) \geq bs(f) $ Tweet
Which amount of parallel resources is needed for updating a query result after changing an input? In this work we study the amount of work required for dynamically answering membership and range queries for formal languages in parallel constant time with Tweet
We propose a novel theoretical framework for barycentric interpolation, using concepts recently developed in mathematical physics. Generalized barycentric coordinates are defined similarly to Shepard's method, using positive geometries - subsets which pos Tweet
In this paper, we focus on removing interference of motion blur by the derivation of motion blur invariants.Unlike earlier work, we don't restore any blurred image. Based on geometric moment and mathematical model of motion blur, we prove that geometric m Tweet
For a class $\mathcal{D}$ of drawings of loopless multigraphs in the plane, a drawing $D \in \mathcal{D}$ is saturated when the addition of any edge to $D$ results in $D' \notin \mathcal{D}$. This is analogous to saturated graphs in a graph class as intro Tweet
In Placement Legalization, it is often assumed that (almost) all standard cells possess the same height and can therefore be aligned in cell rows, which can then be treated independently. However, this is no longer true for recent technologies, where a su Tweet
The Exact Satisfiability problem asks if we can find a satisfying assignment to each clause such that exactly one literal in each clause is assigned $1$, while the rest are all assigned $0$. We can generalise this problem further by defining that a $C^j$ Tweet
We present a proof of convergence of the Hamiltonian Monte Carlo algorithm in terms of Functional Analysis. We represent the algorithm as an operator on the density functions, and prove the convergence of iterations of this operator in $L^p$, for $1<p& Tweet
Which amount of parallel resources is needed for updating a query result after changing an input? In this work we study the amount of work required for dynamically answering membership and range queries for formal languages in parallel constant time with Tweet
Consider a digraph $G = (V, E)$ where each vertex is unlabeled, each edge is labeled by a character in some alphabet $\Omega$, and any two edges with both the same head and the same tail have different labels. The powerset construction gives a transform o Tweet
In this paper, we present an efficient, functional, and formally verified parsing algorithm for LL(1) context-free expressions based on the concept of derivatives of formal languages. Parsing with derivatives is an elegant parsing technique, which, in the Tweet
Congruential pseudorandom number generators rely on good multipliers, that is, integers that have good performance with respect to the spectral test. We provide lists of multipliers with a good lattice structure up to dimension eight and up to lag eight f Tweet
Learning from data in the presence of outliers is a fundamental problem in statistics. Until recently, no computationally efficient algorithms were known to compute the mean of a high dimensional distribution under natural assumptions in the presence of e Tweet
Today, the Amazon Lex team has released a new console experience that makes it easier to build, deploy, and manage conversational experiences. Along with the new console, we have also introduced new V2 APIs, including continuous streaming capability. These Tweet
A practical guide to WebAssembly memory RADU-MATEI.COM The WebAssembly runtime is really rather simple, and its memory and storage capabilities are no different, it has a single block of memory with instructions that can read and write data direct Tweet
2021-01-21 23:45:38 @ Gödel's Lost Letter and P=NP
Resources for a new term from our vantage point Crop from Broad Institute src Eric Lander has been appointed director of the US Office of Science and Technology Policy, a post newly elevated to Cabinet status. He is thus the top science advisor in Joe Bide Tweet
Last week, Elastic announced they will change their software licensing strategy, and will not release new versions of Elasticsearch and Kibana under the Apache License, Version 2.0 (ALv2). Instead, new versions of the software will be offered under the Ela Tweet
Note: This is currently a rumor, and I hope it doesn’t come to pass. I remember the early 90s, when I was first considering getting a 5-string bass. 5-string had suddenly become very popular, thanks to Grunge and a lot of other popular music featuring Tweet
Susan B. Glasser, writing for The New Yorker: Only after four years of the Trump Presidency would the mention of “truth” in an Inaugural Address become an applause line. But we are where we are. The country has had so much lying. Much will be made of Tweet
Two passages from Biden’s inaugural address. First, on the truth: Many centuries ago, Saint Augustine, a saint of my church, wrote that a people was a multitude defined by the common objects of their love. What are the common objects we love that defi Tweet
CNN: “Somehow we’ve weathered and witnessed a nation that isn’t broken, but simply unfinished. We, the successors of a country and a time where a skinny Black girl descended from slaves and raised by a single mother can dream of becoming President, on Tweet
Posted by Christina Yeh, Google Registry Team Google Registry is always on the lookout for interesting websites that have launched using our top-level domains. 2020 was a rough year, so to help you make 2021 (at least a little bit) better, we’ Tweet
Recently Jean-Pierre Bourguignon recently gave the Inaugural Atiyah Lecture, with the title What is a Spinor? The title was a reference to a 2013 talk by Atiyah at the IHES with the same title. Bourguignon’s lecture is not yet online, … Contin Tweet
Wasmer recently released version 1.0 of its server-side WebAssembly runtime, and it is now generally available. Wasmer enables super lightweight containers based on WebAssembly. Version 1.0 marks a significant milestone on a journey, which started more t Tweet
Online marketplaces bring efficiency to traditional sectors. They offer a better user experience and increase margins for participants. They can accrue huge value by reducing friction and aggregating… Tweet
If you are a senior software engineer, architect, or team lead and want to take your technical learning and personal development to a whole new level this year, join us at QCon Plus on May 17-28. Here you can discover trends, best practices, and solution Tweet
Open Source enterprise-grade Big Data visualization and business intelligence Web application in use at Airbnb, American Express, Dropbox, Lyft, Netflix, Nielsen, Rakuten Viki, Twitter, and Udemy, among others. Wilmington, DE —21 January 2021— The Tweet
AWS introduced preview releases of Amazon HealthLake service and a feature for Amazon Redshift called Redshift ML during re:Invent 2020 in December. Amazon HealthLake is a data lake service that helps healthcare, health insurance, and pharmaceutical comp Tweet
Run Java on Java, reactive JAX-RS, inline and primitive objects, Java 17 new additions, state watch pattern, and guidelines for pair programming! The post Java Weekly, Issue 369 first appeared on Baeldung . Tweet
In a recent blog post, HashiCorp announced the public beta of HashiCorp Vault on its Cloud Platform (HCP). With Vault, customers can leverage a managed cloud service to provide them with secret management and encryption capabilities. By Steef-Jan Wigge Tweet
Feeling the need to be constantly producing high-quality deliverables with a high sense of perfection can lead to stress and can cause burnout. You have to first accept that you have a problem to find your way out of burnout. Applying agile on a personal Tweet
Microsoft recently introduced Azure Health Bot, an evolution of Microsoft Healthcare Bot that is becoming an Azure service with added functionalities. Built for developing virtual health care assistants, Azure Health Bot combines medical databases with n Tweet
It’s begun! When it comes to global warming we’re in a race for time, and the US has spent the last four years with its ankles zip-tied together. On his first day in office, the new president of the US signed this executive order: ACCEPTANCE ON Tweet
It’s begun! When it comes to global warming we’re in a race for time, and the US has spent the last four years with its ankles zip-tied together. On his first day in office, the new president of the US signed this executive order: ACCEPTANCE ON Tweet
Mozilla Developer Network (MDN), Mozilla’s multilingual resource for web documentation, recently launched Yari, MDN Web Docs’ new platform. Yari reduces the burden of developing, maintaining, and contributing to MDN. MDN content is now stored in GitHub a Tweet
Lessons Learned from Parler and how to manage user-generated content in iOS apps and web services If you’ve been paying attention to the news lately in the United States, then you’ve likely heard about Parler. Parler was a social network that was base Tweet
A multi-part interview series chronicling the hopes, fears, trials and tribulations of three new enterprise developers. Follow them as they move to Austin, Texas to launch their careers and adjust to life in the corporate world. Tweet
This is the second part of a two-part blog post that will introduce you to Nuxt.js, a higher-level framework that builds on top of Vue. In Part 1 of this tutorial, we created a simple project to consume a blog post API endpoint and then display it. Part 2 Tweet
guest post by Michael Shulman Now that John gave an overview of the Petri nets paper that he and I have just written with Jade and Fabrizio, I want to dive a bit more into what we accomplish. The genesis of this paper was a paper written by Fabrizio and se Tweet
guest post by Michael Shulman Now that John gave an overview of the Petri nets paper that he and I have just written with Jade and Fabrizio, I want to dive a bit more into what we accomplish. The genesis of this paper was a paper written by Fabrizio and se Tweet
Running a biotech company is capital intensive, and this can make it intimidating to get started. Founders sometimes face a chicken and egg problem: how do you make… Tweet
Today's Updates In our last post we saw some of the features of the ace.core.defun and ace.core.thread libraries by creating a thread-safe cache of the Any protocol buffer object. Today we are going to update the proto-cache repository to impleme Tweet
Together with Boston Scientific, we are presenting research that details the feasibility and progress towards our new pain measurement method at the 2021 North American Neuromodulation Society Annual Meeting. The post Moving beyond the self-reported sc Tweet
Rust China Conf is the largest grassroots event for the Rust programming language in China. As Amazon, Microsoft, and others in the US, Chinese tech companies are increasingly using Rust in mission-critical production software systems. Huawei, Bytedance Tweet
2021-01-20 13:07:44 @ La Ciencia de la Mula Francis
La evolución de la memoria inmunitaria tras superar la COVID-19 es un tema que despierta gran interés. Se publican en Nature y Science sendos artículos que observan que los linfocitos […] La entrada La evolución de la inmunidad al SARS-CoV-2 tras Tweet
Hello and welcome to another issue of This Week in Rust ! Rust is a systems language pursuing the trifecta: safety, concurrency, and speed. This is a weekly summary of its progress and community. Want something mentioned? Tweet us at @ThisWeekInRust Tweet
The vno Deno module, which self-describes as the first build tool for compiling and bundling Vue single-file components in a Deno runtime environment, recently released its first stable version. vno v1.0 features a parser, compiler, bundler, and an adapt Tweet
Between 2000 and 2001, IBM Research made headlines when it launched an internet-enabled designer watch running Linux, an open-source operating system. Dubbed WatchPad, its aim was to demonstrate the capabilities of the then-novel OS for mobile and embedde Tweet
Daniel Dale, writing at CNN: Trying to pick the most notable lies from Donald Trump’s presidency is like trying to pick the most notable pieces of junk from the town dump. There’s just so much ugly garbage to sift through before you can make a decis Tweet
This post was written by Stanislav Kirdey, Lan Qing, Lai Wei, and Lu Huang. Netflix is one of the world’s largest entertainment services and it supports more than 190 million subscribers from different countries viewing from more than a thousand types of d Tweet
Cloudflare has released Origin CA Issuer, an extension to cert-manager, a native Kubernetes certificate management controller. Integrating with Cloudflare Origin CA, the extension makes it easier to create and renew Cloudflare Origin Certificates. By A Tweet
In general, our functional requirements, frameworks, I/O devices, and even our code design may all change for various reasons. With this in mind, the Clean Architecture is a guideline to a high maintainable code, considering all the uncertainties around u Tweet
Clients are interested in changes to the specific values on the server. It's difficult for clients to structure their logic if they need to poll the server continuously to look for changes. If clients open too many connections to the server for wat Tweet
Jennifer Cadence, a product marketing manager at Google, recently published an account of the state of no-code app development. In her post, Cadence breaks down why no-code platforms have become an essential part of digital transformation. She suggests t Tweet
Mature Open Source Enterprise Cloud platform powers billions of dollars in transactions for the world's largest Cloud providers, Fortune 5 multinationals, educational institutions, and more. Wilmington, DE —19 January 2021— The Apache CloudSta Tweet
The TensorFlow project announced the release of version 2.4.0 of the deep-learning framework, featuring support for CUDA 11, cuDNN 8, and NVIDIA's Ampere GPU architecture, as well as new strategies and profiling tools for distributed training. Other API Tweet
The Kotlin team has always relied on feedback from the community for making decisions about the future of the technology. You will always be our go-to people who know best how to make Kotlin even more enjoyable to work with! This past November, we conducte Tweet
The Kotlin team has always relied on feedback from the community for making decisions about the future of the technology. You will always be our go-to people who know best how to make Kotlin even more enjoyable to work with! This past November, we conducte Tweet
Back in 2014 I recommended a TCS ethics board mainly to deal with plagiarism and who should get credit for a result. It went the way of most suggestions I make in my blog, a quick road to nowhere. Bill asked "Does any other branch of CS have an e Tweet
Grafana Cloud is a fully-managed observability platform from Grafana Labs for applications and infrastructure. The company recently announced a new version for Grafana Cloud, including a free tier version, a different pricing structure, and several signi Tweet
Generics, one of the features more frequently requested by Go developers, are making their way into the language based on a draft design that has been evolving for the last couple of years and is now entering the language change proposal process. By Se Tweet
2021-01-19 10:26:42 @ La Ciencia de la Mula Francis
Se llaman satélites cuánticos a los que incorporan tecnologías de comunicaciones cuánticas para enviar y recibir fotones entrelazados. Por analogía, se llaman drones cuánticos a los que también las incorporan. […] La entrada Drones cuánticos fue Tweet
Nandini Jammi // Co-Founder Check My Ads Nandini has been immersed in the world of brand safety & digital advertising since 2016, when she began running Sleeping Giants, the social media campaign that alerted advertisers that their ads were funding ha Tweet
Learn how to analyze thread dumps to efficiently diagnose performance issues. Also, we'll learn to detect bottlenecks or even simple bugs. The post How to Analyze Java Thread Dumps first appeared on Baeldung . Tweet
2021-01-19 02:00:00 @ Gödel's Lost Letter and P=NP
If only model checking could fight the virus Edmund Clarke passed away due to COVID-19 complications. Ed will be missed. He was a winner of the 2007 Turing award for his seminal work on model checking. This was joint with Allen Emerson and Joseph Sifakis. Tweet
Our team has developed Physics-informed Neural Networks (PINN) models where physics is integrated into the neural network’s learning process – dramatically boosting the AI’s ability to produce accurate results. Described in our recent paper, PINN models a Tweet
Honk is the new real-time messenger that displays what you and your friends type in real time. With no send button and no chat history, it’s the closest a chat can feel to a real life conversation. Since launching at the end of 2020, users have typed over Tweet
In the previous article , I wrote a simple SwiftUI app. During the writing, I deliberately kept the code simple – writing code only when needed to satisfy user-facing goals. I want to take a closer look at the application architecture that naturally emer Tweet
Sean Carroll has a new interview up with Frank Wilczek in which they discuss, among other things, the problematic current state of fundamental physics. On the topic of string theory, here’s the discussion: 0:58:34.8 SC: Well, some of this worry ̷ Tweet
My thanks to FeaturePeek for sponsoring last week at Daring Fireball. FeaturePeek is the easiest way for web development teams to collaborate on frontend work. Among their features: Take and annotate screenshots. Record session video. Tag coworker Tweet
Elizabeth Dwoskin and Craig Timberg, reporting for The Washington Post: Online misinformation about election fraud plunged 73 percent after several social media sites suspended President Trump and key allies last week, research firm Zignal Labs has fo Tweet
Yesterday I wrote two posts about finding the peaks of the sinc function. Both focused on numerical methods, the first using a contraction mapping and the second using Newton’s method. This post will focus on the locations of the peaks rather than w Tweet
Michael Crichton coined the term Gell-Mann Amnesia effect to describe forgetting how unreliable a source is in one area when you trust it in another area. In Crichton’s words: Briefly stated, the Gell-Mann Amnesia effect is as follows. You open the Tweet
Create your own custom SwiftUI view modifier when you want to reuse a set of modifiers on multiple views. Removing duplication also cleans up and improves the readability of your SwiftUI views. Here’s my starting point. A SwiftUI view that contain Tweet
In this tutorial, we'll learn how to convert a Hibernate proxy to a real entity object The post How to Convert a Hibernate Proxy to a Real Entity Object first appeared on Baeldung . & Tweet
In the previous post I looked at the problem of finding the peaks of the sinc function. In this post we use this problem to illustrate how two formulations of the same problem can behave very differently with Newton’s method. The previous post menti Tweet
The sinc function is defined by sinc(x) = sin(x)/x. This function comes up constantly in signal processing. Here’s a plot. We would like to find the location of the function’s peaks. Let’s focus first on the first positive peak, the one Tweet
In a recent post I spoke about abandoning a previous project that had gone off the rails, and I've been doing more work in Common Lisp, and I wanted to report a bit more, with some recent developments. There's a lot of writing about learning to progra Tweet
I’ve been thinking about Petri nets a lot. Around 2010, I got excited about using them to describe chemical reactions, population dynamics and more, using ideas taken from quantum physics. Then I started working with my student Blake Pollard on ̵ Tweet
I’ve been thinking about Petri nets a lot. Around 2010, I got excited about using them to describe chemical reactions, population dynamics and more, using ideas taken from quantum physics. Then I started working with my student Blake Pollard on ̵ Tweet
This is the documentation builder behind Quickref site. It is good for generating API references for third party libraries. Most interesting features of Declt are: Declt uses Texinfo file format for intermediate document store. This makes i Tweet
Learn the new Shenandoah garbage collector and how it compares against other garbage collectors The post Experimental Garbage Collectors in the JVM first appeared on Baeldung . Tweet
Mike Monteiro returns to the show to talk about the Capitol insurrection and riot, Twitter and Facebook permanently banning Donald Trump, the shutdown of Parler, the fate of liberal democracy, and Mike’s new book, The Collected Angers . Sponsored by: Tweet
Peter Jamison, Carol D. Leonnig, and Paul Schwartzman, reporting for The Washington Post on how Ivanka Trump and Jared Kushner’s refusal to allow their Secret Service detail to use any of the bathrooms in their home forced the agents to look elsewhere in Tweet
[This is a transcript of the video embedded below.] Today I want to talk about the claim that our universe is especially made for humans, or fine-tuned for life. According to this idea it’s extremely unlikely our universe would just happen to be the way it Tweet
[This is a transcript of the video embedded below.] Today I want to talk about the claim that our universe is especially made for humans, or fine-tuned for life. According to this idea it’s extremely unlikely our universe would just happen to be the way it Tweet