Let n be a positive integer and x any real number. If you multiply x by n, then divide by n, of course you get x back. Now suppose you multiply x by n, round down, then divide by n, and round down again. Do you get x back? Not necessarily. The last step ro Tweet
This is a transcript of “The State of Kotlin Support in Spring” talk by Sebastian Deleuze from KotlinConf: Do you find this format useful? Please share your feedback with us! TOC: Why Kotlin? (1:30) Spring❤️Kotlin. How much? (3:17) Gradle Kot Tweet
This is a transcript of “The State of Kotlin Support in Spring” talk by Sebastian Deleuze from KotlinConf: Do you find this format useful? Please share your feedback with us! TOC: Why Kotlin? (1:30) Spring❤️Kotlin. How much? (3:17) Gradle Kot Tweet
2020-08-14 08:58:50 @ La Ciencia de la Mula Francis
He participado en el episodio 280 del podcast Coffee Break: Señal y Ruido [iVoox, iTunes], titulado “Ep280: Vacuna Rusa; Arecibo; Parásitos; Energía Negativa; Efectos Visuales: Entrevista Carolina Jiménez”, 13 ago 2020. «La tertulia semanal en la [… Tweet
Similar opening statement to their suit against Apple, substituting “Don’t be evil” for “1984”: In 1998, Google was founded as an exciting young company with a unique motto: “Don’t Be Evil”. Google’s Code of Conduct explained that this admonishment wa Tweet
We show that unless P=NP, there cannot be a polynomial-time algorithm that finds a point within Euclidean distance $c^n$ (for any constant $c \ge 0$) of a local minimizer of an $n$-variate quadratic function over a polytope. This result (even with $c=0$) Tweet
An added edge to a graph is called an inset edge. Predicting k inset edges which minimize the average distance of a graph is known to be NP-Hard. However, when k = 1 the complexity of the problem is polynomial. In this paper, some tools for a precise anal Tweet
Dynamic Complexity was introduced by Immerman and Patnaik \cite{PatnaikImmerman97} (see also \cite{DongST95}). It has seen a resurgence of interest in the recent past, see \cite{DattaHK14,ZeumeS15,MunozVZ16,BouyerJ17,Zeume17,DKMSZ18,DMVZ18,BarceloRZ18,DMS Tweet
We study property testing of properties that are definable in first-order logic (FO) in the bounded-degree graph and relational structure models. We show that any FO property that is defined by a formula with quantifier prefix $\exists^*\forall^*$ is test Tweet
Hamiltonian cycles in graphs were first studied in the 1850s. Since then, an impressive amount of research has been dedicated to identifying classes of graphs that allow Hamiltonian cycles, and to related questions. The corresponding decision problem, tha Tweet
We examine some flexible notions of constraint satisfaction, observing some relationships between model theoretic notions of universal Horn class membership and robust satisfiability. We show the \texttt{NP}-completeness of $2$-robust monotone 1-in-3 3SAT Tweet
Temporal graphs (in which edges are active at specified times) are of particular relevance for spreading processes on graphs, e.g.~the spread of disease or dissemination of information. Motivated by real-world applications, modification of static graphs t Tweet
Readability criteria, such as distance or neighborhood preservation, are often used to optimize node-link representations of graphs to enable the comprehension of the underlying data. With few exceptions, graph drawing algorithms typically optimize one su Tweet
The Reeb graph of a scalar function defined on a domain gives a topological meaningful summary of that domain. Reeb graphs have been shown in the past decade to be of great importance in geometric processing, image processing, computer graphics, and compu Tweet
The class of all even-hole-free graphs has unbounded tree-width, as it contains all complete graphs. Recently, a class of (even-hole, $K_4$)-free graphs was constructed, that still has unbounded tree-width [Sintiari and Trotignon, 2019]. The class has unb Tweet
The Lov\'{a}sz Local Lemma (LLL) is a powerful tool in probabilistic combinatorics which can be used to establish the existence of objects that satisfy certain properties. The breakthrough paper of Moser and Tardos and follow-up works revealed that the LL Tweet
Readability criteria, such as distance or neighborhood preservation, are often used to optimize node-link representations of graphs to enable the comprehension of the underlying data. With few exceptions, graph drawing algorithms typically optimize one su Tweet
Cadences are structurally maximal arithmetic progressions of indices corresponding to equal characters in an underlying string. This paper provides a polynomial time detection algorithm for 3-cadences in grammar-compressed binary strings. This algorith Tweet
We prove that a random $d$-regular graph, with high probability, is a cut sparsifier of the clique with approximation error at most $\left(2\sqrt{\frac 2 \pi} + o_{n,d}(1)\right)/\sqrt d$, where $2\sqrt{\frac 2 \pi} = 1.595\ldots$ and $o_{n,d}(1)$ denotes Tweet
An added edge to a graph is called an inset edge. Predicting k inset edges which minimize the average distance of a graph is known to be NP-Hard. When k = 1 the complexity of the problem is polynomial. In this paper, we further find the single inset edge( Tweet
We study property testing of properties that are definable in first-order logic (FO) in the bounded-degree graph and relational structure models. We show that any FO property that is defined by a formula with quantifier prefix $\exists^*\forall^*$ is test Tweet
Hamiltonian cycles in graphs were first studied in the 1850s. Since then, an impressive amount of research has been dedicated to identifying classes of graphs that allow Hamiltonian cycles, and to related questions. The corresponding decision problem, tha Tweet
In this note, we present a simpler algorithm for joint seat allocation problem in case there are two or more merit lists. In case of two lists (the current situation for Engineering seats in India), the running time of the algorithm is proportional to sum Tweet
Temporal graphs (in which edges are active at specified times) are of particular relevance for spreading processes on graphs, e.g.~the spread of disease or dissemination of information. Motivated by real-world applications, modification of static graphs t Tweet
There has been a rise in the popularity of algebraic methods for graph algorithms given the development of the GraphBLAS library and other sparse matrix methods. An exemplar for these approaches is Breadth-First Search (BFS). The algebraic BFS algorithm i Tweet
The Maximum Weighted Independent Set (MWIS) problem, which considers a graph with weights assigned to nodes and seeks to discover the "heaviest" independent set, that is, a set of nodes with maximum total weight so that no two nodes in the set are connect Tweet
Given a vertex-weighted graph, the maximum weight independent set problem asks for a pair-wise non-adjacent set of vertices such that the sum of their weights is maximum. The branch-and-reduce paradigm is the de facto standard approach to solve the proble Tweet
The Storybook team recently released the sixth major version of Storybook. Storybook 6.0 features zero-configuration setup, live edit of component examples, and support visualizing several storybooks in the same component explorer window (composition fea Tweet
A while back I wrote about continued fractions of square roots. That post cited a theorem that if d is not a perfect square, then the continued fraction representation of d is periodic. The period consists of a palindrome followed by 2⌊√d⌋. See that post f Tweet
Google’s statement: The open Android ecosystem lets developers distribute apps through multiple app stores. For game developers who choose to use the Play Store, we have consistent policies that are fair to developers and keep the store safe for users Tweet
Take any positive integer d that is not a multiple of 2 or 5. Then there is some integer k such that d × k has only 1’s in its decimal representation. For example, take d = 13. We have 13 × 8457 = 111111. Or if we take d = 27, 27 × 411522633744855967 Tweet
Epic, in a very savvy way, is waging this war as much or more in the court of public opinion as they are in any court of law. And, ultimately, Apple stands to lose more in brand equity than in dollars, no matter how this turns out. Tweet
Last year I told you about Amazon Braket and explained the basics of quantum computing, starting from qubits and progressing to quantum circuits. During the preview, AWS customers such as Enel, Fidelity (Exploring Quantum Computing with Amazon Web Services Tweet
Developers can use AWS Step Functions to design and execute workflows that connect services such as AWS Lambda, AWS Fargate, and Amazon SageMaker into a rich application. A workflow consists of a series of steps, with the output of one step being the input Tweet
Lu Wang and Vildana Hajric, reporting for Bloomberg: Apple Inc.’s planned stock split will diminish its influence on the Dow Jones Industrial Average after the iPhone maker’s 100% surge since March lows nearly dragged the price-weighted measure back t Tweet
This small library, made by @ruricolist , implements an abstraction over bordeaux-threads . It is able to restart threads in case of errors. Moira monitors all started threads. In the next example, I'm creating a thread which runs 5 iterations and f Tweet
2020-08-13 20:40:44 @ Gödel's Lost Letter and P=NP
Conrad explains all Keith Conrad is a professor in the mathematics department at UCONN—the University of Connecticut. My dear wife Kathryn Farley and I are about to move to join him—not as faculty but as another resident of the “Constitut Tweet
Lauren Feiner, reporting for CNBC: Uber would likely shut down temporarily for several months if a court does not overturn a recent ruling requiring it to classify its drivers as full-time employees, CEO Dara Khosrowshahi said in an interview with Ste Tweet
We’re excited to announce our first-ever YC Build Sprint. This is a 4-week period to work intensively towards a defined goal alongside a community of thousands of other founders. The sprint will kick off on August 24 and be administered through our free St Tweet
An 18th-century physicist first predicted the existence of a chorus of atmospheric waves that swoop around Earth. Scientists have finally found them. Tweet
Great news out of the Simons Institute. The Simons Foundation has ensured a second decade of research and innovation for the Simons Institute for the Theory of Computing, based at UC Berkeley, through a $35.5 million grant. The grant, which will Tweet
A single log file can grow and become a performance bottleneck while its read at the startup. Older logs are cleaned up periodically and doing cleanup operations on a single huge file is difficult to implement. A Segmented Log splits the logfile in Tweet
Looking at the formats of European country international bank account number (IBAN) codes, I noticed that the IBAN length didn't seem to be significantly correlated to the country's population. Could it be related to the country's IT maturity? I tested Tweet
I'm constantly aggravated by various quirks of containers, and don't really remember any big problems with non-containerized infra. A random and non-exhausting list of things that bother me from time to time: — Must build an image before deploying and it Tweet
In a few years, the number of microservices has grown from 100 to 1600 at Monzo, and it continues to grow. Microservices are split when responsibilities grow, or merged when services are tightly coupled. Engineers can generate, deploy, scale and monitor Tweet
At first glance I thought this was just an exquisitely well-done gag, a recreation of some still frames. But it’s more than that. This short film by Lydia Cambron actually works . It’s magnificent. If you want my advice, watch the movie before you ev Tweet
There are like a dozen different points Ritchie makes in this video where I was like, “Yes, that’s exactly what I’ve been trying to say.” The whole “What is a computer?” bit around the 5-minute mark is particularly well-done. ★ Tweet
I was explaining to someone this evening that I’m in the habit of saying “bang” rather than “exclamation point.” Here’s a list of similar nicknames for symbols. These nicknames could complement the NATO phonetic alphabet Tweet
Many workloads, such as genome analysis, training of machine learning models, High Performance Computing (HPC), and analytics applications depend on multiple compute instances accessing the same set of data. For these workloads, clusters of compute instanc Tweet
This is the library by @_compufox . It is a wrapper around Mastodon's API allowing to write bots for this messaging platform. To test the Glacier , you need to create a development application for Mastodon and get the API access token. Here is an art Tweet
AllegroGraph (agraph) is one of the hugely underappreciated pieces of software freely available to the programming community. Especially this relates to the Lisp community as agraph is one of the largest, most successful, and mature Lisp software projec Tweet
Posted by Iein Valdez, Head of Chrome OS Developer Relations This article originally appeared on ChromeOS.dev. While people are spending more time at home than on the go, they’re relying increasingly on personal desktops and laptops to make ever Tweet
A new model shows that the denizens of a vast, ancient biome beneath the seafloor use barely enough energy to stay alive — and broadens understanding of what life can look like. Tweet
Tripp Mickle wrote a long feature for The Wall Street Journal, “How Tim Cook Made Apple His Own” ( News+ link ): After Steve Jobs’s death, Silicon Valley anticipated Apple Inc.’s business would falter. Wall Street fretted about the road ahead. And loy Tweet
Justin Kroll and Mike Fleming Jr., reporting for Deadline: Two and one-half months after it stepped up to become the producers of Killers of the Flower Moon , Apple has inked a first-look deal with its director, Martin Scorsese. The master filmmaker Tweet
Catalin Cimpanu, reporting for ZDNet Zero Day: Furthermore, Mozilla’s contract with Google to include Google as the default search provider inside Firefox is set to expire later this year, and the contract has not been renewed. The Google deal has his Tweet
With the launch of YC's list of startups hiring for fall 2020 interns, I've been getting a lot of requests for advice from students about their upcoming fall plans. I provided some resume tips previously, and now I want to answer some frequently asked ques Tweet
This library implements RFC 6901 - a format for accessing nested JSON data-structures. It some sense, JSON pointer is similar to JSON path , but more suitable for use as a part of the URL fragment. cl-json-pointer 's README provides many examples, Tweet
AWS provides a collection of tools and services to give customers the ability to manage the resources within their AWS accounts. In this article I will briefly explore some of these tools and services, as well as an open source project that can be used to Tweet
Distributed systems may get partitioned, when the nodes in the cluster no longer talk to all the others. Unmesh explains that, because of this, we need a quorum of nodes within a partition to accept a change. more… Tweet
In the latest part of his collection of Patterns of Distributed Systems, Unmesh faces the problem of a server failing in the middle of a complex update. A write-ahead log first saves and replicates the data for expected update in an append-only l Tweet
Madelyn Olson may not be the most well-known of open source developers, but chances are you’ve benefited from her work. Olson is a new maintainer for and a longtime contributor to Redis, one of the world’s most popular databases and regularly touted by dev Tweet
For the past few months I’ve been working on writing up some ideas I’m quite excited about, and the pandemic has helped move things along by removing distractions and forcing me to mostly stay home. There’s now something written that R Tweet
PyTorch, Facebook's open-source deep-learning framework, announced the release of version 1.6 which includes new APIs and performance improvements. Along with the release, Microsoft announced it will take over development and maintenance of the Windows v Tweet
I noticed yesterday that the population in a zip code near me is roughly equal to the zip code itself. So I wondered: Does any zip code equal its population? Yes, it’s a silly question. A zip code isn’t a quantity. Populations are always changi Tweet
The React team recently released React 17 (first release candidate), two years after React 16. React 17 strives to ease the migration between future major versions of React by enabling two concurrent versions to coexist. React 17 additionally has a few b 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
Huge first milestone for :claw honing is reached - I've run C++ library routines ( PhysX ) from Common Lisp without writing any C/C++ myself, without writing any bindings manually. :claw generated C adapter and CL bindings, I only built the form Tweet
Most project management software (a) takes a lot of time to configure, (b) is not built for cross-functional teams, and (c) takes focus away from releases. The status quo is that engineers spend precious time wading through tickets. We’ve been dedicated Tweet
AWS Glue is a fully managed extract, transform, and load (ETL) service that makes it easy for customers to prepare and load their data for analytics. Glue is “serverless” – you don’t need to provision or manage any resources and you only pay for resources Tweet
Antony Johnston — best known as the creator of the excellent and right-up-my-alley Atomic Blonde — hosts a podcast devoted to writing, and he was kind enough to invite me on. I could talk about writing — what I do, how I do it — forever, even though, Tweet
Two days ago I wrote about Dufy - the color manipulation library. While preparing that post, I found another library which is more practical if you need to work only with RGB . It is able to convert to and from string representation and has some func Tweet
Jonathan Martin and Maggie Haberman, reporting for The New York Times: Since the first days after she was elected governor of South Dakota in 2018, Kristi Noem had been working to ensure that President Trump would come to Mount Rushmore for a firework Tweet
When Apple introduced SwiftUI at WWDC 2019 it seemed like the beginning of the end for storyboards. Unfortunately you still needed a launch storyboard for the system to show while your app launches. That changes with Xcode 12 and iOS 14. Launch Storyboa Tweet
The inaugural InfoQ Live (Aug 25th) is a one-day virtual learning event that deep-dives into building and operating microservices and distributed systems. Discover practical strategies for the current environment that you can put into use straight away. Tweet
The previous post looked at the images of concentric circles under functions defined by power series. The terms of these series have the form zθ(n) / θ(n) where θ(n) is a rapidly increasing function of n. These series are thin (technically, lacunary) becau Tweet
We’ve thought long and hard about how to build a great schedule for an online conference. After attending and running several online events and conferences, we’ve experienced the positives and negatives of the virtual event world. As we drew u Tweet
Amazon Fraud Detector is a fully-managed service on AWS providing customers with the capability to quickly identify potentially fraudulent online activities, such as the creation of fake accounts, loyalty account and promotion code abuse or online paymen Tweet
After analyzing the performance of several common lossless compression algorithms, Dropbox engineers have slightly modified Google's Brotli encoder to improve their engine sync performance. This reduced median latency and data transfer by more than 30%, Tweet
2020-08-10 10:19:24 @ La Ciencia de la Mula Francis
El gran colisionador electrón-positrón LEP-2 (CERN) observó una anomalía a 2.7 sigmas en la universalidad leptónica de las desintegraciones de bosones W en leptones tau. En concreto, BR(W → τν) […] La entrada ATLAS (LHC) descarta la anomalía en l Tweet
So let’s just get this out of the way: Rogue Amoeba was last week’s sponsor here at DF but the sponsorship was for Loopback, for which I just posted my end-of-the-week thank-you. But this week they also released a major update to another of their ex Tweet
My thanks to Rogue Amoeba for sponsoring DF last week to promote Loopback, their amazing Mac audio utility that makes it easy to move audio between applications. Stuck on Zoom calls? Pipe in music and sound effects, or enhance your microphone. Podcasters, Tweet
1) Contrast the following two points and, if you have an intelligent way to fill-in-the-blank for the second one, please comment. a) When Trump says `open the schools or I will cut of funding' I disagree, or at least he should talk more about how Tweet
Mark Gurman tweeted a reminder of this story he reported back in March: Cloud gaming services, where users stream games live over the internet, are growing in popularity, especially as faster fifth-generation, or 5G, wireless networks proliferate. T Tweet
Apple, in its legal filing: Consumers encountering Applicant’s Mark are likely to associate the mark with Apple. Applicant’s Mark consists of a minimalistic fruit design with a right-angled leaf, which readily calls to mind Apple’s famous Apple Logo a Tweet
This little library unifies the way how do different features are represented in *features* variable. It provides information about an operating system, endianness and CPU architecture. Unification simplifies writing the cross-platform libraries. Fo Tweet
Object Computing, Inc. (OCI) has formally released Micronaut 2.0, a major release of the full-stack JVM-based framework that helps create microservices-based, cloud-native and serverless applications utilizing languages such as Java, Groovy, and Kotlin. Tweet
HAKMEM Item 123 gives two plots, both images of concentric circles under functions given by power series with rapidly thinning terms [1]. The first is the function and the second is The lower limits of summation are not given in the original. I assumed at Tweet
I keep putting off organizing my written material, but with coronavirus I’m feeling more mortal than usual, so I’d like get this out into the world now: • John Baez, Diary, 2003–2020. Go ahead and grab a copy! It’s got all my best t Tweet
I keep putting off organizing my written material, but with coronavirus I’m feeling more mortal than usual, so I’d like get this out into the world now: • John Baez, Diary, 2003–2020. Go ahead and grab a copy! It’s got all my best t Tweet
This library is named in honour of Raoul Dufy , the French painter. It provides functions for color manipulation and conversion in various color spaces. To experiment with Dufy we'll write a two helper function to convert RGB colors from and to hex Tweet
2020-08-08 16:40:43 @ Gödel's Lost Letter and P=NP
We lost a great computer scientist. Frances Allen was one of the leaders who helped create the field of compilers research. Fran was an elite researcher at IBM, and won a Turing Award for this pioneering work. Allen also collected other awards. Perhaps the Tweet
This week, I have something for your intellectual entertainment; I want to tell you about some really big experiments that physicists dream of. Before I get to the futuristic ideas that physicists have, let me for reference first tell you about the curre Tweet
This week, I have something for your intellectual entertainment; I want to tell you about some really big experiments that physicists dream of. Before I get to the futuristic ideas that physicists have, let me for reference first tell you about the curre Tweet
Running this statement through my Applespeak-to-English decoder ring, what I hear is not that they won’t allow Xbox Game Pass because they can’t review each game separately. What I hear is that game streaming services are not allowed in the iOS App Store. Tweet
Brian Krebs: Predictably, the Zoom hearing for the 17-year-old alleged Twitter hacker in Fla. was bombed multiple times, with the final bombing of a pornhub clip ending the zoom portion of the proceedings. Your honor, I’d like to submit a Motion t Tweet
I wound up looking into the etymology of “cherry-pick” while writing this post earlier today, and I’m simply astounded by this note from Merriam-Webster: The first known use of cherry-pick was in 1965. I’m shocked that cherry-pick is so rece Tweet
For many years I’ve been fascinated by the topic of “Dirac cohomology” and its possible relations to various questions about quantization and quantum field theory. At first I was mainly trying to understand the relation to BRST, and wrote Tweet
Simon Sharwood, writing for The Register: Toshiba has finally and formally exited the laptop business. Toshiba has made laptops since 1985 and claims to have been the first to make a mass-market computer in the now-familiar clamshell form factor. By Tweet
Craig Silverman and Ryan Mac, reporting for BuzzFeed News: Individuals that spoke out about the apparent special treatment of right-wing pages have also faced consequences. In one case, a senior Facebook engineer collected multiple instances of conser Tweet
Found a useful library for writing macro and using dynamic variables during expansion. I didn't try to figure out how does it work (yet) but decided to make a more visual example than the code from library's README. Let's pretend we tried to write the c Tweet
Ryan Mac, reporting for BuzzFeed News: Earlier this week, a search on Instagram for #JoeBiden would have surfaced nearly 390,000 posts tagged with the former vice president’s name along with related hashtags selected by the platform’s algorithm. Users Tweet
I spent the last few days participating in the Canadian Conference in Computational Geometry, originally planned for Saskatoon but organized virtually instead. Tweet
2020-08-07 17:40:07 @ Apple Developer News and Updates
Art can reflect emotions we can’t process in spoken word alone: Paintings capture these feelings in color and scale, films reflect our world back to us through new light, and music puts melody to the words we don’t know how to — or cannot — say. The Tweet
Comment You’ve likely seen Kane Cheshire ’s post this week talking about his experiments with Process and a Swift package manifest file. If not, read that before continuing here. It’s not surprising to se Tweet